Axivion靜態(tài)代碼分析工具已通過認證服務

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

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

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

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

責任編輯：haq