摘要
建立了数据流相关的软件故障模型,对应用程序中由于变量的定值与引用操作及动态内存访问过程中导致故障发生的情况进行了分析.该类故障的检测需要数据流分析的支持.基于程序控制结构的精确数据流分析方法,充分考虑了不同程序路径上变量的定值情况,在静态分析过程中模拟了动态执行过程中到达各引用点的定值信息.根据引用-定值链建立的故障诊断规则,为有效地进行故障检测提供了依据.
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.
出处
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2005年第11期2477-2483,共7页
Journal of Computer-Aided Design & Computer Graphics
基金
国家自然科学基金重点项目(90207012)
