<-上一篇/Previous Article 下一篇/Next Article->

[1]何智涛,何华灿,刘超.基于统一无穷理论的软件测试可穷尽性研究[J].智能系统学报,2014,9(6):641-652.[doi:10.3969/j.issn.1673-4785.201308040]
　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]

点击复制

基于统一无穷理论的软件测试可穷尽性研究

《智能系统学报》[ISSN 1673-4785/CN 23-1538/TP] 卷: 9 期数: 2014年第6期页码: 641-652 栏目: 综述出版日期: 2014-12-25

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

作者:: 何智涛¹, 何华灿², 刘超¹; 1. 北京航空航天大学计算机学院, 北京 100191;
2. 西北工业大学计算机学院, 陕西西安 710072

Author(s):: HE Zhitao¹, HE Huacan², LIU Chao¹; 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

分类号:: TP311;O144.1

DOI:: 10.3969/j.issn.1673-4785.201308040

文献标志码:: A

摘要:: 传统认为只要继续测试,总能发现新的软件缺陷,这使软件测试可信失去了理论基础。针对软件测试可穷尽性开展理论研究,将讨论范围从有穷领域扩展到无穷领域。首先从最新的实无穷理论研究成果统一无穷理论入手,得出了利用有限开销来判断无穷过程可信性的基本方法,从软件特征定义入手,形式化定义了软件测试用例集合,得出了软件特征与测试用例/软件缺陷之间的对应关系;基于统一实无穷理论研究成果和统一数学归纳法,讨论了软件测试版本持续演化过程中,测试用例集合可穷尽性与软件测试质量的关系,回答了当测试用例集合是一个无穷集合时,软件测试该如何开展软件测试是否能穷尽的理论问题,并剖析测试可穷尽性的旧有认识。该文研究成果初步回答了困扰软件测试理论界多年的软件测试可穷尽性问题,为软件测试可信性研究奠定了坚实的理论基础。

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.

相似文献/References:: [1]杨振兴,刘久富,孙琳.不变量的程序潜在错误预测[J].智能系统学报,2010,5(4):327.
　YANG Zhen-xing,LIU Jiu-fu,SUN Lin.Using invariants to predict the potential for errors in programs[J].CAAI Transactions on Intelligent Systems,2010,5():327.

备注/Memo

收稿日期:2013-8-28;改回日期:。
作者简介:何智涛,1972年生,讲师,博士,CAAI人工智能基础专业委员会委员,主要研究方向为软件测试建模、软件测试过程管理、知识工程和泛逻辑。国内外发表学术论文10余篇;何华灿,1938年生,教授,博士生导师。中国人工智能学会发起人,曾任常务理事和副理事长,现任CAAI人工智能基础专业委员会主任。主要研究方向为人工智能应用、人工智能基础和泛逻辑学、实无穷理论。发表学术论文160余篇,出版《人工智能导论》、《泛逻辑学原理》和《统一无穷理论》等专著,主编出版《信息、智能与逻辑》丛书;刘超,1958年生,教授,博士生导师,北京航空航天大学软件工程研究所所长,CCF会员。主要研究方向为软件测试和软件工程。国内外发表论文近百篇。
通讯作者:何智涛.E-mail:zhitaohe@vip.sina.com.

更新日期/Last Update: 2015-06-16