 |
介紹 |
ECLAIR的主要功能：
- 編碼標準的自動檢查：ECLAIR支持自動檢查一些廣泛使用的編碼標準的符合性，包括
MISRA-C:1998、MISRA-C:2004、MISRA C:2012、MISRA C++:2008等；
- 不需要編寫編譯器特定的文件
- 報告自動生成：ECLAIR可配置為自動生成符合合同義務(wù)和工業(yè)標準(如ISO 26262)的合規(guī)報告。
- 強大的圖形化人機界面，ECLAIR支持的所有驗證任務(wù)都可以通過方便的圖形用戶界面逐步指定和細化
- 嵌入式C代碼規(guī)則檢查
- HIS代碼度量：ECLAIR可以提供關(guān)于代碼的全面的度量，包括HIS源代碼度量，文檔定義的基本集，以及SQALE Method質(zhì)量模型的許多需求。
- 檢查溢出、除零、空指針、死循環(huán)等常見bug
|
BUGSENG_ECLAIR產(chǎn)品資料