根据测试用例产生的依据可以将软件测试分为基于程序代码的测试和基于规格说明的测试两大类。
According to the source that is used to derive tests, software testing is classified into two categories -program based testing and specification based testing.
除了以上提到的测试规格说明技术之外，检查单也被使用，它是基于经验和系统的许多值得测试或复审的方面的。
Besides the test specification techniques mentioned above, checklists are used, which are based on experience and summarize many aspects of the system that are worth testing or reviewing.
业务分析师常常执行基于定义软件应用的规格说明或用例文档的测试。
Business analysts often perform tests based on specifications or use case documents that define the software application.
介绍了一种基于形式规格说明和分类树方法生成软件测试用例的方法。
An approach for generating test cases from formal specification and the classification-tree method is presented.
接下来，本文描述了在测试基于组件的软件系统时出现的问题和挑战，并提出了一个基于组件规格说明的测试模型。
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.
在基于形式规格说明的测试过程中逻辑覆盖测试准则是一组常用的测试准则，如何选择和使用其中的每个测试准则是应用这组测试准则时面临的主要问题。
Logic coverage criteria are the common criteria used in specification-based testing. The main problem of applying these criteria that test engineers face is how to appropriately select each criterion.
本文研究了基于形式规格说明来生成有效测试用例的方法。
Then, the formal specification can be written according to the use case scenarios.
本文研究了基于形式规格说明来生成有效测试用例的方法。
Then, the formal specification can be written according to the use case scenarios.
应用推荐