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) |
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]
ABSTRACT |
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 |
|
EVERY VISITOR COUNTS: |