建模规范检查方法及装置制造方法及图纸

本发明专利技术提供了建模规范检查方法及装置，该方法包括：将待检查建模规范中的每一条待检查的规范条款作为待检查项；针对每一项待检查项，从待检查模型中获取与该待检查项相匹配的待检查属性的属性设置内容。然后，将该待检查属性的属性设置内容与对应的设置要求进行对比，从而得到该待检查项的检查结果；依据待检查建模规范中每一条待检查项对应的检查结果，得到待检查模型针对该待检查建模规范的检查结果。该方法运行在创建模型的软件环境中，因此避免了利用第三方软件进行建模规范检查时不同软件之间的交互导致的问题定位的复杂性。且与Model Advisor工具相比，该方法能够针对规定的待检查建模规范中的任意一条建模规范进行检查。

【技术实现步骤摘要】
建模规范检查方法及装置
本专利技术属于软件
，尤其涉及建模规范检查方法及装置。
技术介绍
在汽车、工业控制、航空航天等行业，基于模型的设计(modelbaseddesign，MBD)的软件开发方式已经逐步替代传统的手工代码开发方式。在MBD领域，Matlab/Simulink/Stateflow作为通用化的建模与代码生成工具及其相关配套的工具链已经被应用到产品的开发中。在利用Matlab/Simulink/Stateflow搭建模型时，需要遵循相应的规范和法则，例如，汽车行业中，目前常用的建模规范包括Matlab的MAAB规范、汽车产业软件可靠性协会的MISRAACSLSF规范，以及，在这两个规范基础上衍生的一些公司级别的规范。目前，检查建模规范的方式主要有两种，一种是利用第三方软件进行模型分析，借助第三方软件进行建模规范检查是在第三方软件的运行环境中分析模型特性，不同软件之间的交互增加了模型特性分析过程中问题定位的复杂性；另一种是利用Matlab软件自带的静态模型检查工具ModelAdvisor进行建型规范检查，但该工具能够检查的建模规范有限，某些建模规范或某些建模规范条款不能利用该工具检查，因此，这两种检查建模规范的方式都存在一定的局限性。
技术实现思路
有鉴于此，本专利技术的目的在于提供一种建模规范检查方法，运行于Matlab运行环境中，且能够检查所有建模规范以及所有建模规范条款，其具体的技术方案如下：第一方面，本专利技术提供了一种建模规范检查方法，运行于创建模型的软件环境中，所述方法包括：确定待检查建模规范中任一条未检查的规范条款为待检查项，所述待检查建模规范是创建待检查模型时所要求使用的建模规范；获取所述待检查模型中与所述待检查项相匹配的待检查属性的属性设置内容；针对每一待检查项，将该待检查项相匹配的待检查属性对应的属性设置内容及设置要求进行对比，得到所述待检查模型针对该待检查建模规范的检查结果，所述待检查属性的设置要求通过分析所述待检查建模规范得到。可选地，所述针对每一待检查项，将该待检查项相匹配的待检查属性对应的属性设置内容及设置要求进行对比，得到所述待检查建模规范的检查结果，包括：针对每一待检查项，比较该待检查项相匹配的待检查属性的属性设置内容与该待检查属性的设置要求是否一致；如果所述待检查建模规范中全部待检查项对应的属性设置内容与设置要求均一致，则确定所述待检查模型针对所述待检查建模规范设置正确；如果所述待检查建模规范中任一待检查项对应的属性设置内容与设置要求不一致，则确定所述待检查模型针对所述待检查建模规范设置不正确。可选地，所述待检查项的类型包括：软件配置环境、待检查目标的属性和模块的使用情况，所述待检查目标包括模块、子系统和系统，所述待检查目标的属性包括所述待检查目标的属性设置情况和所述待检查目标的属性选择情况。可选地，所述待检查项的类型属于软件配置环境；所述获取所述待检查模型中与所述待检查项相匹配的待检查属性的属性设置内容，包括：获取所述待检查模型的模型名称，以及与所述待检查项相匹配的待检查属性的属性名称；基于所述模型名称和所述属性名称，从所述待检查模型中获取与所述待检查属性对应的属性设置内容。可选地，所述待检查项的类型属于待检查目标的属性；所述从所述待检查模型中获取与所述待检查属性对应的属性设置内容，包括：获取所述待检查模型的模型名称，以及与所述待检查项相匹配的待检查属性的属性名称；基于所述模型名称和所述属性名称，从所述待检查模型中获取包含所述属性名称的全部待检查目标的路径；基于所述待检查目标的路径和所述属性名称，从所述待检查模型中获取所述待检查属性对应的属性设置内容。可选地，所述待检查项的类型属于模块的使用情况；所述获取所述待检查模型中与所述待检查属性对应的属性设置内容，包括：获取所述待检查模型的模型名称，以及目标模块的属性名称，所述目标模块为所述待检查建模规范中不允许使用的模块；基于所述模型名称和所述属性名称，从所述待检查模型中获取包含所述目标模块的路径。可选地，所述基于所述模型名称和所述属性名称，从所述待检查模型中获取包含所述目标模块的路径，包括：基于所述模型名称获取所述待检查模型包含的全部模块类型；从所述全部模块类型中查找与所述目标模块的属性名称相匹配的模块所对应的路径。第二方面，本专利技术还提供了一种建模规范检查装置，该装置运行于创建模型的软件环境中，所述装置包括：确定模块，用于确定待检查建模规范中任一条未检查的规范条款为待检查项，所述待检查建模规范是创建待检查模型时所要求使用的建模规范；获取模块，用于获取所述待检查模型中与所述待检查项相匹配的待检查属性的属性设置内容；对比模块，用于针对每一待检查项，将该待检查项相匹配的待检查属性对应的属性设置内容及设置要求进行对比，得到所述待检查模型针对该待检查建模规范的检查结果，所述待检查属性的设置要求通过分析所述待检查建模规范得到。可选地，所述对比模块，包括：比较子模块，用于针对每一待检查项，比较该待检查项相匹配的待检查属性的属性设置内容与该待检查属性的设置要求是否一致；第一确定子模块，用于当所述待检查建模规范中全部待检查项对应的属性设置内容与设置要求均一致时，确定所述待检查模型针对所述待检查建模规范设置正确；第二确定子模块，用于当所述待检查建模规范中任一待检查项对应的属性设置内容与设置要求不一致时，确定所述待检查模型针对所述待检查建模规范设置不正确。可选地，所述待检查项的类型包括：软件配置环境、待检查目标的属性和模块的使用情况，所述待检查目标包括模块、子系统和系统，所述待检查目标的属性包括所述待检查目标的属性设置情况和所述待检查目标的属性选择情况。本专利技术提供的建模规范检查方法，将待检查建模规范中的每一条待检查的规范条款作为待检查项；针对每一项待检查项，从待检查模型中获取与该待检查项相匹配的待检查属性的属性设置内容。然后，将该待检查属性的属性设置内容与对应的设置要求进行对比，从而得到该待检查项的检查结果；依据待检查建模规范中每一条待检查项对应的检查结果，得到待检查模型针对该待检查建模规范的检查结果。该方法运行在创建模型的软件环境中，因此避免了利用第三方软件进行建模规范检查时不同软件之间的交互导致的问题定位的复杂性。而且，与ModelAdvisor工具相比，该方法利用上述过程能够针对规定的待检查建模规范中的任意一条建模规范进行检查。附图说明为了更清楚地说明本专利技术实施例或现有技术中的技术方案，下面将对实施例或现有技术描述中所需要使用的附图作简单地介绍，显而易见地，下面描述中的附图是本专利技术的一些实施例，对于本领域普通技术人员来讲，在不付出创造性劳动的前提下，还可以根据这些附图获得其他的附图。图1是本专利技术实施例提供的一种建模规范检查方法的流程图；图2是本专利技术实施例提供的一种获得待检查建模规范的检查结果过程的流程示意图；图3是本专利技术实施例提供的另一种建模规范检查方法的流程图；图4是本专利技术实施例提供的一种建模规范检查装置的框图；图5是本专利技术实施例提供的一种对比模块的框图。具体实施方式为使本专利技术实施例的目的、技术方案和优点更加清楚，下面将结合本专利技术实施例中的附图，对本专利技术实施例中的技术方案进行清楚、完整地描述，显然，所描述的实施例是本专利技术本文档来自技高网...

