13th International Conference on Testing Computer Software, Washington, DC (1996)

A Formal Framework
for Improving Object-Oriented Software Testing 1

T.H. Tse 2 and Zhinong Xu 3

[extended abstract]

 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.

1. This project is supported in part by a grant of the Research Grants Council of Hong Kong and a research and conference grant of The University of Hong Kong.
2. Department of Computer Science, The University of Hong Kong, Pokfulam, Hong Kong.
Email:
3. Department of Computer Science, The University of Hong Kong, Pokfulam, Hong Kong.
(On leave from the Department of Computer Science, Jinan University, China.)

 EVERY VISITOR COUNTS:

  Cumulative visitor count