13th International Conference on Testing Computer Software, Washington, DC (1996) |
T.H. Tse 2 and Zhinong Xu 3
ABSTRACT |
We present a new technique for generating test cases for class-level object-oriented software testing. It integrates the testing techniques based on algebraic specifications and finite state machines through the unified formalism of algebraic Petri nets. It supports an iterative testing process, which makes it easier to choose test cases, trace test executions, and analyze test results. Our test model respects the intended behaviors of the original specification. The testing criteria and algorithms are based on sound theoretical foundations and mathematical proofs. The results of the case study illustrate the usefulness of our approach. |
|
EVERY VISITOR COUNTS: |