函数副作用在软件静态测试中的应用

• 作者: 吕金和
• 来源期刊: 软件导刊
• 学科: 工学
• 关键词: 静态测试 函数副作用 函数间分析
• 年，卷（期）: 2010,（4）
• 页码范围: 20-22
• 分类号: TP306
• 字数: 2156字
• 语种: 中文

摘要

提高检测精度是在基于缺陷模式的软件测试中一个亟待解决的问题.在区间运算技术的基础上,将函数执行后对上下文产生的影响定义为函数的副作用,如函数中对全局变量或类成员变量的更改、对指针型参数或引用型参数的更改,以及函数的返回值等.并给出函数副作用的形式化描述和生成算法,将其用于区间运算的过程中,显示软件静态测试的效果.实验结果表明,使用该方法的测试工具对缺陷的误报及漏报情况明显减少,测试精度显著提高.