以偶然正确性概率为基础的测试充分度准则

• 作者: 李倩 李宣东 赵建华 陈洁
• 来源期刊: 计算机科学与探索
• 学科: 工学
• 关键词: 测试充分度准则 偶然正确性 动态数据流分析
• 年，卷（期）: 2011,（7）
• 所属期刊栏目: 学术研究
• 页码范围: 602-612
• 分类号: TP311
• 字数: 7261字
• 语种: 中文
• DOI: 10.3778/j.issn.1673-9418.2011.07.004

摘要

提出了一种基于偶然正确性概率的测试充分度准则。考虑偶然正确性问题对测试的充分度衡量带来的影响，设计了一种算法来计算程序中的一个错误因为偶然正确性的发生而使输出结果正确的概率。根据动静态数据流信息分析，追溯了动态语句实例之间的定义-使用依赖关系，并据此建立了定义-使用依赖关系图。对不同语句结构和跳转条件定义各种影响因子，量化这些影响因子对错误的掩盖程度。给出了一种算法来计算程序的一次执行过程的测试充分度。选取五个C语言程序作为实验对象，计算基于偶然正确性的测试充分度准则与错误发现效率之间的关系，并与语句覆盖度的错误发现率进行了比较。实验结果显示基于偶然正确性的测试充分度准则能较好地发现错误。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李宣东	南京大学计算机科学与技术系	72	1417	20.0	36.0
2	赵建华	南京大学计算机科学与技术系	23	201	7.0	13.0
3	李倩	南京大学计算机科学与技术系	30	604	10.0	24.0
4	陈洁	南京大学计算机科学与技术系	61	336	10.0	16.0