The testing for Object-Oriented software contains four levels:algorithmic level,class level, cluster level,and system level.Based on formal specification,this paper describes an investigation and implementation of aided tool for generating fundamental equivalent terms and their deduced non-equivalent pairs as test cases for object-oriented testing at the class level.One of the main works of this paper is the implementation of algorithm GFT to a semi-automatic aided tool based on the given axioms and the given normal forms.It includes the replacement of normal forms,generating of pre-fundamental pairs,the partition of sub-domains,the handle of condition problem with random instantiation of variables,and the corresponding data structures design.On the other hand,a scheme,proposed by the supervisor of the author which can deduce the fundamental pair into non-equivalent pair,is refined by constructing some necessary sub-algorithms and the corresponding data structures,and is implemented along with the analysis of its validation.At last,the experiment and its result analysis on the aided tool are also explained. |