[发明专利]联合仿真集成测试验证方法、装置、可读存储介质及设备

权利要求书

1.一种联合仿真集成测试验证方法，其特征在于，包括，

提取各个Rhapsody功能模型的文件信息，并根据提取到的文件信息生成所述Rhapsody功能模型对应的模型驱动程序，所述文件信息包括成员信息、成员属性值和成员状态信息；

在联合仿真环境中配置各个所述Rhapsody功能模型；

根据配置的各个所述Rhapsody功能模型的事件激励流程生成事件激励流程模型，所述事件激励流程模型为有向拓扑图模型，其节点为步骤单元，所述步骤单元包括数值先验单元、事件激励单元和数值后验单元，所述事件激励单元配置了激励事件和成员属性，所述数值先验单元和所述数值后验单元配置了消息验证预言；

在所述事件激励流程模型的有向拓扑图中选择一条连通的步骤序列，以此生成相应的测试用例；

配置监听数据列表，所述监听数据列表配置有监听事项，所述监听事项包括激励事件、成员属性、状态信息，以及事件激励流程模型所配置的所有激励数据和验证数据；

依据所述文件信息中的成员状态信息，对联合仿真环境配置的所有成员节点进行状态解析，以生成状态迁移模型；

启动各个所述模型驱动程序，以启动各个所述Rhapsody功能模型的联合仿真程序，并且启动状态迁移模型的可视化程序，以及启动监听线程，以读取所述监听数据列表中监听事项的信息；

执行所述测试用例，并获取所述监听数据列表中监听事项的信息。

2.如权利要求1所述的联合仿真集成测试验证方法，其特征在于，所述提取各个Rhapsody功能模型的文件信息的步骤包括：

接入Rhapsody工具；

解析各个所述Rhapsody功能模型的工程路径信息，以用于启动所述Rhapsody工具打开工程；

解析各个所述Rhapsody功能模型的文件信息。

3.如权利要求2所述的联合仿真集成测试验证方法，其特征在于，所述根据提取到的文件信息生成所述Rhapsody功能模型对应的模型驱动程序的步骤包括：

采用非侵入式的方式在所述Rhapsody工具自动生成的代码中插入状态迁移接口代码，并重新编译生成Rhapsody功能模型；

解析工具根据提取到的文件信息，生成模型驱动程序，所述模型驱动程序作为Rhapsody工具联合仿真通信的桥梁，需要实现以下接口：

Rhapsody工具驱动接口，用于启停Rhapsody功能模型；

激励事件触发接口，用于触发激励事件；

成员属性读写接口，用于修改和读取Rhapsody成员的属性值；

状态迁移信息发送接口，该接口由非侵入式嵌入代码触发，向外发送成员当前状态信息。

4.如权利要求1所述的联合仿真集成测试验证方法，其特征在于，所述执行所述测试用例的步骤之前还包括：

解析所述测试用例，以得到测试用例描述信息，并根据测试用例描述信息生成测试字典；

所述获取所述监听数据列表中监听事项的信息的步骤包括：

根据所述测试字典获取所述监听数据列表中监听事项的信息。

5.如权利要求1所述的联合仿真集成测试验证方法，其特征在于，所述获取所述监听数据列表中监听事项的信息的步骤之后还包括：

以事件激励流程模型为单位，统计所述事件激励流程模型的执行情况；

以所述测试用例为单位，统计所述测试用例的执行情况。

6.如权利要求5所述的联合仿真集成测试验证方法，其特征在于，所述事件激励流程模型的执行情况包括：

测试用例通过率、步骤覆盖率、路径覆盖率、总状态数、覆盖状态数和状态覆盖率；

所述测试用例的执行情况包括：

所述测试用例的通过情况、步骤覆盖率，以及各个Rhapsody功能模型的状态覆盖率。