Augmenting Automatically Generated Unit-Test Suites with Regression Oracle Checking

A test case consists of two parts: a test input to exercise the program under test and a test oracle to check the correctness of the test execution. A test oracle is often in the form of executable assertions such as in the JUnit testing framework. Manually generated test cases are valuable in exposing program faults in the current program version or regression faults in future program versions. However, manually generated test cases are often insufficient for assuring high software quality. We can then use an existing test-generation tool to generate new test inputs to augment the existing test suite. However, without specifications these automatically generated test inputs often do not have test oracles for exposing faults. In this paper, we have developed an automatic approach and its supporting tool, called Orstra, for augmenting an automatically generated unit-test suite with regression oracle checking. The augmented test suite has an improved capability of guarding against regres...

• Type: Conference
• Year: 2006
• Where: ECOOP
• Authors: Tao Xie
• Keywords: ECOOP 2006, Generated Test, Programming Languages, Test Oracles, Test Suite