过程内分析和路径调度算法实现

• 作者: 施保华 翁子盛 黄德官
• 来源期刊: 福建电脑
• 关键词: 符号执行 过程内分析 路径调试
• 年，卷（期）: 2015,（6）
• 所属期刊栏目: 应用与开发
• 页码范围: 106-107
• 页数: 2页
• 字数: 1575字
• 语种: 中文

摘要

符号执行是路径敏感的分析方法，分析精度高，时间空间消耗较大，是作为单元测试的一种很好的方法。针对符号执行的特点，本文提出一种过程内分析算法和路径调度算法，基于该算法实现了一种测试工具，通过实验，表明该算法在万行级代码的分析能够给出具有指导价值的分析结果。