CAJ | 학술논문

传统认为只要继续测试，总能发现新的软件缺陷，这使软件测试可信失去了理论基础。针对软件测试可穷尽性开展理论研究，将讨论范围从有穷领域扩展到无穷领域。首先从最新的实无穷理论研究成果统一无穷理论入手，得出了利用有限开销来判断无穷过程可信性的基本方法，从软件特征定义入手，形式化定义了软件测试用例集合，得出了软件特征与测试用例／软件缺陷之间的对应关系；基于统一实无穷理论研究成果和统一数学归纳法，讨论了软件测试版本持续演化过程中，测试用例集合可穷尽性与软件测试质量的关系，回答了当测试用例集合是一个无穷集合时，软件测试该如何开展软件测试是否能穷尽的理论问题，并剖析测试可穷尽性的旧有认识。该文研究成果初步回答了困扰软件测试理论界多年的软件测试可穷尽性问题，为软件测试可信性研究奠定了坚实的理论基础。
전통인위지요계속측시，총능발현신적연건결함，저사연건측시가신실거료이론기출。침대연건측시가궁진성개전이론연구，장토론범위종유궁영역확전도무궁영역。수선종최신적실무궁이론연구성과통일무궁이론입수，득출료이용유한개소래판단무궁과정가신성적기본방법，종연건특정정의입수，형식화정의료연건측시용례집합，득출료연건특정여측시용례／연건결함지간적대응관계；기우통일실무궁이론연구성과화통일수학귀납법，토론료연건측시판본지속연화과정중，측시용례집합가궁진성여연건측시질량적관계，회답료당측시용례집합시일개무궁집합시，연건측시해여하개전연건측시시부능궁진적이론문제，병부석측시가궁진성적구유인식。해문연구성과초보회답료곤우연건측시이론계다년적연건측시가궁진성문제，위연건측시가신성연구전정료견실적이론기출。
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.