Helix QAC 2020.2新版,最大限度擴展了標準合規性的覆蓋範圍

 

 

 

 

 

 

 

最新版本的Helix QAC對靜態分析工具的性能和功能進行了許多重大改進,從而確保開發者的軟件更加安全,合規和可靠。以下是對Helix QAC最顯著新增功能的概述。

擴展了C ++,CERT,C Secure,MISRA和AUTOSAR的覆蓋範圍

•  完全支持MISRA C:2012修訂版2。
•  AUTOSAR的覆蓋率已提高到91%。
•  CERT C規則覆蓋率已提高到100%。
◇ 完全支持CERT C POSIX規則。
•  CERT C ++覆蓋率增加到95%。
•  ISO / IEC TS 17961的新合規性模塊,可爲C Secure提供98%的覆蓋率。
•  改進了對C ++ 17語言功能的支持,包括:​

◇ 內聯變量。
◇ 嵌套名稱空間定義。
◇ 具有初始化程序的選擇語句。
◇ 使用聲明時包擴展和聲明列表。
◇ 模板參數中的Typename關鍵字。
◇ 使用佔位符類型聲明的非類型模板參數。
◇ UTF-8字符文字。
◇ 顯式模板專業化的In-class定義。
◇ 枚舉直接列表初始化。
◇ 結構化綁定。

•  增加了對C ++ 20語言功能的支持,包括:
◇ 嵌套的內聯名稱空間。
◇ 基於範圍的帶有初始化程序的語句。
◇  結構化綁定中的存儲類關鍵字。

提高了生產率和可用性
•  Helix QAC Verify dashboard改進了上傳性能,bug修復,也包括其他一些微小的改進。
•  Eclipse插件性能提高。
•  改進了Visual Studio插件性能。
•  兩個新的QAGUI可選功能可提供快速的分析反饋。這些功能是:
◇  連續增量分析,使您可以在保存文件時或在修改文件時存在預定的不活動時間時自動執行分析。
◇  交互式異步反饋,可讓診斷結果隨着分析的進行而自動提示。這使您能夠在分析運行時開始修復問題。
•  對Jenkins Pipelines的支持,提供了一種更簡便的方法來自動進行靜態分析,作爲CI / CD流程中應用程序生命週期的一部分。

爲什麼選擇Helix QAC
Helix QAC 2020.2中引入的改進確保其繼續成爲所有嵌入式軟件開發行業中功能安全性和合規性最準確,最精確的靜態分析工具。

想要了解更多有關Helix QAC的新增功能,請發送郵件至 [email protected] 。並且,如果您想申請Helix QAC的演示或體驗試用, 請訪問http://qa-systems.cn/或關注下方公衆號:

版本所有,抄襲必究

發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章