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

第9卷第6期 智 能 系 统 学 报 Vo1．9№ ．6 2014年 12月 CAAITransactionsonIntelligentSystems Dec．2014 DOI：10．3969／j．issn．1673-4785．201308040 网络出版地址：http：／／www．enki．net／kcms／doi／10．3969／j．issn．1673—4785．201308400．html 基于统一无穷理论的软件测试可穷尽性研究 何智涛 ，何华灿 ，刘超 (1．北京航空航天大学计算机学院，北京 1．00191；2．西北工业大学计算机学院，陕西 西安710072) 摘 要：传统认为只要继续测试 ，总能发现新的软件缺陷，这使软件测试可信失去了理论基础。针对软件测试可穷 尽性开展理论研究 ，将讨论范围从有穷领域扩展到无穷领域。首先从必威体育精装版的实无穷理论研究成果统一无穷理论人 手，得出了利用有限开销来判断无穷过程可信性的基本方法，从软件特征定义人手，形式化定义了软件测试用例集 合，得出了软件特征与测试用例 ／软件缺陷之间的对应关系；基于统一实无穷理论研究成果和统一数学归纳法，讨论 了软件测试版本持续演化过程中，测试用例集合可穷尽性与软件测试质量的关系，回答了当测试用例集合是一个无 穷集合时 ，软件测试该如何开展软件测试是否能穷尽的理论问题，并剖析测试可穷尽性的旧有认识。该文研究成果 初步回答了困扰软件测试理论界多年的软件测试可穷尽性问题，为软件测试可信性研究奠定了坚实的理论基础。 关键词 ：软件测试；统一无穷理论；软件特征；测试用例集合 ；测试可穷尽性；测试可信性 ；软件缺陷；软件测试演化过 程；统一数学归纳法 中图分类号：TP311；0144．1 文献标志码：A 文章编号：1673—4785(2014)06—0641—012 中文引用格式：何智涛。何华灿。刘超．基于统一无穷理论的软件测试可穷尽性研究[J]．智能系统学报，2014，9(6)：641-652． 英文引用格式 ：HEZhitao。HEHuacan，LIUChao．Researchonexhaustivecharacterofsoftwaretestingbasedontheunifiedinfini- tytheory[J]．CAAITransactionsonIntelligentSystems，2014，9(6)：641-652． Research on exhaustivecharacterofsoftwaretesting basedontheunified infinitytheory HEZhitao ，HE Huacan ，LIU Chao (1．SchoolofComputerScienceandEngineering，BeihangUniversity，Beijing100191，China；2．SchoolofComputer，Northwestern PolytechniealUniversity，Xi’an710072，China) Abstract：A traditionalconceptofsoftwaretestingisthatthedefectofnew softwarecanalwaysbedetectediffurther softwaretestingisconducted．Thisideaeliminatesthetheoreticalbasisofthedependabilityofsoftwaretesting，which isahottopicinthesoftwareengineeringfield．Theexhaustivecharacterofsoftwaretestingisstudiedintheoryinthis paper．Thediscussionrangeextendsfrom finitefieldtoinfinitefield．Firstly，