面向软件故障检测的数据流分析

摘要：

程序中某一点的数据流状态与软件的执行路径有关.程序中的部分故障与数据流相关.文中提出的MUST数据流和MAY数据流反映了数据流的执行路径相关性特点.根据不同变量的管理特点,本文从程序的控制结构出发,详细的讨论了影响数据流的各种因素及其之间的关系,提出了以基本块为最小程序单位的静态数据流分析方法,为准确地进行数据流分析提供了依据.

关键词： 软件故障 故障检测 数据流分析 应用程序

作者: 张广梅 陈蕊 李晓维

作者单位: 中国科学院计算技术研究所信息网络室(北京);山东农业大学信息科学与工程学院(泰安);中国科学院研究生院(北京) 中国科学院计算技术研究所信息网络室(北京);中国科学院研究生院(北京) 中国科学院计算技术研究所信息网络室(北京)

会议类型: 国内会议

会议名称: 全国第13届计算机辅助设计与图形学学术会议暨全国第16届计算机科学与技术应用学术会议

会议地点: 合肥

会议语种:中文

页码: 251-255

在线出版日期: 2004-08-01（万方平台首次上网日期，不代表论文的发表时间）