为了实现面向对象语言编译器自动测试工具（O-OCTT）对多种面向对象语言的支持功能，研究系统功能扩展的实现方法。
To implement functions of multi-language support in object-oriented language compiler automatic test tool (O-OCTT), the method of system functional extension is proposed.
基于完全形式化语言的测试也是近年来研究的重点，不少学者提出了基于Z等形式化语言的测试方法。
Software testing based on formalization is also an important issue in recently research work. Many scholars studied testing methods based on formal language such as z.
基于完全形式化语言的测试也是近年来研究的重点，不少学者提出了基于Z等形式化语言的测试方法。
Software testing based on formalization is also an important issue in recently research work. Many scholars studied testing methods based on formal language such as z.
应用推荐