配置的「特性」視窗的檢查標籤,會列出所有可用的檢查。
關於這項作業
檢查標籤包含許多直欄,如下圖所示。
- 名稱說明要執行的檢查。例如,屬性與狀態的名稱相同會檢查屬性與狀態是否具有相同的名稱。依預設,會選取所有可能的檢查。若要排除某個檢查,請清除相應的勾選框。如果並非所有檢查皆已選取,而您要全部選取,請按一下全選按鈕。若要清除所有檢查(以方便只選取特定檢查),請按一下取消全選按鈕。
當名稱很長時,可以將滑鼠指標移動名稱上方,以在工具提示中查看其完整名稱。
- 網域指定搜尋模型的區域。您可以選取屬於任一網域的檢查,以限制檢查的範圍。可能的值如下:
- 類別模型會搜尋模型的建構組件。
- 狀態圖會搜尋模型的行為組件。
- 共用會搜尋模型的建構及行為組件。例如,預設名稱會檢查類別或狀態中的預設名稱。
- AR3x_BMT 搜尋 AR3x_BMT 網域。
- AUTOSAR 搜尋 AUTOSAR 網域。
- MicroC 搜尋 MicroC 網域。
- 可能有使用者定義的外部檢查中的其他網域。
- 嚴重性指定要檢查的條件是否會造成錯誤
、警告
或參考資訊 。
下列表格列出了導致產生程式碼停止的錯誤。
表 1. 導致產生程式碼停止的錯誤| 名稱衝突 |
- 屬性與狀態的名稱相同。
- 類別在不同子系統中的名稱相同。
- 事件及產生的狀態類別具有衝突的名稱。
- 事件與類別同名。
|
| 其他錯誤 |
- 存在沒有預設狀態的 OR 狀態。
- 分出至非正交狀態。
- 從非正交狀態結合。
- 參照無法解析的事件。
- 參照無法解析的關聯式類別。
- 參照無法解析的超類別。
- 對稱鏈結的前置條件失敗。
|
若要依直欄排序,請按一下直欄標頭。
您可以控制要執行的檢查。當您執行模型檢查時,產品會自動執行預先定義的產生程式碼檢查。
程序
若要指定要執行的檢查:
- 開啟模型。
- 將要檢查其程式碼之模型的配置,設定為作用中配置。(請參閱Setting the active configuration。)
- 開啟作用中配置的「特性」視窗,然後選取檢查標籤。執行下列一項動作:
- 選擇。
「特性」視窗將會開啟並選定檢查標籤。
- 從主瀏覽器中,按兩下作用中配置並選取檢查標籤。
- 視您要執行的動作而定:
- 若要選取所有檢查,請按一下全選按鈕。
- 若要取消選取所有檢查,以便您可以更輕鬆地選取所需檢查,請按一下取消全選按鈕,然後選取您要執行的檢查。
- 視需要而選取及清除檢查旁邊的勾選框。
- 在一個以上的檢查上按一下滑鼠右鍵,然後視需要選取選取、取消選取或反向選擇。
- 按一下確定。