[发明专利]一种基于谓词依赖图的EFSM可执行测试序列生成方法

摘要

本发明公开了一种基于谓词依赖图的EFSM可执行测试序列生成方法，该方法对已有的可执行分析树方法进行了分析和改进，在旧方法基础上加入了引导生成测试序列的思想。本发明通过深度挖掘EFSM模型中变迁之间的依赖关系，通过构造EFSM模型的谓词依赖图可视化的显示模型变迁之间可执行性的相互影响，通过量化变迁的可执行预测值来引导可执行分析树的搜索过程，进而引导生成可执行测试序列。故本发明方法能够有效的避免状态爆炸的问题，且在测试序列生成的稳定性上面有较大提高。

主权项

一种基于谓词依赖图的EFSM可执行测试序列生成方法，包括如下步骤：(1)分析EFSM中各变迁涉及的变量类型及变量使用类型；(2)对于EFSM中的任一赋值使用类型的变迁，确定与其存在数据依赖关系的变迁，使存在数据依赖关系的两个变迁构成谓词依赖对，且令谓词依赖对中赋值使用类型的变迁为头变迁，另一变迁为尾变迁；依此遍历EFSM中的所有赋值使用类型的变迁，并建立EFSM的谓词依赖图；(3)分析谓词依赖对的三重属性：即头变迁涉及的变量类型和赋值运算符类型以及尾变迁涉及的谓词判断符类型；(4)建立谓词依赖矩阵M，根据谓词依赖对的三重属性从谓词依赖矩阵M中提取谓词依赖对所对应的谓词依赖预测值；(5)根据谓词依赖预测值，计算谓词依赖图中每个变迁的可执行预测值；(6)从EFSM中任选一个状态作为初始状态，以该初始状态为根节点构建EFSM的可执行分析树，并对可执行分析树进行路径搜索：当从可执行分析树中搜索到一条变迁且初始状态到该变迁尾状态的路径满足用户的覆盖要求，即终止搜索，并输出该路径作为EFSM的可执行测试序列。