Software testing often requires massive numbers of test cases that must be manually inspected for correctness. This paper demonstrates the use of software “test oracles” to automate the process of checking the correctness of program output. The Prosper system, implemented by the authors, can be used to define test oracles and monitor the runtime behavior of software. An effective method to design software for testability must include the concurrent development of test oracles.
['James M. Bieman', 'Hwei Yin']
DESIGNING FOR SOFTWARE TESTABILITY USING AUTOMATED ORACLES