一种基于模型的测试充分性评估方法

摘要：

测试充分性评估通常采用覆盖率的方法来评估测试对软件特征的覆盖充分程度.如今,传统的充分性评估方法难以满足复杂软件的测试评估需求.首先,代码覆盖准则难以准确验证软件需求；其次,软件测试还需考虑软件不同特征对系统测试充分性的不同影响.对此,提出一种基于接口的建模方法和基于该模型的综合覆盖充分性评估方法.该方法根据软件接口说明,对系统功能进行特征抽取、建模,并对接口模型的测试用例进行不同层级的充分性评估,对评估结果进行归一化处理,得到系统的综合测试充分性.通过案例表明,这种评估方法能够反映功能的测试充分性,对测试用例的设计和优化有一定指导意义.

关键词：测试充分性、基于模型的测试、测试覆盖率

所属期刊栏目：40

分类号：TP311(计算技术、计算机技术)

资助基金：航空科学基金自主项目20091958005

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

页数：共6页

页码：153-158