Checking your Harmony-SE models

You can check your Harmony-SE model before generating code.

Procedure

  1. Open the Harmony-SE model you want to check.
  2. Select the appropriate elements:
    • If you want to check a package, select it on the browser.
    • If you want to check the whole model, select an element other than a package.
  3. Select Tools > SE-Toolkit > Model Checker to open the Model Checker.
  4. Select the checks you want to run on the Semantic Checks, Guideline Checks, and SysML/Harmony tabs. To see a full description for a check, place your mouse pointer over the check name.
  5. Click the Run Model Check button to start checking the model.
  6. Optional: Review the metrics for your model or package, select the Metrics tab.
  7. If any errors or warnings or both are found, the Errors tab moves forward.
    1. Double-click an error or warning to show the element in question in the browser.
    2. If you want to defer the selected error or warning from the current check results, click the Defer Selected Error(s) or Defer Selected Warning(s) button. Deferred errors go to the Deferred Errors tab. Deferred warnings go to the Deferred Warnings tab. From these tabs, you can remove the deferments. When you run the checking again, these errors or warnings are not noted again.
    3. If you want to permanently defer the selected error or warning, click the Defer error in model or Defer warning in model button. These deferments also go to the applicable Deferred Errors or Deferred Warnings tab, and from these tabs, you can remove the deferments. Errors and warnings that are permanently deferred are tagged so that in future checking, the error or warning does not appear again in the results.
    4. If there are files that have no corresponding unit in the model, click the Remove Orphans button to move them to a separate folder.
    5. Click Run Model Check again. The information file containing the results, for example, <name of your project>_Results.txt is in the Model Check Results folder.

    You can generate statistics for your model into a .csv file. You generate the report, by clicking the Get Model Statistics button. When processing is done, click the Open Project Folder button. The ModelComplexity.csv file is located in your project folder.

    After you have run a check, you can export the results of the checker, to other document formats. You can select Tools > Export to <format> to select a format.
    Note: If you want to set export options for Microsoft Excel or Microsoft Word, you need these tools installed. If you want model element names to show their fully scoped names, select Tools Options > Export full names.

Feedback