Software Testing Methods

As an important means to guarantee software quality and reliability, software testing plays an irreplaceable role in the process of software development. The key of software testing is how to generate test cases. After a survey of major research fields and representative achievements in the area of software testing, this dissertation presents a new testing approach, referred as a domain analysis, based on input domain analysis of both specification and program. The author describes various methods to generate test cases in functional testing and structural testing, and carries out a practical approach to domain analysis in the dissertation. Some experimental results illustrate that testing efficiency can thus be enhanced by using test cases generated by the proposed approach.Creative works in this dissertation are mainly focused on the following aspects:1). The thesis presents an approach to automated determination of operational domain of a program based on data flow analysis. We also introduce an automated determination system of operational domain, called ADSOD, developed by our group according to programs in C language. The determination of operational domain of a program provides a direct guidance on test cases selection, especially on boundary value analysis. It is a foundation of follow-up research and an important component of the dissertation. Its key part is how to find illegal values of input variables for some special expressions. The accomplishment of the system establishes a starting point for later coincidence verification of functional domain and operational domain of a program.2). The thesis presents a testing approach based on domain analysis of specification and program. We also propose the principles of boundary case selection, prove a sufficient and necessary condition for a functional domain to...