A test oracle is a mechanism that is used during testing to determine whether a software component behaves correctly or not. The test oracle problem is widely acknowledged in the software testing literature and many methods for test oracle development have been proposed. Most of these methods use specifications or other resources to develop test oracles. A passive test oracle checks the behaviour of the component, but does not reproduce this behaviour. In this paper, we present a technique that develops passive test oracles for components using their APIs. This simple technique can be applied to any software component that is accessed through an API. In an initial experiment, we found that test oracles developed this way were more effective...
The oracle problem remains one of the key challenges in software testing, for which little automated...
Software testing has been used to find software faults in order to improve its quality. To verify th...
Although testing is the most popular method for assuring software quality, there are two recognized ...
A test oracle is a mechanism that is used during testing to determine whether a software component b...
Software testing is the de facto technique for correctness verification. Although there are differen...
The oracle problem remains one of the key challenges in software testing, for which little automated...
Test designers widely believe that the overall effective-ness and cost of software testing depends l...
Abstract—Testing involves examining the behaviour of a system in order to discover potential faults....
It is typically infeasible to test a large, complex software system in all its possible configuratio...
In software testing, something which can verify the correctness of test case execution results is ca...
Co-located with 13th International Conference on Quality Software (QSIC), Nanjing, China, 29-30 July...
Software testing of applications in fields like scientific computing, simulation, machine learning, ...
A test oracle provides a means for determining whether an implementation functions according to its ...
A test oracle provides a means for determining whether an implementation behaves according to its sp...
This paper illustrates how software can be described precisely using LD-relations, how these descrip...
The oracle problem remains one of the key challenges in software testing, for which little automated...
Software testing has been used to find software faults in order to improve its quality. To verify th...
Although testing is the most popular method for assuring software quality, there are two recognized ...
A test oracle is a mechanism that is used during testing to determine whether a software component b...
Software testing is the de facto technique for correctness verification. Although there are differen...
The oracle problem remains one of the key challenges in software testing, for which little automated...
Test designers widely believe that the overall effective-ness and cost of software testing depends l...
Abstract—Testing involves examining the behaviour of a system in order to discover potential faults....
It is typically infeasible to test a large, complex software system in all its possible configuratio...
In software testing, something which can verify the correctness of test case execution results is ca...
Co-located with 13th International Conference on Quality Software (QSIC), Nanjing, China, 29-30 July...
Software testing of applications in fields like scientific computing, simulation, machine learning, ...
A test oracle provides a means for determining whether an implementation functions according to its ...
A test oracle provides a means for determining whether an implementation behaves according to its sp...
This paper illustrates how software can be described precisely using LD-relations, how these descrip...
The oracle problem remains one of the key challenges in software testing, for which little automated...
Software testing has been used to find software faults in order to improve its quality. To verify th...
Although testing is the most popular method for assuring software quality, there are two recognized ...