[发明专利]一种SCADE软件模型复杂度计算方法在审
申请号: | 202211394696.1 | 申请日: | 2022-11-09 |
公开(公告)号: | CN115712564A | 公开(公告)日: | 2023-02-24 |
发明(设计)人: | 王坤;刘娟娟;戈珅钰;方蕴宇 | 申请(专利权)人: | 北京机电工程研究所 |
主分类号: | G06F11/36 | 分类号: | G06F11/36 |
代理公司: | 暂无信息 | 代理人: | 暂无信息 |
地址: | 100074 *** | 国省代码: | 北京;11 |
权利要求书: | 查看更多 | 说明书: | 查看更多 |
摘要: | |||
搜索关键词: | 一种 scade 软件 模型 复杂度 计算方法 | ||
1.一种SCADE软件模型复杂度计算方法,其特征在于,包括以下步骤:
确定SCADE软件模型中的模块数量和每个模块中与状态机处于同一层的方程数量;
判断是否存在状态机,若存在则记为1,若不存在则记为0;
确定状态机中的状态数、状态机中状态转移的路径数和状态机中方程数;
确定状态机之间嵌套关系的层级数L,若不存在嵌套,则L=1;
根据上述所有,确定SCADE软件模型复杂度计算公式为:其中,S表示一个状态机中的状态数量,T表示一个状态机中状态转移的路径数,表示一个状态机中所有状态中包含方程数的和,m表示一个模块中状态机的个数,n表示模型中模块的个数,B表示是否存在状态机,L表示一个模块中所有状态机之间嵌套关系的层级数,F表示一个模块中与顶层状态机在同一层的方程数量,D表示一个模块被调用的次数、FIO表示一个模块的输入输出总的数量。
2.一种介质,其特征在于,所述的介质存储权利要求1所述的一种SCADE软件模型复杂度计算方法。
3.一种SCADE软件模型,其特征在于,所述的SCADE软件模型使用权利要求1所述的一种SCADE软件模型复杂度计算方法进行复杂度计算。
该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于北京机电工程研究所,未经北京机电工程研究所许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服】
本文链接:http://www.vipzhuanli.com/pat/books/202211394696.1/1.html,转载请声明来源钻瓜专利网。