基于静态分析的面向故障测试方法
软件的故障模式就是总结那些经常出现、并具有一定模式的故障.经过大量的源码分析,我们总结出一些极具代表性的错误模式.在本文中,给出了整个测试环境的框架和组成,并以内存泄漏为例简要讨论了设计检测算法的原则和方法.我们已经基本实现了提出的所有故障模式并建立了一个原型系统.在应用中发现这种面向故障模式的测试方法有以下优点:1、不需要设计任何测试用例,自动化程度高;2、结果相对较为客观,测试结果可复现;3、针对性强,针对的都是用户关心的却又用其他方法难以找出的故障.
软件测试 静态分析 故障模式 内存泄漏
肖庆 杨朝红 毕学军
北京装甲兵工程学院信息工程系,北京,100072
国内会议
北戴河
中文
477-482
2006-08-07（万方平台首次上网日期，不代表论文的发表时间）