(19)国家知识产权局 (12)发明 专利 (10)授权公告 号 (45)授权公告日 (21)申请 号 202210812663.8 (22)申请日 2022.07.12 (65)同一申请的已公布的文献号 申请公布号 CN 114896824 A (43)申请公布日 2022.08.12 (73)专利权人 南昌航空大 学 地址 330063 江西省南昌市丰和南大道696 号 (72)发明人 肖鹏　聂嘉浩　张旭升　吴婷　 郑巍　 (74)专利代理 机构 北京清亦华知识产权代理事 务所(普通 合伙) 11201 专利代理师 何世磊 (51)Int.Cl. G06F 30/20(2020.01)G06F 11/36(2006.01) (56)对比文件 CN 104915 507 A,2015.09.16 CN 10215 6784 A,201 1.08.17 CN 112560269 A,2021.0 3.26 CN 108052744 A,2018.0 5.18 US 2013346055 A1,2013.12.26 WO 2008124038 A1,20 08.10.16 王西超等.基 于Rhapsody的飞控系统虚拟 样 机设计环境. 《振动.测试与诊断》 .2013,(第01 期), 郑春等.基 于SysML模块定义图的集成测试 序列生成方法. 《计算机 工程与设计》 .2016,(第 08期), 审查员 齐蓓蓓 (54)发明名称 联合仿真集成测试验证方法、 装置、 可读存 储介质及设备 (57)摘要 本发明公开了一种联合仿真集成测试验证 方法、 装置、 可读存储介质及设备， 针对航电系统 正向设计过程中， 存在全系统集成环境中 Rhapsody功能模型进行联合仿真测试困难的问 题， 设计出的一套以事件为 驱动的多模型联合仿 真的集成测试验证方法以及支撑环 境。 通过解析 Rhapsody功能模型， 并生成模型驱动程序， 配置 联合仿真模型连接Rhapsody工 具； 设计测试场景 模型并生成测试用例文件， 配置监听数据列表， 最终执行测试流程并记录。 该发 明的提出能有效 解决Rhapsody功能模型联合仿真中集成验证困 难问题， 显著提高测试验证自动化和智能化。 权利要求书3页 说明书15页 附图7页 CN 114896824 B 2022.10.11 CN 114896824 B 1.一种联合仿真集成测试验证方法， 其特 征在于， 包括， 提取各个Rhapsody功能模型的文件信息， 并根据提取到的文件信息生成所述Rhapsody 功能模型对应的模型驱动程序， 所述文件信息包括成员信息、 成员属性 值和成员状态信息； 在联合仿真环境中配置各个所述Rhapsody功能模型； 根据配置的各个所述Rhapsody功能模型的事件激励流程生成事件激励流程模型， 所述 事件激励流程模型为有向拓扑图模型， 其节点为步骤单元， 所述步骤单元包括数值先验单 元、 事件激励单元和数值后验单元， 所述事件激励单元配置了激励 事件和成员属性， 所述数 值先验单 元和所述数值后验单 元配置了消息验证预言； 在所述事件激励流程模型的有向拓扑图中选择一条连通的步骤序列， 以此生成相应的 测试用例； 配置监听数据列表， 所述监 听数据列表配置有监 听事项， 所述监 听事项包括激励事件、 成员属性、 状态信息， 以及事 件激励流 程模型所配置的所有激励数据和验证数据； 依据所述文件信 息中的成员状态信 息， 对联合仿真环境配置的所有成员节点进行状态 解析， 以生成状态迁移模型； 启动各个所述模型驱动程序， 以启动各个所述Rhapsody功能模型的联合仿真程序， 并 且启动状态迁移模型 的可视化程序， 以及启动监听线程， 以读取所述监听数据列表中监听 事项的信息； 执行所述测试用例， 并获取 所述监听数据列表中监听事项的信息 。 2.如权利要求1所述的联合仿真集成测试验证方法， 其特征在于， 所述提取各个 Rhapsody功能模型的文件信息的步骤 包括： 接入Rhapsody工具； 解析各个所述Rhapsody功能模型的工程路径信息， 以用于启动所述Rhapsody工具打开 工程； 解析各个所述Rhapsody功能模型的文件信息 。 3.如权利要求2所述的联合仿真集成测试验证方法， 其特征在于， 所述根据提取到的文 件信息生成所述Rhapsody功能模型对应的模型驱动程序的步骤 包括： 采用非侵入式的方式在所述Rhapsody工具自动生成的代码中插入状态迁移接口代码， 并重新编译生成Rhapsody功能模型； 解析工具根据提取到的文件信息， 生成模型驱动程序， 所述模型驱动程序作为 Rhapsody工具 联合仿真通信的桥梁， 需要实现以下接口： Rhapsody工具驱动接口， 用于启停Rhapsody功能模型； 激励事件触发接口， 用于触发激励事 件； 成员属性读写接口， 用于修改和读取Rhapsody成员的属性 值； 状态迁移信息发送接口， 该接口由非侵入式嵌入代码触发， 向外发送成员当前状态信 息。 4.如权利要求1所述的联合仿真集成测试验证方法， 其特征在于， 所述执行所述测试用 例的步骤之前还 包括： 解析所述测试用例， 以得到测试用例描述信息， 并根据测试用例描述信息生成测试字 典；权　利　要　求　书 1/3 页 2 CN 114896824 B 2所述获取 所述监听数据列表中监听事项的信息的步骤 包括： 根据所述测试字典 获取所述监听数据列表中监听事项的信息 。 5.如权利要求1所述的联合仿真集成测试验证方法， 其特征在于， 所述获取所述监 听数 据列表中监听事项的信息的步骤之后还 包括： 以事件激励流 程模型为单位， 统计所述事 件激励流 程模型的执 行情况； 以所述测试用例为单位， 统计所述测试用例的执 行情况。 6.如权利要求5所述的联合仿真集成测试验证方法， 其特征在于， 所述事件激励流程模 型的执行情况包括： 测试用例通过率、 步骤覆盖率、 路径 覆盖率、 总状态数、 覆盖状态数和状态 覆盖率； 所述测试用例的执 行情况包括： 所述测试用例的通过情况、 步骤覆盖率， 以及各个Rhapsody功能模型的状态 覆盖率。 7.一种联合仿真集成测试验证装置， 其特 征在于， 包括， 提取模块， 用于提取各个Rhapsody功能模型的文件信息， 并根据提取到的文件信息生 成所述Rhapsody功能模型对应的模型驱动程序， 所述文件信息包括成员信息、 成员属性值 和成员状态信息； 功能模型配置模块， 用于在联合仿真环境中配置各个所述Rhapsody功能模型； 事件激励流程模型生成模块， 用于根据配置的各个所述Rhapsody功能模型的事件激励 流程生成事件激励流程模型， 所述事件激励流程模型为有向拓扑图模型， 其节点为步骤单 元， 所述步骤单元包括数值先验 单元、 事件激励单元和数值后验单元， 所述事件激励单元配 置了激励事件和成员属性， 所述数值先验单 元和所述数值后验单 元配置了消息验证预言； 测试用例生成模块， 用于在所述事件激励流程模型的有向拓扑图中选择一条连通的步 骤序列， 以此生成相应的测试用例； 监听数据列表配置模块， 用于配置监听数据列表， 所述监听数据列表配置有监听事项， 所述监听事项包括激励 事件、 成员属性、 状态信息， 以及 事件激励流程模型所配置的所有激 励数据和验证数据； 状态迁移模型生成模块， 用于依据所述文件信息中的成员 状态信息， 对联合仿真环境 配置的所有成员节点进行状态解析， 以生成状态迁移模型； 启动模块， 用于启动各个所述模型驱动程序， 以启动各个所述Rhapsody功能模型的联 合仿真程序， 并且启动状态迁移模型的可视化程序， 以及启动监听线程， 以读取所述监听数 据列表中监听事项的信息； 执行模块， 用于执 行所述测试用例， 并获取 所述监听数据列表中监听事项的信息 。 8.如权利要求7所述的联合仿真集成测试验证装置， 其特征在于， 还包括统计模块， 用 于： 以事件激励流 程模型为单位， 统计所述事 件激励流 程模型的执 行情况； 以所述测试用例为单位， 统计所述测试用例的执 行情况。 9.一种计算机设备， 包括存储器、 处理器以及存储在所述存储器上并可在所述处理器 上运行的计算机程序， 其特征在于， 所述处理器执行所述计算机程序时实现如权利要求 1至 6中任意一项所述的联合仿真集成测试验证方法。 10.一种可读存储介质， 其上存储有计算机程序， 其特征在于， 该程序被处理器执行时权　利　要　求　书 2/3 页 3 CN 114896824 B 3