QAC/QAC++是英國編程研究公司（Programming Research Ltd）專業進行C和C++語言規則的檢查工具，在十幾年里，QAC/QAC++產品一直處于靜態編程規則檢查領域的領先地位，PRL公司有多名專家參與MISRA和其它標準的起草和編寫工作。PRL公司積累了深厚的經驗，因為其對編程語言的理解非常精深，其產品在汽車、通信、航天航空、軍工等領域擁有大量的用戶。QAC/QAC++以其能全面而準確的發現軟件中存在的潛在問題的能力得到客戶的認可和贊賞。

功能特點

QAC/QAC++能夠對C/C++代碼規則進行自動檢查，報告所違反的編程標準和準則。通過QAC/QAC++的使用可以減少代碼審查所需的時間，使軟件設計師在開發階段的就可以避免代碼中的問題，提高代碼的質量，縮短后期動態測試的周期。

QAC/QAC++產品界面簡潔直觀，操作和使用非常簡單，建立工程之后直接加入代碼就可以進行分析，能夠發現1200多種C語言問題、800多種C++的問題，可以支持所有編譯器的擴展、配置簡單靈活，分析速度非?？?，分析報告可以是excel、word、pdf、圖表等多種形式，在線幫助相關聯，可以及時得到問題的解釋和示例。

QAC/QAC++支持多種編程標準(ISO，MISRA C，JVF，EC++等)，也支持多種其它行業編程規則。QAC/QAC++提供了編程規則的二次開發接口，允許添加其它的自定義的編程規則。

QAC/QAC++能夠提供另外兩種靜態分析的能力：軟件結構分析和質量度量.

軟件結構分析包括：函數控制結構圖、函數調用樹、數據引用關系圖，文件包含關系。

質量度量包括：提供60多種C語言度量和20多種C++度量。

檢測功能

QAC/QAC++能發現C代碼中超過1300種潛在問題，C++代碼400多種潛在問題，從而發現危險的結構，發現維護和移植中發生的問題。

成功解析許多流行的C/C++語言編譯器中的語言擴展和非標準的結構。
簡單操作就可以輕松定制警告信息和報告。
提供幾十種C/C++復雜度度量，包括圈復雜度、靜態路徑統計和Myer's interval等，還可以擴展定制的復雜度度量。
提供開發接口，可擴展執行特定的分析檢查。
可以擴展自定義的代碼檢測規則。
提供多種多樣的可視化輸出，包括函數結構圖、函數調用樹、外部參考、文件包含關系和統計的度量分析。
可用于Windows和Unix平臺，有方便易用的GUI圖形界面，可以和流行的開發環境集成。

突出優勢

QAC在代碼規則檢查方面深入透徹，集成了多種編程標準，有超過1200多條警告提示可以給開發人員很好的提醒，可以作為貫徹實施企業編程準則和行業編程的檢測工具。經過測試，QAC可以很準確的發現代碼中潛在的問題，不存在漏報，誤報和錯報的情況。QAC利用強大的分析器進行預處理和后分析，檢查C語言代碼缺失或者遺漏的頭文件。QAC以其嚴謹而準確的分析提供了可靠的檢測結果。QAC能支持各行業編程標準，進行獨立檢查并生成報告。

QAC的操作和使用非常簡單，在Viewer中可以方便查看結果，點擊警告就可以看到在線解釋和示例，自動進行報告的更新。QAC和QAC++允許再二次開發接口上定制新的規則，只需要點擊鼠標便可定制特定的規則，可以添加行業標準或者自定義的內部規則。

QAC可以集成到其他IDE中，在熟悉的環境就可以進行規則檢查，比如：MS VC++，MS .NET，Tornado，Source Insight，Keil C，C++ Builder，Labwindows CVI等各種開發環境。

支持的平臺

QAC支持的語言有C、C++、Java、Fortran；
QAC可支持的平臺有Microsoft Windows、Sun Solaris、HP-UX、Redhat Linux、Slackware Linux。

 

 

STM32/STM8

意法半導體/ST/STM