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

• 作者: 张广梅 李晓维
• 来源期刊: 计算机辅助设计与图形学学报
• 学科: 工学
• 关键词: 数据流相关的软件故障 数据流分析 引用-定值链 故障检测
• 年，卷（期）: 2005,（11）
• 所属期刊栏目: VLSI设计与测试及电子设计自动化
• 页码范围: 2477-2483
• 页数: 7页
• 分类号: TP311
• 字数: 6805字
• 语种: 中文
• DOI: 10.3321/j.issn:1003-9775.2005.11.015

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张广梅	中国科学院计算技术研究所先进测试技术实验室	20	79	5.0	8.0
4	李晓维	中国科学院计算技术研究所先进测试技术实验室	127	1467	20.0	32.0