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

• 作者: 冯辉宁
• 来源期刊: 计算机应用研究
• 关键词: 程序设计 动态程序分析 路径探索 具体符号测试
• 年，卷（期）: 2010,（6）
• 所属期刊栏目: 软件技术研究
• 页码范围: 2130-2133,2146
• 分类号: TP311
• 语种: 中文
• DOI: 10.3969/j.issn.1001-3695.2010.06.039

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	冯辉宁		3	2	1.0	1.0