[发明专利]一种基于程序变异的Simulink模型验证方法

权利要求书

1.一种基于程序变异的Simulink模型验证方法，其特征在于,包括以下步骤：

步骤1、将待验证的Simlink模型记为P；按照选定的用例设计方法，设计测试用例集T，并将T运行在P上，按照运行生成结果形成P(T)；

步骤2、按照选定的变异算子类型，设计相应的变异算子，并由该变异算子运行在被测Simlink模型P上，形成变异模型集合L；

步骤3、在所有变异模型集合L中选择一个未被标记为已执行的变异模型M；

步骤4、在测试用例集合T中，选取一个未被标记为已执行过的测试用例t，并在M上运行，运行结果记为M(t)；并将t标记为已执行；M标记为已执行；

步骤5、对比P(T)和M(t)结果；

步骤6、测试用例集T中没有任何一个未执行过的t可以将M杀死，则将M重新放回变异模型集合L中；

步骤7、检查变异模型集合L，是否为空，进行相应操作。

2.根据权利要求1所述的一种基于程序变异的Simulink模型验证方法，所述选定的用例设计方法包括但不限于功能分解、等价类划分、边界值分析。

3.根据权利要求1所述的一种基于程序变异的Simulink模型验证方法，所述变异算子类型包括但不限于语句变异、运算符变异、变量变异、常量变异。

4.根据权利要求1所述的一种基于程序变异的Simulink模型验证方法，所述步骤5对比P(T)和M(t)结果具体为：

步骤5-1、如果P(T)等于M(t)，则选取下一个未被标记为为已执行的测试用例t，重复步骤4；

步骤5-2、如果P(T)不等于M(t)，则称为用例t杀死了变异模型M，并将M由L中移除，添加至被杀死的变异模型集合D中。

5.根据权利要求1所述的一种基于程序变异的Simulink模型验证方法，所述步骤7检查变异模型集合L，是否为空具体为：

步骤7-1：若不空，则测试变异模型L与原始模型P之间等价性，并从L中剔除等价模型，缩减L规模，并重新设计测试用例T，重复步骤1；

步骤7-2：若空，测试退出。