[发明专利]一种基于子系统和数据恢复的Simulink测试方法

权利要求书

1.一种基于子系统和数据恢复的Simulink测试方法，其特征在于包括：

采用随机生成方式生成测试用例，建立测试用例集，收集用于扩大测试用例集的被测试软件的第三方使用案例；

对测试用例集中的所有测试用例进行预处理操作，对运行的测试用例进行基突变；

创建一个存储测试用例集内每个测试用例中所有模块类型前后连接关系的数据库；

采用蒙特卡罗马尔科夫链方式抽样选取测试集中的测试用例，将抽到的测试用例命名为原始测试用例；

复制原始测试用例生成新测试用例并命名为变体测试用例，并对变体测试用例进行变异操作；

对原始测试用例和生成的变体测试用例进行基于等效模输入的差分测试，同时记录出现错误的软件。

2.根据权利要求1所述的方法，其特征在于：对测试用例进行预处理操作时：逐个运行测试用例，收集测试用例中每个模块的执行覆盖信息并计算覆盖率百分比，将百分比为0的模块定义为死模块，将百分比大于0的模块定义为活模块。

3.根据权利要求1所述的方法，其特征在于：变异操作包括如下方式：

在变体测试用例中随机选择一个模块，在模块前后随机加入子系统模块，在加入的子系统模块中以分叉树的形式随机加入首尾相连的新模块；

在变体测试用例中随机选择一个模块，在被选择模块前后随机加入一对可编程模块，在可编程模块中编写实现数据恢复的代码，在两个可编程模块中间随机加入首尾相连的新模块；

在变体测试用例中随机选择一个模块，在被选择的模块前后随机加入一对可编程模块，在可编程模块中编写实现数据恢复的代码，在两个可编程模块中间随机加入首尾相连的新模块或子系统，如果生成的是子系统，则在加入的子系统中以分叉树的形式随机加入首尾相连的新模块。

4.根据权利要求3所述的方法，其特征在于：在加入新模块时包括如下方式：在测试用例中将选定模块的类型名作为关键词，输入预处理生成的模块类型，连接关系数据库得到已有的模块类型，根据已有的模块类型生成新模块；

随机从当前测试用例中已有的模块里抽取类型，并生成模块类型一致的新模块；

随机从被测软件提供的模块库中生成新模块。

5.根据权利要求3所述的方法，其特征在于：对原始测试用例和变体测试用例进行差分测试时：

运行生成的变体测试用例，记录运行过程中出现的异常，在被测软件其他编译模式下运行生成变体测试用例，记录运行过程中出现的异常；比较上述两种不同模式下变体测试用例的表现是否一致并记录不一致情况，运行原始测试用例和变体测试用例，记录两个测试用例的运行时间结果和运行数据结果，比较两个测试用例的运行时间结果和运行数据结果，记录不一致情况。

6.根据权利要求3所述的方法，其特征在于：创建模块类型前后连接关系的数据库时：在数据库中创建一张数据库空表用于记录前后连接关系数据，获取每个测试集中测试用例模型内所有模块的模块类型并命名为出发块，获取每个出发块对应模块所有数据输出端口的连接模块，并将模块类型命名为到达块，将出发块信息与到达块信息一一对应作为一条记录存入数据库中。