基于统一无穷理论的软件测试可穷尽性研究.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) 摘 要：传统认为只要继续测试 ，总能发现新的软件缺陷，这使软件测试可信失去了理论基础。针对软件测试可穷 尽性开展理论研究 ，将讨论范围从有穷领域扩展到无穷领域。首先从最新的实无穷理论研究成果统一无穷理论人 手，得出了利用