Proceedings of the 2008 International Conference on Computer Science and Software Engineering (CSSE '08),
vol. 2, IEEE Computer Society Press, Los Alamitos, CA, pp. 747-750 (2008)

A Scheme to Aid Construction of Left-Hand Sides of Axioms
in Algebraic Specifications for Object-Oriented Program Testing

Huo Yan Chen 2 , Lin Tan 2 , and T.H. Tse 3

[paper from IEEE Xplore | paper from IEEE digital library | technical report TR-2008-12]


In order to ensure reliability and quality, software systems must be tested. Testing object-oriented software is harder than testing procedure-oriented software. It involves four levels, namely the algorithmic level, class level, cluster level, and system level. We proposed a TACCLE methodology for class- and cluster-level testing. It includes an important algorithm GFT for generating fundamental equivalent pairs as class-level test cases based on axioms in a given algebraic specification for a given class. This formal methodology has many benefits. However, system analysts often find it difficult to construct axioms for algebraic specifications. In this paper, we propose a scheme to aid the construction of the left-hand sides of axioms. The scheme alleviates the difficulties of the system analysts and also helps them check the completeness, consistency, and independence of the axiom system.

Keywords: testing; object-oriented; algebraic specification; axiom; prototype tool

1. This research is supported by a Union Grant of Guangdong Province and National Natural Science Foundation of China (#U0775001), by a grant of the Guangdong Province Science Foundation (#7010116), and by a grant of the Youth Science Foundation of Jinan University (#51208035).
2. Department of Computer Science, Jinan University, Guangzhou, China.
3. Department of Computer Science, The University of Hong Kong, Pokfulam, Hong Kong.


  Cumulative visitor count