| 数据流相关软件故障的静态检测 |
| |
| 引用本文： | 张广梅,李晓维.数据流相关软件故障的静态检测[J].计算机辅助设计与图形学学报,2005,17(11):2477-2483. |
| |
| 作者姓名： | 张广梅 李晓维 |
| |
| 作者单位： | 中国科学院计算技术研究所先进测试技术实验室,北京,100080;山东农业大学信息科学与工程学院,泰安,271018;中国科学院研究生院,北京,100039;中国科学院计算技术研究所先进测试技术实验室,北京,100080 |
| |
| 基金项目： | 国家自然科学基金重点项目（90207012）. |
| |
| 摘 要： | 建立了数据流相关的软件故障模型，对应用程序中由于变量的定值与引用操作及动态内存访问过程中导致故障发生的情况进行了分析．该类故障的检测需要数据流分析的支持．基于程序控制结构的精确数据流分析方法，充分考虑了不同程序路径上变量的定值情况，在静态分析过程中模拟了动态执行过程中到达各引用点的定值信息．根据引用-定值链建立的故障诊断规则，为有效地进行故障检测提供了依据．
|
| 关 键 词： | 数据流相关的软件故障 数据流分析 引用-定值链 故障检测 |
| 收稿时间： | 2004-09-06 |
| 修稿时间： | 2004-09-062005-05-10 |
Detection of Data-Flow Related Software Fault |
| |
| Zhang Guangmei,Li Xiaowei.Detection of Data-Flow Related Software Fault[J].Journal of Computer-Aided Design & Computer Graphics,2005,17(11):2477-2483. |
| |
| Authors: | Zhang Guangmei Li Xiaowei |
| |
| Abstract: | A model of data-flow related software fault is built in this paper. The faults caused by the define-use operations of variables and the faults caused by accessing dynamic memory illegally are described in this model. In order to detect these faults, an accurate data-flow analysis method based on the control structure is introduced. By using this method, the data-flow on different path of a program can be simulated. And the use-define chain of every used variables can then be constructed to record all the define sites of these used variables. Finally, the software faults detection rules based on the use-define chain are investigated, which help to detect data-flow related software faults efficiently. |
| |
| Keywords: | data-flow related software fault data flow analysis use-define chain fault detection |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
