Research on exhaustive character of software testing based on the unified infinity theory

Zhitao HE,Huacan HE,Chao LIU
DOI: https://doi.org/10.3969/j.issn.1673-4785.201308040
2015-01-01
Abstract:A traditional concept of software testing is that the defect of new software can always be detected if further software testing is conducted. This idea eliminates the theoretical basis of the dependability of software testing, which is a hot topic in the software engineering field. The exhaustive character of software testing is studied in theory in this paper. The discussion range extends from finite field to infinite field. Firstly, starting from the latest research results of actual infinity theory named unified infinity theory, a basic method to determine the dependability of an infinite software testing process with limited cost was obtained. Next, with the definition of software features, the software test cases set was defined and the corresponding relationships among software features, software test cases and software de?fects were obtained. Based on the unified infinity theory and unified mathematics inductive method, the relationship between the exhaustive character of software test cases set and software testing quality in continuous software testing e?volution process was discussed. The theoretical question,"if a software test cases set is an infinite set, how to con?duct the software testing and whether the software testing can be exhausted" was answered and the old thoughts on the exhaustive character of software testing were analyzed. A series of achievements in this paper preliminarily answered the question that has been nagging the theory field of software testing for many years related to the exhaustive charac?ter of software testing, establishing a basis for the dependability of software testing.
What problem does this paper attempt to address?