面向整数错误检测的蜕变测试方法研究

• 作者: 姚奕 稽孟雨 黄松
• 来源期刊: 计算机工程与科学
• 学科: 工学
• 关键词: 蜕变关系 整型错误 整数溢出 测试判定
• 年，卷（期）: 2012,（4）
• 所属期刊栏目: 图形与图像
• 页码范围: 52-56
• 分类号: TP311
• 字数: 3594字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-130X.2012.04.011

摘要

整型错误在安全性和功能性方面都是影响软件质量的重要因素,但是由于测试人员往往面临Oracle问题,无法判断程序是否出现整型错误,除非程序输出一个明显的异常值.本文利用蜕变测试技术发现由于整型错误产生的隐错,实验结果显示基于蜕变关系的整型错误检测方法可检测出平时发现不了的隐式非预期输出,有效地提高了检测整型错误的效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄松	解放军理工大学指挥自动化学院	45	231	8.0	11.0
2	稽孟雨	解放军理工大学指挥自动化学院	1	3	1.0	1.0