基于插桩技术的程序谱构建方法 |
| |
作者姓名: | 王克朝 李兵 王甜甜 陈京浩 |
| |
作者单位: | 哈尔滨工业大学,哈尔滨学院软件学院,哈尔滨工业大学计算机科学与技术学院,重庆市公安局网络安全保卫总队 |
| |
基金项目: | 国家自然科学基金项目;国家教育部博士点基金;中央高校基本科研业务费专项资金;哈尔滨科技创新人才专项资金;黑龙江省高教学会“十二五”重点规划课题资助项目;黑龙江省普通高校青年学术骨干项目资助;黑龙江省大学生创新创业项目资助 |
| |
摘 要: | 为了满足软件测试、软件调试和程序优化等领域对程序谱的需求,提出了基于插桩技术的程序谱构建模型,主要包括插桩预处理、双缓冲处理、有穷自动机处理识别插桩点、植入探针生成插桩代码、编译连接并执行插桩程序以收集执行轨迹构建程序谱。采用双缓冲处理机制,可有效提高源代码处理效率,有穷自动机能够准确识别插桩点。在软件错误定位中的应用结果表明基于插桩技术构建的程序谱可为准确、高效的程序理解和分析提供方便。
|
关 键 词: | 程序谱 源代码插桩 程序分析 覆盖测试 软件错误定位 |
收稿时间: | 2014-02-06 |
修稿时间: | 2014-05-22 |
本文献已被 CNKI 等数据库收录! |
| 点击此处可从《科学技术与工程》浏览原始摘要信息 |
|
点击此处可从《科学技术与工程》下载免费的PDF全文 |
|