[发明专利]一种SCADE软件模型复杂度计算方法在审
申请号: | 202211394696.1 | 申请日: | 2022-11-09 |
公开(公告)号: | CN115712564A | 公开(公告)日: | 2023-02-24 |
发明(设计)人: | 王坤;刘娟娟;戈珅钰;方蕴宇 | 申请(专利权)人: | 北京机电工程研究所 |
主分类号: | G06F11/36 | 分类号: | G06F11/36 |
代理公司: | 暂无信息 | 代理人: | 暂无信息 |
地址: | 100074 *** | 国省代码: | 北京;11 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | 本发明提供一种SCADE软件模型复杂度计算方法,确定SCADE软件模型中的模块数量和每个模块中与状态机处于同一层的方程数量;判断是否存在状态机,若存在则记为1,若不存在则记为0;确定状态机中的状态数、状态机中状态转移的路径数和状态机中方程数;确定状态机之间嵌套关系的层级数L,若不存在嵌套,则L=1;确定SCADE软件模型复杂度计算公式。本发明能够解决软件模型驱动开发过程中,事后衡量建模工程师工作量、事后评价模型质量,以及事前估计模型验证工作量时对SCADE软件模型复杂度计算困难的问题。 | ||
搜索关键词: | 一种 scade 软件 模型 复杂度 计算方法 | ||
【主权项】:
暂无信息
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于北京机电工程研究所,未经北京机电工程研究所许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/patent/202211394696.1/,转载请声明来源钻瓜专利网。