检查 Harmony-SE 模型

您可以在生成代码之前检查 Harmony-SE 模型。

过程

  1. 打开要检查的 Harmony-SE 模型。
  2. 选择适当的元素:
    • 如果要检查包,请在浏览器中选择该包。
    • 如果要检查整个模型,请选择除包以外的元素。
  3. 选择工具 > SE-Toolkit > 模型检查器以打开模型检查器
  4. 语义检查准则检查SysML/Harmony 选项卡上选择要运行的检查。要查看某项检查的完整描述,请将鼠标指针移到检查名称上。
  5. 单击运行模型检查按钮以开始检查模型。
  6. 可选: 查看模型或包的度量值,选择度量选项卡。
  7. 如果找到任何错误和/或警告,那么错误选项卡将显示在前面。
    1. 双击错误或警告以在浏览器中显示有问题的元素。
    2. 如果要从当前检查结果中推迟选择的错误或警告,请单击推迟选择的错误推迟选择的警告按钮。 推迟的错误将转到推迟的错误选项卡。推迟的警告将转到推迟的警告选项卡。从这些选项卡中,您可以除去推迟项。再次运行检查时,将不再标记这些错误或警告。
    3. 如果要永久推迟选择的错误或警告,请单击在模型中推迟错误在模型中推迟警告按钮。 这些推迟项也将移入适用的推迟的错误推迟的警告选项卡中,从这些选项卡中,您可以除去推迟项。系统将对永久推迟的错误和警告作标记,因此,在将来执行的检查中,这些错误或警告不会再次在结果中出现。
    4. 如果某些文件在模型中没有相应的单元,请单击除去孤立项按钮将它们移入一个单独的文件夹。
    5. 再次单击运行模型检查。包含结果的信息文件(例如,<项目名称>_Results.txt)位于模型检查结果文件夹中。

    可以将模型的统计信息生成到 .csv 文件中。通过单击获取模型统计信息按钮,生成报告。处理完成后,单击打开项目文件夹按钮。ModelComplexity.csv 文件位于项目文件夹中。

    运行检查后,可以将检查器的结果导出为其他文档格式。可以选择工具 > 导出为<格式>以选择格式。
    注: 如果要设置 Microsoft Excel 或 Microsoft Word 的导出选项,需要先安装这些工具。如果要让模型元素名称显示它们的完整名称,请选择工具选项 > 导出全名

反馈