指定要執行的檢查

配置的「特性」視窗的檢查標籤,會列出所有可用的檢查。

關於這項作業

檢查標籤包含許多直欄,如下圖所示。

「配置」視窗,「檢查」標籤
表 1. 導致產生程式碼停止的錯誤
名稱衝突
  • 屬性與狀態的名稱相同。
  • 類別在不同子系統中的名稱相同。
  • 事件及產生的狀態類別具有衝突的名稱。
  • 事件與類別同名。
其他錯誤
  • 存在沒有預設狀態的 OR 狀態。
  • 分出至非正交狀態。
  • 從非正交狀態結合。
  • 參照無法解析的事件。
  • 參照無法解析的關聯式類別。
  • 參照無法解析的超類別。
  • 對稱鏈結的前置條件失敗。

若要依直欄排序,請按一下直欄標頭。

您可以控制要執行的檢查。當您執行模型檢查時,產品會自動執行預先定義的產生程式碼檢查。

程序

若要指定要執行的檢查:

  1. 開啟模型。
  2. 將要檢查其程式碼之模型的配置,設定為作用中配置。(請參閱Setting the active configuration。)
  3. 開啟作用中配置的「特性」視窗,然後選取檢查標籤。執行下列一項動作:
    • 選擇工具 > 檢查模型 > 配置
      「特性」視窗將會開啟並選定檢查標籤。
    • 從主瀏覽器中,按兩下作用中配置並選取檢查標籤。
  4. 視您要執行的動作而定:
    • 若要選取所有檢查,請按一下全選按鈕。
    • 若要取消選取所有檢查,以便您可以更輕鬆地選取所需檢查,請按一下取消全選按鈕,然後選取您要執行的檢查。
    • 視需要而選取及清除檢查旁邊的勾選框。
    • 在一個以上的檢查上按一下滑鼠右鍵,然後視需要選取選取取消選取反向選擇
  5. 按一下確定

意見回饋