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.
在基于形式规格说明的测试过程中逻辑覆盖测试准则是一组常用的测试准则，如何选择和使用其中的每个测试准则是应用这组测试准则时面临的主要问题。
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.
除了以上提到的测试规格说明技术之外，检查单也被使用，它是基于经验和系统的许多值得测试或复审的方面的。
In this paper, we studied the generation of testing cases based on UML statement diagram specification.
本文主要研究了基于UML状态图说明的测试用例生成技术。
This method provides a new probable direction for the protocol conformance testing based on the constructed type algebra specification.
这种方法为基于构造类别代数的协议测试提出了一个新的方向。
The specification based testing can verify whether a program conforms to its specification, which is the aim of testing.
这种测试可以验证程序实现是否符合系统需求，从而实现软件测试的目的。
According to the source that is used to derive tests, software testing is classified into two categories -program based testing and specification based testing.
根据测试用例产生的依据可以将软件测试分为基于程序代码的测试和基于规格说明的测试两大类。
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.
本文研究了基于代数规格说明的面向对象类测试方法，构造了一个半自动化的测试框架。
Next, it describes issues and challenges in testing component-based software, and proposes a component specification-based test model for component-based software.
接下来，本文描述了在测试基于组件的软件系统时出现的问题和挑战，并提出了一个基于组件规格说明的测试模型。
The idea, methods of class testing, such as service-based, OSD-based (Object State Diagram), flow graph-based and specification-based, are discussed.
文章从基于服务的、基于对象动态测试模型的、基于流图的以及基于规约的四个方面论述了类测试的思想和方法。
The idea, methods of class testing, such as service-based, OSD-based (Object State Diagram), flow graph-based and specification-based, are discussed.
文章从基于服务的、基于对象动态测试模型的、基于流图的以及基于规约的四个方面论述了类测试的思想和方法。
应用推荐