This paper discusses how to use the method of algebraicspecification in specifying software systems.
本文讨论如何应用代数规范说明方法来说明软件系统。
2
The paper describes the methods of the class-level testing for object-oriented software based on algebraicspecification, and constructs a frame for semi-automatic testing frame.