互联网 qkzz.net
全刊杂志网:首页 > 女性 > 文章正文
刊社推荐

基于分段执行和摘要的动态程序分析


  摘 要:传统的动态程序分析需探索程序运行的所有可能路径。然而,实际的程序通常有大量甚至无限多的路径。由于不能完全探索所有路径,对程序的准确分析只限于一些简单的情形。具体符号测试方法结合符号分析和通过运行程序获得变量的具体数值。它提高了传统方法的适用性,但同样受到路径数目的限制。为解决这一问题,提出基于分段执行程序和对程序段落自动生成摘要的手段。该手段扩展了具体符号测试,提高其效率,并使之可应用于一些具有无限路径的程序。

  关键词:程序设计; 动态程序分析; 路径探索; 具体符号测试

  中图分类号:TP311文献标志码:A

  文章编号:1001-3695(2010)06-2130-04

  doi:10.3969/j.issn.1001-3695.2010.06.039

  Dynamic program analysis based on partitioning and summarization

  FENG Huining

  (Oracle Corporation, Redwood Shores, CA, USA)

  Abstract:Traditional dynamic program analysis relies on exploring all possible paths of program execution. In reality, however, programs have a large number of, or even infinitely many, paths. Since it is not feasible to explore all paths, precise analysis is limited to simple cases. Concolic testing method combines symbolic analysis and concrete values of variables obtained by executing programs. Though it improves applicability of traditional approaches, concolic testing is still limited by the number of explorable paths. To address this problem, this paper proposed a method here based on executing partitions of a program and automatically generating summaries for those partitions. This method extends concolic testing, improving its performance and making it applicable to certain programs with unbounded paths.

......
很抱歉,暂无全文,若需要阅读全文或喜欢本刊物请联系《计算机应用研究》杂志社购买。
欢迎作者提供全文,请点击编辑
分享:
 

了解更多资讯,请关注“木兰百花园”
分享:
 
精彩图文


关键字
支持中国杂志产业发展,请购买、订阅纸质杂志,欢迎杂志社提供过刊、样刊及电子版。
关于我们 | 网站声明 | 刊社管理 | 网站地图 | 联系方式 | 中图分类法 | RSS 2.0订阅 | IP查询
全刊杂志赏析网 2017