一种基于扩展有限状态机可行路径分析的测试用例自动生成方法

摘要

一种自动化测试用例生成方法，基于扩展有限状态机可行路径分析，由于不可行路径的存在使得扩展有限状态机模型中生成测试用例仍然是一个难题，本发明通过路径可行性分析尽可能的避开不可行路径、自动化的生成测试用例和创建测试预言。特征是结合了静态分析和动态分析技术来找到一个较小的可行路径集合达到指定的路径覆盖准则，此外还给出了路径可行性评估策略，开发了可执行模型，通过运行时信息反馈和分散搜索ScatterSearch技术来自动生成测试数据和创建测试预言。静态和动态两种可行性分析技术的结合大大提高了测试用生成的效率，实际应用中可以减少测试过程的代价，提高软件测试的质量。