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.