基于Eclipse CDT的程序修改与信息提取技术

摘要

软件白盒测试中，需要对待测程序的结构进行分析，根据不同的覆盖策略，设计不同功能的探针函数并确定合适的插入点。同时，为了完成插装、保证搜集到正确的被测程序执行信息，便于统计执行结果以及输出测试报告，还需要进行程序结构的调整、辅助信息的添加等程序修改以及信息的提取操作。