基于插桩技术的程序谱构建方法

摘要：

为了满足软件测试、软件调试和程序优化等领域对程序谱的需求,提出了基于插桩技术的程序谱构建模型,主要包括插桩预处理、双缓冲处理、有穷自动机处理识别插桩点、植入探针生成插桩代码、编译连接并执行插桩程序以收集执行轨迹构建程序谱.采用双缓冲处理机制,可有效提高源代码处理效率,有穷自动机能够准确识别插桩点.在软件错误定位中的应用结果表明基于插桩技术构建的程序谱可为准确、高效的程序理解和分析提供方便.

关键词：程序谱、源代码插桩、程序分析、覆盖测试、软件错误定位

所属期刊栏目：14

分类号：TP311.11(计算技术、计算机技术)

资助基金：国家自然科学基金61202092,61173021;高等学校博士学科点专项科研基金20112302120052;中央高校基本科研业务费专项资金HIT.NSRIF.201178;哈尔滨科技创新人才专项资金RC2013QN010001;黑龙江省高教学会“十二五”重点规划课题项目HGJXHB1110957;黑龙江省普通高校青年学术骨干项目12546037;黑龙江省大学生创新创业项目资助

在线出版日期：2014-08-15（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：89-93