【技术保护点】
1.一种建模规范检查方法，其特征在于，运行于创建模型的软件环境中，所述方法包括：确定待检查建模规范中任一条未检查的规范条款为待检查项，所述待检查建模规范是创建待检查模型时所要求使用的建模规范；获取所述待检查模型中与所述待检查项相匹配的待检查属性的属性设置内容；针对每一待检查项，将该待检查项相匹配的待检查属性对应的属性设置内容及设置要求进行对比，得到所述待检查模型针对该待检查建模规范的检查结果，所述待检查属性的设置要求通过分析所述待检查建模规范得到。

【技术特征摘要】
1.一种建模规范检查方法，其特征在于，运行于创建模型的软件环境中，所述方法包括：确定待检查建模规范中任一条未检查的规范条款为待检查项，所述待检查建模规范是创建待检查模型时所要求使用的建模规范；获取所述待检查模型中与所述待检查项相匹配的待检查属性的属性设置内容；针对每一待检查项，将该待检查项相匹配的待检查属性对应的属性设置内容及设置要求进行对比，得到所述待检查模型针对该待检查建模规范的检查结果，所述待检查属性的设置要求通过分析所述待检查建模规范得到。2.根据权利要求1所述的方法，其特征在于，所述针对每一待检查项，将该待检查项相匹配的待检查属性对应的属性设置内容及设置要求进行对比，得到所述待检查建模规范的检查结果，包括：针对每一待检查项，比较该待检查项相匹配的待检查属性的属性设置内容与该待检查属性的设置要求是否一致；如果所述待检查建模规范中全部待检查项对应的属性设置内容与设置要求均一致，则确定所述待检查模型针对所述待检查建模规范设置正确；如果所述待检查建模规范中任一待检查项对应的属性设置内容与设置要求不一致，则确定所述待检查模型针对所述待检查建模规范设置不正确。3.根据权利要求1所述的方法，其特征在于，所述待检查项的类型包括：软件配置环境、待检查目标的属性和模块的使用情况，所述待检查目标包括模块、子系统和系统，所述待检查目标的属性包括所述待检查目标的属性设置情况和所述待检查目标的属性选择情况。4.根据权利要求3所述的方法，其特征在于，所述待检查项的类型属于软件配置环境；所述获取所述待检查模型中与所述待检查项相匹配的待检查属性的属性设置内容，包括：获取所述待检查模型的模型名称，以及与所述待检查项相匹配的待检查属性的属性名称；基于所述模型名称和所述属性名称，从所述待检查模型中获取与所述待检查属性对应的属性设置内容。5.根据权利要求3所述的方法，其特征在于，所述待检查项的类型属于待检查目标的属性；所述从所述待检查模型中获取与所述待检查属性对应的属性设置内容，包括：获取所述待检查模型的模型名称，以及与所述待检查项相匹配的待检查属性的属性名称；基于所述模型名称和所述属性名称，从所述待检查模型中获取包含所述属性名称的全部待检查目标的路径；基于所述待检查...

【专利技术属性】
技术研发人员：周秀文，张二宝，王枫，
申请(专利权)人：北京经纬恒润科技有限公司，
类型：发明
国别省市：北京,11