Axivion靜態(tài)代碼分析工具已通過(guò)SGS-TüV Saar的ISO 26262、IEC 61508以及IEC 62304的認(rèn)證服務(wù)，具備了在汽車電子、健康醫(yī)療等領(lǐng)域內(nèi)以安全為關(guān)鍵的軟件項(xiàng)目中的使用資質(zhì)。

作為Vector官方合作伙伴的Axivion，是一家100%德資背景的科技企業(yè)，其總部同樣設(shè)立在德國(guó)斯圖加特市。Axivion孵化自德國(guó)斯圖加特大學(xué)的前沿項(xiàng)目，扎實(shí)專業(yè)的學(xué)術(shù)背景在過(guò)去15年多的時(shí)間里服務(wù)過(guò)全球數(shù)千用戶，以“德國(guó)制造”的標(biāo)準(zhǔn)致力于為靜態(tài)代碼分析和防止軟件侵蝕，提供創(chuàng)新和先進(jìn)的解決方案。

2021年6月底，Axivion的靜態(tài)代碼分析工具Static Code Analysis（簡(jiǎn)稱SCA，內(nèi)嵌于工具集Axivion Suite中）通過(guò)了SGS-TüV Saar的認(rèn)證服務(wù)，適用于依照安全標(biāo)準(zhǔn)ISO 26262（最高至ASIL D等級(jí)）、IEC 61508（最高至SIL 4）以及IEC 62304（最高至C等級(jí)）的開發(fā)。這使得從事于汽車電子、健康醫(yī)療以及具有嚴(yán)格功能安全要求的軟件開發(fā)/測(cè)試人員擁有了一款強(qiáng)大工具，確保軟件從項(xiàng)目伊始至迭代更新和最終交付階段都符合最高安全標(biāo)準(zhǔn)。該認(rèn)證對(duì)SCA工具的7.1及后續(xù)版本有效。

SCA工具可實(shí)現(xiàn)對(duì)諸多編碼規(guī)則，如MISRA C:2012、MISRA C++:2008、CERT和AUTOSAR C++14等的自動(dòng)檢查；且支持將其集成到客戶現(xiàn)有的開發(fā)和測(cè)試框架以及持續(xù)集成過(guò)程中，提高工具的復(fù)用性，實(shí)現(xiàn)“便捷集成以提高測(cè)試頻次、更多測(cè)試以確保更高質(zhì)量”的目標(biāo)。此外，Axivion可根據(jù)MISRA和AUTOSAR C++14規(guī)范提供相應(yīng)的鑒定包服務(wù)，完全滿足認(rèn)證強(qiáng)需求的項(xiàng)目和客戶。

責(zé)任編輯：haq