[发明专利]一种SCADE软件模型复杂度计算方法

说明书

本发明提供一种SCADE软件模型复杂度计算方法，确定SCADE软件模型中的模块数量和每个模块中与状态机处于同一层的方程数量；判断是否存在状态机，若存在则记为1，若不存在则记为0；确定状态机中的状态数、状态机中状态转移的路径数和状态机中方程数；确定状态机之间嵌套关系的层级数L，若不存在嵌套，则L＝1；确定SCADE软件模型复杂度计算公式。本发明能够解决软件模型驱动开发过程中，事后衡量建模工程师工作量、事后评价模型质量，以及事前估计模型验证工作量时对SCADE软件模型复杂度计算困难的问题。

技术领域

本发明属于面向基于SCADE工具的软件模型驱动开发技术领域，具体涉及一种SCADE软件模型复杂度计算方法。

背景技术

目前模型驱动开发(MBD)领域运用的主流工具有SCADE、MATLAB等，而SCADE工具套件中Suite工具主要是面向高可靠高安全领域的嵌入式软件建模。本发明就是在运用SCADESuite工具对软件进行建模的基础上开展的相关拓展应用。

由于MBD技术的应用，在软件研制过程中，引入了“模型”这一全新的配置项元素。与软件文档、软件代码类似，软件模型是软件研制过程中重要的阶段性工作产品。软件模型是软件设计人员根据软件需求，对软件开展的详细设计过程的产物，设计人员能够基于该模型开展需求的验证、性能分析、代码自动生成等后续工作。

当建模工作结束，需要开展对模型的质量评估、建模工作量评估以及对模型验证的工作量进行评估时，模型的复杂度就成为了上述评估和验证工作的一项重要指标。目前该领域暂时还没有一种针对SCADE Suite模型复杂度度量的方法。

发明内容

本发明的目的在于克服现有技术中的不足，提供一种SCADE软件模型复杂度计算方法。本发明方案能够解决上述现有技术中存在的问题。

本发明的技术解决方案：

根据第一方面，提供一种SCADE软件模型复杂度计算方法，包括以下步骤：

确定SCADE软件模型中的模块数量和每个模块中与状态机处于同一层的方程数量；

判断是否存在状态机，若存在则记为1，若不存在则记为0；

确定状态机中的状态数、状态机中状态转移的路径数和状态机中方程数；

确定状态机之间嵌套关系的层级数L，若不存在嵌套，则L＝1；

根据上述所有，确定SCADE软件模型复杂度计算公式为：其中，S表示一个状态机中的状态数量，T表示一个状态机中状态转移的路径数，表示一个状态机中所有状态中包含方程数的和，m表示一个模块中状态机的个数，n表示模型中模块的个数，B表示是否存在状态机，L表示一个模块中所有状态机之间嵌套关系的层级数，F表示一个模块中与顶层状态机在同一层的方程数量，D表示一个模块被调用的次数、F_IO表示一个模块的输入输出总的数量。

根据第二方面，提供一种介质，所述的介质存储所述的一种SCADE软件模型复杂度计算方法。

根据第三方面，提供一种SCADE软件模型，其特征在于，所述的SCADE软件模型使用所述的一种SCADE软件模型复杂度计算方法进行复杂度计算。

本发明与现有技术相比的有益效果：

本发明通过对一种SCADE软件模型复杂度影响因素的分析和选取，获得一种SCADE软件模型复杂度的计算方法，能够解决软件模型驱动开发过程中，事后衡量建模工程师工作量、事后评价模型质量，以及事前估计模型验证工作量时对SCADE软件模型复杂度计算困难的问题。

附图说明