中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
基于路径分析的死循环检测

文献类型:期刊论文

作者阮辉 ; 严俊 ; 张健
刊名计算机学报
出版日期2009
卷号32期号:9页码:1750-1758
关键词死循环 循环展开 路径可行性 测试数据
其他题名infinite loop detection based on path analysis
中文摘要提出了一种自动检测C语言程序中是否含有死循环的方法.该方法基于程序分析技术,包括循环展开和路径可行性分析技术.该方法首先通过遍历控制流图生成待查循环的检验路径;之后通过分析检验路径的可行性以及路径之间的联系,判断这些路径是否符合死循环模式.在此方法基础上实现了原型工具LoopAnalyzer,并对一组基准程序进行测试.实验结果表明此工具能有效地检测出C语言程序中的死循环,并且准确率较高.
收录类别ei
语种中文
公开日期2010-08-11
源URL[http://124.16.136.157/handle/311060/3134]  
专题软件研究所_计算机科学国家重点实验室 _期刊论文
推荐引用方式
GB/T 7714
阮辉,严俊,张健. 基于路径分析的死循环检测[J]. 计算机学报,2009,32(9):1750-1758.
APA 阮辉,严俊,&张健.(2009).基于路径分析的死循环检测.计算机学报,32(9),1750-1758.
MLA 阮辉,et al."基于路径分析的死循环检测".计算机学报 32.9(2009):1750-1758.

入库方式: OAI收割

来源:软件研究所

浏览0
下载0
收藏0
其他版本

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。