The application of an algebraic design method to deal with oracle problem in object-oriented class level testing

Abstract

In order to ensure reliability and quality, software systems must be tested. The testing includes generating test cases, executing test cases on the program, and determining whether the results of execution conform to requirements. The last is called the oracle problem. The oracle problem is important but difficult as the program yields the results in a way which may depend on some representation choices and makes the comparison with the specified results difficult. The class level testing is considered to be basic in object-oriented software testing. Breu et al. (1998) proposed an algebraic design methodology for object-based systems. We found that this design methodology can be used to deal with the oracle problem in object-oriented class level testing. Given an algebraic specification for a class, suppose the equivalent ground terms u/sub 1//spl sim/u/sub 2/ are selected as a test case. Using the representation function rep() provided by Breu's algebraic design methodology, u/sub 1/ and u/sub 2/ can be mapped to method sequences s/sub 1/ and s/sub 2/ in the implementation, respectively. Executing s/sub 1/ and s/sub 2/ in the implementation, we obtain accordingly two objects O/sub 1/ and O/sub 2/ of the given class.