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

Program Instrumentation Technology for Spectrum Construction

作　　者：王克朝[1,2] 李兵[1] 王甜甜[2] 陈京浩[3] 

机构地区：[1]哈尔滨学院软件学院,哈尔滨150086 [2]哈尔滨工业大学计算机科学与技术学院,哈尔滨150001 [3]重庆市公安局网络安全保卫总队,重庆401147

出　　处：《科学技术与工程》2014年第18期89-93,共5页Science Technology and Engineering

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

摘　　要：为了满足软件测试、软件调试和程序优化等领域对程序谱的需求,提出了基于插桩技术的程序谱构建模型,主要包括插桩预处理、双缓冲处理、有穷自动机处理识别插桩点、植入探针生成插桩代码、编译连接并执行插桩程序以收集执行轨迹构建程序谱。采用双缓冲处理机制,可有效提高源代码处理效率,有穷自动机能够准确识别插桩点。在软件错误定位中的应用结果表明基于插桩技术构建的程序谱可为准确、高效的程序理解和分析提供方便。To meet the needs of software testing, software debugging and program optimization for program spectrum, a program spectrum construction model based on instrumentation technology is proposed. The model can be divided into five stages： pre-processing, double buffering, infinite state machine processing to identify instrumentation point, instrumented probe code, instrumented program execution to construct the program execution trace spectrum. Double buffering mechanism can effectively improve the efficiency of the code processing, and finite state machine algorithm can accurately identify instrumented point. Application results in software fault localization show that the program spectrum with our method can facilitate accurate and efficient program comprehension and analysis.

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

分 类 号：TP311.11[自动化与计算机技术—计算机软件与理论]