高级检索

数据流相关软件故障的静态检测

Detection of Data-Flow Related Software Fault

  • 摘要: 建立了数据流相关的软件故障模型,对应用程序中由于变量的定值与引用操作及动态内存访问过程中导致故障发生的情况进行了分析.该类故障的检测需要数据流分析的支持.基于程序控制结构的精确数据流分析方法,充分考虑了不同程序路径上变量的定值情况,在静态分析过程中模拟了动态执行过程中到达各引用点的定值信息.根据引用-定值链建立的故障诊断规则,为有效地进行故障检测提供了依据.

     

    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.

     

/

返回文章
返回