1、 文檔目標(biāo)
本文講述如何在Klowork客戶端的界面中導(dǎo)入相應(yīng)的規(guī)則包并且同步至Validate。
2、軟件環(huán)境
1)、軟件版本:Klocwork 2024.4 Validate 2024.4
3、操作指導(dǎo)
1)、使用kwgcheck 打開KW工程、選擇File、 Open project...

2)、點(diǎn)擊Tools、打開Preferences

3)、點(diǎn)擊Analysis Configuration、Configuration Files 再點(diǎn)擊 Import...選擇需要的規(guī)則包進(jìn)行添加。

4)、點(diǎn)擊Issues,選擇Taxonomy filter找到MISRA C2023 進(jìn)行規(guī)則配置。

5)、根據(jù)下列命令創(chuàng)建項(xiàng)目并分析上傳結(jié)果。(需build license)
kwadmin --url http://localhost:8085/ create-project KW_S32K
kwbuildproject --url http://localhost:8085/KW_S32K --tables-directory kwinject.out
kwadmin --url http://localhost:8085/ load KW_S32K /my_tables
6)、在Validate 服務(wù)器上打開KW_S32K項(xiàng)目,在 Configuration內(nèi)看到規(guī)則已上傳,若在該界面內(nèi)修改規(guī)則,連接至該項(xiàng)目的KW工程規(guī)則會(huì)同步修改。


首頁(yè) > 資源中心 > FAQ
