面向软件错误检测的数据流分析

• 作者: 张广梅 李景霞
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 软件错误 错误检测 数据流分析
• 年，卷（期）: 2016,（z1）
• 所属期刊栏目: 软件工程与数据库技术
• 页码范围: 497-501
• 页数: 5页
• 分类号: TP311
• 字数: 5565字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张广梅	山东农业大学信息科学与工程学院	20	79	5.0	8.0
2	李景霞	安徽农业大学信息与计算机学院	10	12	3.0	3.0