运行时异常对软件静态测试的影响研究

作者：金大海; 宫云战; 杨朝红; 肖庆

来源：计算机学报, 2011, (06): 1090-1099.

• 软件测试
• 静态分析
• 运行时异常
• 异常模式
• 异常控制流 software testing
• static analysis
• runtime exception
• exception pattern
• exception control flow

当程序的执行过程中出现运行时异常,控制流动态地变更可能会产生非预期的执行逻辑,由此引入的缺陷将给软件静态测试工作带来巨大的挑战.针对这一问题,提出一种结合运行时异常的静态测试方法,将缺陷检测及控制流扩展交替执行,通过扩展分析路径达到提高测试充分度的目的.以异常模式状态机描述运行时异常行为,在包含运行时异常的控制流上,应用迭代方程得到运行时异常控制流序列,将在传统控制流上的一次缺陷检测过程扩展为在异常控制流序列上的多次检测.实验结果表明,结合运行时异常的静态测试方法虽然增加了时间开销,且引入一定的误报,但却可以发现传统测试方法所遗漏的缺陷,这点在航空、航天等高可信领域尤为重要.

• 单位
  网络与交换技术国家重点实验室; 北京邮电大学