数据流相关软件故障的静态检测
文献类型：期刊论文
| 作者 | 张广梅; 李晓维 |
| 刊名 | 计算机辅助设计与图形学学报
 |
| 出版日期 | 2005 |
| 卷号 | 17期号:11 |
| 关键词 | 数据流相关的软件故障 数据流分析 引用-定值链 故障检测 |
| 英文摘要 | 立了数据流相关的软件故障模型,对应用程序中由于变量的定值与引用操作及动态内存访问过程中导致故障发生的情况进行了分析 .该类故障的检测需要数据流分析的支持 .基于程序控制结构的精确数据流分析方法,充分考虑了不同程序路径上变量的定值情况,在静态分析过程中模拟了动态执行过程中到达各引用点的定值信息 .根据引用-定值链建立的故障诊断规则,为有效地进行故障检测提供了依据 . |
| 语种 | 中文 |
| 公开日期 | 2010-11-23 |
| 源URL | [http://ictir.ict.ac.cn/handle/311040/935]  |
| 专题 | 中国科学院计算技术研究所期刊论文_2005年中文 |
| 推荐引用方式 GB/T 7714 | 张广梅,李晓维. 数据流相关软件故障的静态检测[J]. 计算机辅助设计与图形学学报,2005,17(11). |
| APA | 张广梅,&李晓维.(2005).数据流相关软件故障的静态检测.计算机辅助设计与图形学学报,17(11). |
| MLA | 张广梅,et al."数据流相关软件故障的静态检测".计算机辅助设计与图形学学报 17.11(2005). |
入库方式： OAI收割
来源：计算技术研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。