【技术实现步骤摘要】
本专利技术涉及可信软件形式化设计领域，特别涉及一种状态机图转换方法、装置、电子设备及存储介质。
技术介绍
1、现代信息社会对于计算机系统的依赖逐渐上升，而很大一部分计算机系统缺陷是由于软件问题而引发的，对于安全软件，传统的测试方法难以达到零缺陷、高可信标准。为解决这样的难题，形式化方法提出通过数学建模和严格的数学证明来设计出高可信软件，但不同的专业模型检测工具都自有一套语法与规则，不管是建模还是证明，学习成本很高。
2、为了提高建模的效率，行业内使用自动化工具进行辅助建模和证明已成为一种趋势，业内目前的建模主要是在大型商业软件的集成开发环境上进行，图形化程度高，支持语义丰富，但是操作流程复杂，图形描述不通用，对平台依赖程度高，仅支持特定的专业模型检测工具，若要切换到其他工具需在别的集成开发环境中重新建模，建模与验证的效率低。
3、因此，开发一种能够将uml状态机图转换为通用的自动机描述文本，从而实现在不同专业模型检测工具上多次运行和验证，提高软件建模与验证效率的状态机图转换方法、装置、电子设备及存储介质，是目前可...
【技术保护点】
1.一种状态机图转换方法，其特征在于，所述方法包括：
2.根据权利要求1所述的状态机图转换方法，其特征在于，所述UML状态机图的构建方法包括：
3.根据权利要求2所述的状态机图转换方法，其特征在于，若干个所述节点包括状态机节点、状态节点、中间态节点，所述设置若干个所述节点，对每个所述节点进行配置，使其表征状态机、所述状态机的状态、所述连接边之间的连接关系中的任意一种，包括：
4.根据权利要求3所述的状态机图转换方法，其特征在于，若干个中间态节点包括连接节点、拆分节点、合并节点、选择节点，所述设置中间态节点，对所述中间态节点的输入端和...
【技术特征摘要】
1.一种状态机图转换方法，其特征在于，所述方法包括：
2.根据权利要求1所述的状态机图转换方法，其特征在于，所述uml状态机图的构建方法包括：
3.根据权利要求2所述的状态机图转换方法，其特征在于，若干个所述节点包括状态机节点、状态节点、中间态节点，所述设置若干个所述节点，对每个所述节点进行配置，使其表征状态机、所述状态机的状态、所述连接边之间的连接关系中的任意一种，包括：
4.根据权利要求3所述的状态机图转换方法，其特征在于，若干个中间态节点包括连接节点、拆分节点、合并节点、选择节点，所述设置中间态节点，对所述中间态节点的输入端和输出端进行配置，使其表征若干个所述连接边之间的连接关系，包括：
5.根据权利要求4所述的状态机图转换方法，其特征在于，若干个所述通用组件包括记录组件、约束组件、信息组件、活动组件，所述设置若干个所述通用组件，对每个所述通用组件进行配置，使其表征所述状态机的上下文声明、所述状态机的恒定条件、所述状态迁移事件的守卫条件、所述状态迁移事件的作用效果中的任意一种，得到所述uml状态机图，包括：
6.根据权利要求1所述的状态机图转换方法，其特征在于，所述基于所述uml状态机图的属性信息，构建总体描述，包括：...
【专利技术属性】
技术研发人员：刘家宁，杨奕堃，黄永平，徐兴民，蔡文貌，
申请(专利权)人：中汽创智科技有限公司，
类型：发明
国别省市：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。