| 面向软件错误检测的数据流分析 |
| |
| 引用本文： | 张广梅,李景霞. 面向软件错误检测的数据流分析[J]. 计算机科学, 2016, 43(Z6): 497-501 |
| |
| 作者姓名： | 张广梅 李景霞 |
| |
| 作者单位： | 山东农业大学信息科学与工程学院 泰安271018,安徽农业大学信息与计算机学院 合肥230036 |
| |
| 摘 要： | 程序中某一点的数据流状态与软件的执行路径有关。程序中的部分错误与变量所处的状态相关。提出的MUST数据流和MAY数据流反映了数据流的执行路径具有相关性的特点。根据不同变量的管理特点,从程序的控制结构出发,详细讨论了影响变量状态的各种因素及其之间的关系,提出了基于程序控制结构的、以基本块为最小程序单位的静态数据流分析方法,为精确地进行数据流分析提供了依据。
|
| 关 键 词： | 软件错误 错误检测 数据流分析 |
Data-flow Analysis for Software Error Detection |
| |
| ZHANG Guang-mei and LI Jing-xia. Data-flow Analysis for Software Error Detection[J]. Computer Science, 2016, 43(Z6): 497-501 |
| |
| Authors: | ZHANG Guang-mei and LI Jing-xia |
| |
| Abstract: | |
| |
| Keywords: | Software error Software error detection Data-flow analysis |
|
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
|
