[发明专利]一种面向软件更新的软件测试方法和装置

摘要

本发明涉及一种面向软件更新的软件测试方法和装置。该方法通过使用基于目标的搜索策略来生成测试输入，以覆盖补丁的更改行和相关函数；该方法将软件补丁作为测试的潜在目标，通过在concolic执行中结合静态分析的优势以提高搜索潜在目标的效率，同时可以在测试过程中排除不感兴趣的代码部分，更加专注于与潜在目标最相关的那些路径。该方法不会探索候选列表中的所有分支，而是根据未测试的状态与目标之间的距离选择分支，将补丁的探索与补丁所在函数的探索结合起来，动态的调整搜索目标以对补丁所在的函数进行更全面的测试。本发明在减少探索路径的数量以及到达补丁相关代码的时间成本方面带来了重大改进。