Proteus: Computing Disjunctive Loop Summary via Path Dependency Analysis
  • 摘要
  • | |
  • 访问统计
  • | | |
  • 引证文献
  • | |
  • 文章评论
    摘要:

    在程序分析中,循环(Loop)的处理与分析是一个非常重要而且很有挑战的任务。例如,在符号执行(Symbolic Execution)中,循环的不断展开会导致程序路径数量指数级地增长。因此,符号执行通常会陷入不停的循环展开,而不能覆盖到新的程序分支上,最终影响了测试用例生成或者缺陷检测的效率。

    Abstract:

    文章由CCF软件工程专业委员会白颖教授推荐。 文章发表在FSE'16会议上Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 原文链接如下:http://dl.acm.org/citation.cfm?id=2950340, 读者如需引用该文请标引原文出处。

    参考文献
    相似文献
    引证文献
    引证文献 [0] 您输入的地址无效!
    没有找到您想要的资源,您输入的路径无效!

    网友评论
    网友评论
    分享到微博
    发 布
引用本文

谢肖飞,陈碧欢,刘杨,Wei Le,李晓红. Proteus: Computing Disjunctive Loop Summary via Path Dependency Analysis.软件学报,,():

复制
分享
文章指标
  • 点击次数:3718
  • 下载次数: 4591
  • HTML阅读次数: 0
  • 引用次数: 0
历史
  • 在线发布日期: 2016-12-12
文章二维码
您是第20333691位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号