A relation-based method combining functional and structural testing for test case generation
A relation-based method combining functional and structural testing for test case generation
复制标题
DOI：
10.1016/j.jss.2007.05.036
复制
发表时间：
2008-02
期刊：
影响因子：
--
通讯作者：
Shaoying Liu;Yuting Chen
中科院分区：
文献类型：
--
作者：
Shaoying Liu;Yuting Chen
基于规范的（或功能）测试使我们能够检测规范中定义的功能实现中的错误，但是由于某些原因（例如，缺乏想法，没有时间编写），规范在实践中经常是不完整的，因此它不太可能足以测试相应程序的所有部分。另一方面，基于实现（或结构）的测试侧重于程序结构的检查，这允许我们测试程序的所有部分，但可能无法有效地显示程序是否正确地实现了相应的规范。为了在实践中对程序进行全面的测试，同时采用基于规范和基于实现的测试是很重要的。本文描述了一种基于关系的测试方法，它结合了基于规范和基于实现的测试方法。建立了一套测试用例生成的关系，并用实例说明了该方法的使用方法，并通过对软件工具系统的测试实验考察了该方法的有效性和不足。
Specification-based (or functional) testing enables us to detect errors in the implementation of functions defined in specifications, but since specifications are often incomplete in practice for some reasons (e.g., lack of ideas, no time to write), it is unlikely to be sufficient for testing all parts of corresponding programs. On the other hand, implementation-based (or structural) testing focuses on the examination of program structures, which allows us to test all parts of the programs, but may not be effective to show whether the programs properly implement the corresponding specifications. To perform a comprehensive testing of a program in practice, it is important to adopt both specification-based and implementation-based testing. In this paper we describe a relation-based test method that combines the specification-based and the implementation-based testing approaches. We establish a set of relations for test case generation, illustrate how the method is used with an example, and investigate the effectiveness and weakness of the method through an experiment on testing a software tool system.