檢查 Harmony-SE 模型

您可以在產生程式碼之前檢查 Harmony-SE 模型。

程序

  1. 開啟想要檢查的 Harmony-SE 模型。
  2. 選取適當的元素:
    • 如果您想要檢查套件,請在瀏覽器上選取它。
    • 如果您想要檢查整個模型,請選取除了套件之外的元素。
  3. 選取工具 > SE 工具箱 > 模型檢查程式,以開啟模型檢查程式
  4. 語意檢查指引檢查SysML/Harmony 標籤上,選取您想要執行的檢查。 若要查看檢查的完整說明,請將滑鼠指標放置在檢查名稱上。
  5. 按一下執行模型檢查按鈕,以開始檢查模型。
  6. 選擇性的: 複查模型或套件的度量,並選取度量標籤。
  7. 如果找到任何錯誤或警告,或找到兩者,則錯誤標籤會往前移動。
    1. 按兩下錯誤或警告,以在瀏覽器中顯示有問題的元素。
    2. 如果您想要從目前檢查結果中,延遲所選取的錯誤或警告,請按一下延遲選取的錯誤延遲選取的警告按鈕。 延遲的錯誤會移至延遲的錯誤標籤。延遲的警告移至延遲的警告標籤。從這些標籤中,您可以移除延遲。當您再次執行檢查時,不會再次記載這些錯誤或警告。
    3. 如果您想要永久地延遲選取的錯誤或警告,請按一下延遲模型中的錯誤延遲模型中的警告按鈕。 這些延遲還會跳至適當的延遲錯誤延遲警告標籤,您可以從這些標籤中,移除延遲。永久地延遲的錯誤及警告具有標籤,以便未來檢查時,該錯誤或警告不會再次出現在結果中。
    4. 如果具有模型中無對應單元的檔案,請按一下移除孤立項目按鈕,以將它們移至個別資料夾中。
    5. 再次按一下執行模型檢查。包含結果的資訊檔案(例如,<name of your project>_Results.txt)位於模型檢查結果資料夾中。

    您可以將產生的模型統計資料放置在 .csv 檔案中。透過按一下取得模型統計資料按鈕,即可產生報告。處理完成時,按一下開啟專案資料夾按鈕。ModelComplexity.csv 檔案位於您的專案資料夾中。

    在執行檢查之後,您可以將檢查程式的結果匯出為其他文件格式。您可以選取工具 > 匯出為 <format>,以選取一種格式。
    註: 如果您想要設定 Microsoft Excel 或 Microsoft Word 的匯出選項,則需要安裝這些工具。如果您想要模型元素名稱顯示其完整範圍名稱,請選取工具選項 > 匯出完整名稱

回饋