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