一种信息物理融合系统的测试及需求满足性检验的方法技术方案

本发明专利技术公开了一种信息物理融合系统的测试及需求满足性检验的方法，其特征是，包括如下步骤：1）明确用户需求；2）根据用户需求进行建模；3）扩展问题图；4）根据因果关系生成因果关系链；5）生成测试序列；6）生成CSP脚本。这种方法采用因果关系在需求建模中找到多条因果关系链，能将复杂的需求拆分为多个子需求，从而简化了问题的规模、并且把需求可满足性的验证通过数学公式进行验证，既严谨又可以提高自动化程度。

【技术实现步骤摘要】
一种信息物理融合系统的测试及需求满足性检验的方法
本专利技术涉及软件工程领域中需求分析技术，具体是一种信息物理融合系统的测试及需求满足性检验的方法。
技术介绍
信息物理融合系统(Cyber-PhysicalSystem，简称CPS)是一系列计算进程和物理进程组进的紧密集成，通过计算进程和物理进程相互影响的反馈循环实现深度融合和实时交互，以监控物理实体的运行，而物理实体又借助于网络和计算组件实现对环境的感知和控制。根据功能和所属领域的不同，将CSP系统一体化模型可以划分为物理实体，计算实体和交互实体三部份。由于现在是大数据时代，信息物理融合系统越来越复杂，而单一的计算领域或控制领域的建模仿真工具难以满足其系统异构性的要求。目前的一些研究都是把异质模型融合技术实现信息物理融合计算系统和物理系统的融合。例如：UML、Modelica及Simulink等建模语言基础上进行建模元素的扩展。目前的信息物理融合系统的建模技术和仿真技术，体现了在CPS系统仿真验证技术上的一些进步，但是还远不能满足大型的CPS系统设计过程中的仿真验证需要。对CPS系统的设计需要有一套方法，贯穿需求文档获取，到需求分析本文档来自技高网...

【技术保护点】
一种信息物理融合系统的测试及需求满足性检验的方法，其特征是，包括如下步骤：1)明确用户需求：分析用户需求之间的共享现象，以及共享现象间的因果关系，结合需求背后的真实场景，明白系统的业务流程；2)根据用户需求进行建模：采用问题框架对用户需求进行建模，用问题框架建模绘制出来的模型图也称为问题图，它是由一组机器领域、问题领域和需求组成，明确的表达出计算组件和物理组件之间的交互关系；3)扩展问题图：给问题图添加因果关系属性和约束属性，扩展所设计的问题图，将各共享现象之间的因果关系也表现在问题图中，同时将真实场景中可能遇到的约束用表达式描述方式添加到问题图中，定义：向问题图中的机器领域添加的因果关系属性...

【技术特征摘要】
1.一种信息物理融合系统的测试及需求满足性检验的方法，其特征是，包括如下步骤：1)明确用户需求：分析用户需求之间的共享现象，以及共享现象间的因果关系，结合需求背后的真实场景，明白系统的业务流程；2)根据用户需求进行建模：采用问题框架对用户需求进行建模，用问题框架建模绘制出来的模型图也称为问题图，它是由一组机器领域、问题领域和需求组成，明确的表达出计算组件和物理组件之间的交互关系；3)扩展问题图：给问题图添加因果关系属性和约束属性，扩展所设计的问题图，将各共享现象之间的因果关系也表现在问题图中，同时将真实场景中可能遇到的约束用表达式描述方式添加到问题图中，定义：向问题图中的机器领域添加的因果关系属性的值为共享现象a导致共享现象b，记为a->b，约束属性的值为共享现象a需要满足的条件，假设共享现象a中是用户指令，仅当共享现象a满足条件用户指令才会发出；4)根据因果关系生成因果关系链：因果关系链是由机器领域和需求之间多个共享现象组成的集合，且集合中的相邻元素之间存在相同方向的因果关系，根据扩展后的问题图，可以从问题图中得出因果关系链，过程如下所述：若问题图中有一个共享现象a导致另一个共享现象b，且共享现象b导致共享现象...

【专利技术属性】
技术研发人员：李智，付昌兰，张晓，赵子岩，禹月昆，王超，
申请(专利权)人：广西师范大学，
类型：发明
国别省市：广西,45