《计算机测量与控制杂志》发表论文赏析
作者:王正阳,王雅文
单位:北京邮电大学
摘要:针对软件源代码静态检测时故障报告中误报较多问题,提出一种基于软件运行特征的故障检测方法,通过引入动态分析的方式进行故障检测。首先扩展了动态测试插装库,设计了八种常见故障模式对应的探针函数,然后在程序中搜索故障监控位置并进行故障监控探针的插装,最后在软件执行过程中分析插装消息中的运行特征从而识别故障。实验结果表明该方法能够有效检测程序故障且检测出的故障均为真实存在,弥补了静态分析误报率高的问题。
关键词:软件测试 静态分析 动态测试 插装 故障模式 运行监控
基金资助:广西密码学与信息安全重点实验室开放课题(GCIS202103)