-
题名基于统一无穷理论的软件测试可穷尽性研究
被引量：1
- 1
-
-
作者
何智涛
何华灿
刘超
-
机构
北京航空航天大学计算机学院
西北工业大学计算机学院
-
出处
《智能系统学报》
CSCD
北大核心
2014年第6期641-652,共12页
-
文摘
传统认为只要继续测试,总能发现新的软件缺陷,这使软件测试可信失去了理论基础。针对软件测试可穷尽性开展理论研究,将讨论范围从有穷领域扩展到无穷领域。首先从最新的实无穷理论研究成果统一无穷理论入手,得出了利用有限开销来判断无穷过程可信性的基本方法,从软件特征定义入手,形式化定义了软件测试用例集合,得出了软件特征与测试用例/软件缺陷之间的对应关系;基于统一实无穷理论研究成果和统一数学归纳法,讨论了软件测试版本持续演化过程中,测试用例集合可穷尽性与软件测试质量的关系,回答了当测试用例集合是一个无穷集合时,软件测试该如何开展软件测试是否能穷尽的理论问题,并剖析测试可穷尽性的旧有认识。该文研究成果初步回答了困扰软件测试理论界多年的软件测试可穷尽性问题,为软件测试可信性研究奠定了坚实的理论基础。
-
关键词
软件测试
统一无穷理论
软件特征
测试用例集合
测试可穷尽性
测试可信性
软件缺陷
软件测试演化过程
统一数学归纳法
-
Keywords
dependability of software testing
software defects
software testing evolution process
unified mathe-matical in-duction
-
分类号
TP311.53
[自动化与计算机技术—计算机软件与理论]
-
