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

说明书

本发明公开了一种联合仿真集成测试验证方法、装置、可读存储介质及设备，针对航电系统正向设计过程中，存在全系统集成环境中Rhapsody功能模型进行联合仿真测试困难的问题，设计出的一套以事件为驱动的多模型联合仿真的集成测试验证方法以及支撑环境。通过解析Rhapsody功能模型，并生成模型驱动程序，配置联合仿真模型连接Rhapsody工具；设计测试场景模型并生成测试用例文件，配置监听数据列表，最终执行测试流程并记录。该发明的提出能有效解决Rhapsody功能模型联合仿真中集成验证困难问题，显著提高测试验证自动化和智能化。

技术领域

本发明涉及数据处理领域，特别是涉及一种联合仿真集成测试验证方法、装置、可读存储介质及设备。

背景技术

随着系统软件的规模越来越大，复杂程度越来越高，基于文档描述的开发方式由于采用自然语言描述需求、设计，导致不同软件工程师对需求和技术规范的理解难免存在偏差，给项目开发带来诸多歧异性隐患。相关资料表明，在需求分析阶段产生的错误占整个开发错误的50%以上。基于文档的开发方式已难以解决研制成本高、系统质量差的问题。

基于模型的系统开发方法采用建模与仿真，能将具有不同工程背景的工程师建立更好的联系，解决了开发高度集中、复杂系统的经济性和高效问题，逐渐成为业界主流。当前，采用基于模型的系统设计方法已经成为复杂系统正向设计过程中的一项主要工程活动，在该活动中系统的需求、设计、仿真、测试工作都需要基于模型开展。

IBM Rational Rhapsody(后简称Rhapsody)是当前高安全高可靠行业领域，如航空航天、轨道交通、核工业领域，广泛采用的基于模型解决方案，该软件提供符合工业标准的可视图形的集成环境，提供从系统设计到软件设计无缝连接。特别是通过形式化描述Rhapsody功能模型，支持在软件需求分析与设计过程中，通过对图形化模型进行仿真执行，可实现早期系统需求与设计的分析验证。

对于一个包含多个配置项的大型复杂系统，往往由多个子系统构成。在全系统的验证过程中，一个重要的活动是将多个不同类型的子系统Rhapsody功能模型进行联合仿真，以尽早暴露系统在设计集成过程中的缺陷与不足。但是，多个Rhapsody功能模型联合仿真验证过程中，模型与模型之间需要相互扮演外部参与者的角色，导致各个Rhapsody功能模型之间存在复杂的交互关系。除此之外，Rhapsody功能模型本身存在繁杂的业务逻辑和分支流程。模型联合仿真中的模型类别和数量上差异，均会导致构建的联合仿真环境出现显著区别。而一次模型联合仿真过程可能需要设计不同的外部参与者模型触发上百个激励事件，全系统模型在集成过程中的配置繁琐、操作困难、自动化程度低、测试效率不高的问题较为突出。

目前对Rhapsody模型的测试验证工具与手段本身较为缺乏，如何解决Rhapsody功能模型联合仿真验证的测试过程控制，对外部参与者激励事件如何触发、状态信息如何获取、测试过程如何自动化和仿真结果如何评估，均是目前亟待解决的关键问题。

发明内容

鉴于上述状况，有必要针对现有技术中对Rhapsody模型的测试验证工具与手段本身较为缺乏的问题，提供一种联合仿真集成测试验证方法、装置、可读存储介质及设备。

一种联合仿真集成测试验证方法，包括，

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

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

根据配置的各个所述Rhapsody功能模型的事件激励流程生成事件激励流程模型，所述事件激励流程模型为有向拓扑图模型；

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