面向对象软件的两种测试方法

Two Test Methods for Object-Oriented Software

介绍了两种测试面向对象软件的方法，针对类的多重继承性进行测试的继承层次测试法（ＩＬＴ）和利用测试图并通过设计辅助类来对面向对象应用程序进行自动测试的方法。分析了这两种方法的缺陷与不足，并指出了较Ｚ语言形式化规格说明所具有的优缺点。

The paper describes two test methods for object-oriented software: One is inheritance level technique (ILT) method for repeated inheritance of class, another can automatically test object-oriented software by means of testgraph and by designing auxiliary class. It analyzes the defects of the two methods and indicates their merit and shortcoming through comparing with Z specification notation language.