According to the source that is used to derive tests, software testing is classified into two categories -program based testing and specification based testing.
根据测试用例产生的依据可以将软件测试分为基于程序代码的测试和基于规格说明的测试两大类。
Next, it describes issues and challenges in testing component-based software, and proposes a component specification-based test model for component-based software.
接下来，本文描述了在测试基于组件的软件系统时出现的问题和挑战，并提出了一个基于组件规格说明的测试模型。
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.
本文研究了基于代数规格说明的面向对象类测试方法，构造了一个半自动化的测试框架。
应用推荐