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

摘要：

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

关键词：软件错误、错误检测、数据流分析

所属期刊栏目：43

分类号：TP311(计算技术、计算机技术)

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

页数：共5页

页码：497-501