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

第 14卷 第 18期 2014年 6 科 学 技 术 与 工 程 Vo1．14 No．18 Jun．2014 1671— 1815(2014)18—0089—05 ScienceTechnologyandEngineering ⑥ 2014 Sci．Tech．Engrg． 基于插桩技术的程序谱构建方法 王克朝 ’ 李 兵 王甜甜 陈京浩 (哈尔滨学院软件学院 ，哈尔滨 150086；哈尔滨工业大学计算机科学与 技术学院 ，哈尔滨 150001；重庆市公安局网络安全保卫总队 ，重庆401147) 摘 要 为了满足软件测试、软件调试和程序优化等领域对程序谱的需求，提出了基于插桩技术的程序谱构建模型，主要包 括插桩预处理、双缓冲处理、有穷自动机处理识别插桩点、植入探针生成插桩代码、编译连接并执行插桩程序以收集执行轨迹 构建程序谱。采用双缓冲处理机制，可有效提高源代码处理效率，有穷 自动机能够准确识别插桩点。在软件错误定位中的应 用结果表明基于插桩技术构建的程序谱可为准确、高效的程序理解和分析提供方便。 关键词 程序谱 源代码插桩 程序分析 覆盖测试 软件错误定位 中图法分类号 TP311．11； 文献标志码 A 软件缺陷导致了软件开发在成本、进度和质量 程序不变量等动态信息，对提高软件测试的覆盖率、 上的失控，引起了软件危机。软件测试作为软件质 快速准确地执行软件错误 自动定位及理解都有十分 量保证的重要手段，在软件工程中占有重要位置。 重要的作用，提高软件测试和调试效率，保证软件产 在正式发布的软件产品中，大部分的问题和缺 品的质量。 陷在测试阶段都已经被发现和修复，但由于软件产 1 基于插桩技术的程序谱构建模型 品规模增大和复杂度增加，要进行完全测试是不可 能的。正是由于测试用例设计的不完全、甚至不合 基于插桩技术的程序谱构建模型如图1所示。 理 ，导致测试覆盖率没有达到 100％。这些缺陷通 (1)对源程序进行插桩预处理，主要包括头文 常只在特定的环境下出现，难 以实现重现和定位。 件加载等，以及源程序编程风格的简单标准化，如在 但是这种缺陷一旦出现，对用户的影响往往是灾难 非最外层的程序块外加上一对大括号等。 性的。因此，通过某种有效的技术和手段，来快速获 (2)对插桩预处理后的程序进行双缓冲处理。 取完整的程序谱，进而进行软件测试覆盖分析、故障 将源程序代码读入到双缓冲区中，利用双缓冲机制 定位等是非常必要的。 能够很好地控制源程序读取时的前进和回退。 为了更好地满足软件测试覆盖分析、故障排除 (3)有穷 自动识别机处理，根据 c程序设计语 和定位、程序性能分析与优化领域等对高质量程序 言的特征，解析缓冲处理中的字符，识别插桩点。 谱的需求问题 J，研究了基于插桩技术的程序谱 (4)在插桩点处植入插桩探针，输 出插桩后的 构建方法 ，设计了一款 C源程序插桩工具。在保证 代码，即插桩代码。 C源程序逻辑完整性的基础上，在需要跟踪可执行 (5)编译、执行插桩后的程序代码，收集程序的 语句、函数或执行点等关键位置植入探针，生成插桩 执行结果和插桩探针的执行轨迹，构建完整的程 程序；然后重新编译、连接、生成可执行程序，通过程 序谱。 序和探针代码的执行，生成完整的程序谱。进而分 2 插桩关键技术 析程序谱信息，得到包括软件的覆盖率、内存状态， 2．1 插桩点的选择 2014年2月 14