一种基于规范和程序域分析的软件测试方法

虽然软件规范规定了输入变量的定义域(功能域)，但程序实现本身也定义了其定义域(运行域)．如果二者不能完全重合，那么某些软件故障就可检测出来．为此，提出了一种基于规范和程序域分析的软件测试方法，介绍了一个运行域自动确定系统ADSOD，并讨论了边界测试数据的选取原则．对特殊表达式，采用程序切片技术，构造基于表达式的可执行模块，通过执行该模块，识别其输入变量的奇异值，进而确定其输入变量的取值范围．通过分析功能域和运行域的边界测试数据集，检测二者的重合性，并根据其分析结果产生测试用例．实验表明：所提方法产生的测试用例，可以有效地提高测试效率．

A Software Testing Method Based on Domain Analysis of Specification and Program

The specification of a program defines a input domain termed functional domain, while the implementation of the program also specifies a domain termed operational domain. However, if they are not coincided with each other exactly, some software faults can be detected. In this paper, a software testing approach based on domain analysis of specification and program is presented, an automated determination system of operational domain called ADSOD is introduced, and a selecting principle of boundary test data is provided. According to special expressions, modules are constructed to find singular values of some input variables with respect to the expressions by using program slicing, so that the domain of the input variables are determined by executing the modules. The coincidence of the two domains is examined by analyzing the set of boundary test data of functional domain and that of operational domain. Based on the result of analyzing the sets, test cases are generated. Experimental results show that testing efficiency can thus be remarkably enhanced by using test cases on the basis of the proposed approach.