• C + +語言專有的分析工具，集成了先進的數據流分析

• 支持ISO C + +11

• 在開發周期早期階段避免代碼問題，提高代碼質量

• 通過數據流分析用于獲取bug

• 提高代碼的可靠性、可維護性、可移植性、可重用性和可測試性

• 符合代碼規則以及代碼標準，包括MISRA，JSF和HIC++

• 提供非常準確的診斷信息（包括大量的說明文檔）為開發人員識別缺陷代碼，分析原因并進行改進

• 運用科學的診斷、度量以及數據可視化幫助提高代碼審查的效率。

• 自動代碼審查提供及時、面向對象以及可重復的代碼審查方式。

• 幾乎是零誤報，以便為你節省時間、精力以及物力。

技術規格：

技術概述：

• 基于組件，插件架構

• 兩個用戶界面:

1. 跨平臺圖形用戶界面集成的源代碼編輯器,

2. 跨平臺的命令行界面。

• 與Microsoft Visual Studio和Eclipse的完全集成，使得開發人員可以用自己最喜愛的開發環境中實現所有跨平臺的GUI功能

• 允許同時含有C以及C++文件

• 便于保存和發布QAC文件

• 完全控制所有項目設置在一個跨平臺的用戶界面。

• 一個安裝程序,提供:

1. 所有的用戶界面,

2. 兼容所有開箱即用的編譯器

3. 一個功能集，可以很方便的與大多數自動化系統以及集成開發環境達成構建

4. 能夠把結果上傳到QA·Verify 質量管理體系的功能。

支持的平臺：

• Windows 7 (32 & 64-bit)

• Linux RHEL 5 (32 & 64-bit)

• Solaris 10 (64-bit)

部署選項：

• 新一代夸平臺GUI（圖形界面）

• 命令行

• Makefile集成（一個工程中的源文件不計數，其按類型、功能、模塊分別放在若干個目錄中，makefile定義了一系列的規則來指定，哪些文件需要先編譯，哪些文件需要后編譯，哪些文件需要重新編譯，甚至于進行更復雜的功能操作，因為 makefile就像一個Shell腳本一樣，其中也可以執行操作系統的命令）

• 與VS 2010年和VS 2012完全集成（2013很快就可以支持）

• 與Eclipse完全集成

• 模型驅動的開發環境 (例如Rhapsody™嵌入式仿真開發)

• 持續的集成環境（例如Jenkins™）

• 跨平臺的分析項目管理

遵循模板：

• MISRA C++:2008

• JSF AV++

• HIC++