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

摘要：

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

关键词：数据流相关的软件故障、数据流分析、引用-定值链、故障检测

所属期刊栏目：17

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

资助基金：国家自然科学基金90207012

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

页数：共7页

页码：2477-2483