本文研究了基于代数规格说明的面向对象类测试方法，构造了一个半自动化的测试框架。

The paper describes the methods of the class-level testing for object-oriented software based on algebraic specification, and constructs a frame for semi-automatic testing frame.

youdao

本文研究了基于代数规格说明的面向对象类测试方法，构造了一个半自动化的测试框架。

The paper describes the methods of the class-level testing for object-oriented software based on algebraic specification, and constructs a frame for semi-automatic testing frame.

youdao