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

摘要：

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

关键词：软件测试、统一无穷理论、软件特征、测试用例集合、测试可穷尽性、测试可信性、软件缺陷、软件测试演化过程、统一数学归纳法

分类号：TP311;O144.1(计算技术、计算机技术)

在线出版日期：2015-01-15（万方平台首次上网日期，不代表论文的发表时间）

页数：共12页

页码：641-652