摘要：为了及时彻底地测试演进着的软件，提出了软件演进驱动的按需自动测试算法．首先，根据软件演进时源文件的文本更新，通过控制与数据依赖分析识别受影响的语义变化区域，再结合代码安全缺陷分析按需构造精简测试流图．接着，按需符号执行图中各条路径且缺陷关联路径优先，主动探测和求解缺陷触发条件以排除误报，在路径分支点按需克隆执行环境以避免路径前缀的重复执行，并及时求解路径条件以剪除不可行路径．最终，自动生成针对软件更新实现路径覆盖的精简测试例集合．目前已实现了测试工具原型，用其测试了多个开源软件，发现了OpenSSL代码中的真实缺陷．

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社