Helix QAC 2020.2新版，最大限度擴(kuò)展了標(biāo)準(zhǔn)合規(guī)性的覆蓋范圍

最新版本的Helix QAC對靜態(tài)分析工具的性能和功能進(jìn)行了許多重大改進(jìn)，從而確保開發(fā)者的軟件更加安全，合規(guī)和可靠。以下是對Helix QAC最顯著新增功能的概述。

擴(kuò)展了C ++，CERT，C Secure，MISRA和AUTOSAR的覆蓋范圍
?  完全支持MISRA C：2012修訂版2。
?  AUTOSAR的覆蓋率已提高到91％。
?  CERT C規(guī)則覆蓋率已提高到100％。
◇ 完全支持CERT C POSIX規(guī)則。
?  CERT C ++覆蓋率增加到95％。
?  ISO / IEC TS 17961的新合規(guī)性模塊，可為C Secure提供98％的覆蓋率。
?  改進(jìn)了對C ++ 17語言功能的支持，包括：?

◇ 內(nèi)聯(lián)變量。
◇ 嵌套名稱空間定義。
◇ 具有初始化程序的選擇語句。
◇ 使用聲明時(shí)包擴(kuò)展和聲明列表。
◇ 模板參數(shù)中的Typename關(guān)鍵字。
◇ 使用占位符類型聲明的非類型模板參數(shù)。
◇ UTF-8字符文字。
◇ 顯式模板專業(yè)化的In-class定義。
◇ 枚舉直接列表初始化。
◇ 結(jié)構(gòu)化綁定。

?  增加了對C ++ 20語言功能的支持，包括：
◇ 嵌套的內(nèi)聯(lián)名稱空間。
◇ 基于范圍的帶有初始化程序的語句。
◇  結(jié)構(gòu)化綁定中的存儲類關(guān)鍵字。

提高了生產(chǎn)率和可用性
?  Helix QAC Verify dashboard改進(jìn)了上傳性能，bug修復(fù)，也包括其他一些微小的改進(jìn)。
?  Eclipse插件性能提高。
?  改進(jìn)了Visual Studio插件性能。
?  兩個新的QAGUI可選功能可提供快速的分析反饋。這些功能是：
◇  連續(xù)增量分析，使您可以在保存文件時(shí)或在修改文件時(shí)存在預(yù)定的不活動時(shí)間時(shí)自動執(zhí)行分析。
◇  交互式異步反饋，可讓診斷結(jié)果隨著分析的進(jìn)行而自動提示。這使您能夠在分析運(yùn)行時(shí)開始修復(fù)問題。
?  對Jenkins Pipelines的支持，提供了一種更簡便的方法來自動進(jìn)行靜態(tài)分析，作為CI / CD流程中應(yīng)用程序生命周期的一部分。

為什么選擇Helix QAC
Helix QAC 2020.2中引入的改進(jìn)確保其繼續(xù)成為所有嵌入式軟件開發(fā)行業(yè)中功能安全性和合規(guī)性最準(zhǔn)確，最精確的靜態(tài)分析工具。
想要了解更多有關(guān)Helix QAC的新增功能，請發(fā)送郵件至 contact@watertek.com 。并且，如果您想申請Helix QAC的演示或體驗(yàn)試用，請?jiān)L問http://qa-systems.cn/或關(guān)注下方公眾號：