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

• 作者: 何华灿 何智涛 刘超
• 来源期刊: 智能系统学报
• 学科: 工学
• 关键词: 软件测试 统一无穷理论 软件特征 测试用例集合 测试可穷尽性 测试可信性 软件缺陷 软件测试演化过程 统一数学归纳法
• 年，卷（期）: 2014,（6）
• 页码范围: 641-652
• 页数: 12页
• 分类号: TP311|O144.1
• 字数: 17121字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-4785.201308040

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	何华灿	西北工业大学计算机学院	181	1581	19.0	32.0
2	刘超	北京航空航天大学计算机学院	138	2512	20.0	47.0
3	何智涛	北京航空航天大学计算机学院	9	41	3.0	6.0