[1]HE Zhitao,HE Huacan,LIU Chao.Research on exhaustive character of software testing based on the unified infinity theory[J].CAAI Transactions on Intelligent Systems,2014,9(6):641-652.[doi:10.3969/j.issn.1673-4785.201308040]
Copy

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

CAAI Transactions on Intelligent Systems[ISSN 1673-4785/CN 23-1538/TP] Volume: 9 Number of periods: 2014 6 Page number: 641-652 Column: 综述 Public date: 2014-12-25
Title:
Research on exhaustive character of software testing based on the unified infinity theory
Author(s):
HE Zhitao1;  HE Huacan2;  LIU Chao1
1. School of Computer Science and Engineering, Beihang University, Beijing 100191, China;
2. School of Computer, Northwestern Polytechnical University, Xi’an 710072, China
Keywords:
dependability of software testing; software defects; software testing evolution process; unified mathematical in-duction
CLC:
TP311;O144.1
DOI:
10.3969/j.issn.1673-4785.201308040
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 defects 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 evolution process was discussed. The theoretical question, "if a software test cases set is an infinite set, how to conduct 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 character of software testing, establishing a basis for the dependability of software testing.
References:
[1] MYERS G J. The art of software testing[M]. Wiley Interscience, 1979: 42-46.
[2] IEEE STD 610.12.1990. IEEE Standard Glossary of Software Engineering Terminology[S]. IEEE, 1990.
[3] ISO/IEC 15408-1:2009. Information technology—Security techniques—Evaluation criteria for IT security—Part 1: In-troduction and general model[S]. International Organization of Standardization, 2009.
[4] 谢晓园,许蕾,徐宝文,等.演化测试技术的研究[J]. 计算机科学与探索, 2008, 2(5): 449-466.XIE Xiaoyuan, XU Lei, XU Baowen, et al. Survey of evolutionary testing[J]. Journal of Frontiers of Computer Science and Technology, 2008, 2(5): 449-466.
[5] 丁博,王怀民,史殿习,等.一种支持软件可信演化的构件模型[J]. 软件学报, 2011, 22(1): 17-27.DING Bo, WANG Huaimin, SHI Dianxi, et al. Component model supporting trustworthiness-oriented software evolution[J]. Journal of Software, 2011, 22(1): 17-27.
[6] WANG H M, TANG Y B, YIN G, et al. Trustworthiness of Inter-net-based software[J]. Science in China: Series E, 2006, 36(10): 1156-1169.
[7] 郑志明,马世龙,李未,等. 软件可信性动力学特征及其演化复杂性[J]. 中国科学: F辑,信息科学, 2009, 39(9): 946-950.
[8] 张顺燕.数学的源与流[M]. 北京: 高等教育出版社, 2000: 12-46.
[9] 何华灿,何智涛. 无穷概念的重新统一[J].智能系统学报, 2010, 5(3): 202-220.HE Huacan, HE Zhitao. Reunifying concepts of infinity[J]. CAAI Transactions on Intelligent Systems, 2010,5(3): 202-220.
[10] 彭漪涟, 马钦荣.逻辑学大辞典[M]. 上海: 上海辞书出版社, 2004: 431, 481.
[11] DAUBEN J W.康托的无穷的数学和哲学[M]. 郑毓信,刘晓力,译. 大连: 大连理工大学出版社, 2008: 108-109.
[12] 何华灿, 何智涛. 统一无穷理论[M]. 北京:科学出版社, 2011: 11.
[13] HE Zhitao, LIU Chao, YAN Haihua, et al. A formal definition of software testing based on fuzzy measure[C]//2013 Fourth World Congress on Software Engineering, 2013, 12: 59-63.
Similar References:

Memo

-

Last Update: 2015-06-16

Copyright © CAAI Transactions on Intelligent Systems