女人自慰AV免费观看内涵网,日韩国产剧情在线观看网址,神马电影网特片网,最新一级电影欧美,在线观看亚洲欧美日韩,黄色视频在线播放免费观看,ABO涨奶期羡澄,第一导航fulione,美女主播操b

0
  • 聊天消息
  • 系統消息
  • 評論與回復
登錄后你可以
  • 下載海量資料
  • 學習在線課程
  • 觀看技術視頻
  • 寫文章/發帖/加入社區
會員中心
創作中心

完善資料讓更多小伙伴認識你,還能領取20積分哦,立即完善>

3天內不再提示

Axivion靜態代碼分析工具已通過認證服務

Vector維克多 ? 來源:Vector維克多 ? 作者:Vector維克多 ? 2021-08-18 14:55 ? 次閱讀

Axivion靜態代碼分析工具已通過SGS-TüV Saar的ISO 26262、IEC 61508以及IEC 62304的認證服務,具備了在汽車電子、健康醫療等領域內以安全為關鍵的軟件項目中的使用資質。

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

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

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

責任編輯:haq

聲明:本文內容及配圖由入駐作者撰寫或者入駐合作網站授權轉載。文章觀點僅代表作者本人,不代表電子發燒友網立場。文章及其配圖僅供工程師學習之用,如有內容侵權或者其他違規問題,請聯系本站處理。 舉報投訴
  • 汽車電子
    +關注

    關注

    3035

    文章

    8252

    瀏覽量

    169492
  • 代碼
    +關注

    關注

    30

    文章

    4887

    瀏覽量

    70260
  • SGS
    SGS
    +關注

    關注

    0

    文章

    90

    瀏覽量

    9443

原文標題:Axivion靜態代碼分析工具通過SGS功能安全認證

文章出處:【微信號:VectorChina,微信公眾號:Vector維克多】歡迎添加關注!文章轉載請注明出處。

收藏 人收藏

    評論

    相關推薦
    熱點推薦

    Perforce ALM產品簡介:一站式需求與測試管理平臺(通過SO 26262認證

    Perforce ALM 是一體化的需求與測試管理平臺,支持端到端的可追溯性,通過ISO 26262 認證,適用于汽車電子、嵌入式系統等對功能安全要求較高的行業。
    的頭像 發表于 06-05 16:06 ?48次閱讀
    Perforce ALM產品簡介:一站式需求與測試管理平臺(<b class='flag-5'>已</b><b class='flag-5'>通過</b>SO 26262<b class='flag-5'>認證</b>)

    HarmonyOS5云服務技術分享--自有賬號對接AGC認證

    體系(比如自研的用戶系統),通過AGC的??自有賬號認證??功能,可以快速接入AGC的認證服務,實現: ??擴展認證方式??:讓用戶既可以用
    發表于 05-22 16:32

    HarmonyOS5云服務技術分享--認證文檔問題

    ??: 通過創建不同項目區分測試環境與生產環境。 每個項目可獨立管理不同版本的認證服務配置。 ??2. 開通認證服務?? 登錄AGC控制臺
    發表于 05-22 13:20

    HarmonyOS NEXT 原生應用/元服務-ArkTS代碼調試attach啟動調試

    開發者也可以通過將調試程序attach到運行的應用進行調試。 Attach Debugger和Debug的區別在于,Attach Debugger to Process可以先運行應用/元服務
    發表于 02-28 14:59

    HarmonyOS NEXT 原生應用/元服務-性能分析基礎耗時分析Time分析

    調度延時等問題,可先在ArkTS代碼中進行自定義打點,當元服務/應用在Time分析過程中觸發打點后,DevEco Profiler會將這些打點的Trace數據解析后,以任務方塊形式呈現在“User
    發表于 02-25 14:31

    集成電路設計中靜態時序分析介紹

    Analysis,STA)是集成電路設計中的一項關鍵技術,它通過分析電路中的時序關系來驗證電路是否滿足設計的時序要求。與動態仿真不同,STA不需要模擬電路的實際運行過程,而是通過分析電路中的各個時鐘路徑、信號傳播延遲等信息來評估設計是否符合時序要求。
    的頭像 發表于 02-19 09:46 ?502次閱讀

    ADC的靜態指標有專用的分析工具嗎?

    請問:ADC的靜態指標有專用的分析工具嗎?該指標很少在評估ADC指標時使用,是否該指標不重要,應用中什么情況下需要評估該指標? 另外ADC的SNR = 6.02*N + 1.76 +10*log10(fs/2BW)
    發表于 02-08 08:13

    英諾達發布全新靜態驗證產品,提升芯片設計效率

    了重要一步,將為中國芯片產業的發展注入新的活力。 靜態驗證作為一種業界普遍使用的驗證方法,通過對設計的源代碼進行深入分析,能夠發現設計中的潛在問題。與動態仿真驗證和形式化驗證相結合,
    的頭像 發表于 12-24 16:53 ?712次閱讀

    汽車異構硬件平臺開發如何進行靜態代碼分析

    先進的靜態代碼分析工具,其新版本中引入的多CCT功能為開發人員提供了強大的支持,該功能不僅簡化了多編譯器環境下的代碼
    的頭像 發表于 10-09 16:15 ?781次閱讀
    汽車異構硬件平臺開發如何進行<b class='flag-5'>靜態</b><b class='flag-5'>代碼</b><b class='flag-5'>分析</b>

    Perforce靜態分析工具2024.2新增功能:Helix QAC全新CI/CD集成支持、Klocwork分析引擎改進和安全增強

    ?和Klocwork的最新版本對靜態分析工具進行了重大改進,通過盡早修復錯誤、降低開發成本和加快發布速度,使開發團隊實現左移。本文中,我們將概述2024.2版本的新特性和新功能。CI/
    的頭像 發表于 10-08 16:22 ?557次閱讀
    Perforce<b class='flag-5'>靜態</b><b class='flag-5'>分析</b><b class='flag-5'>工具</b>2024.2新增功能:Helix QAC全新CI/CD集成支持、Klocwork<b class='flag-5'>分析</b>引擎改進和安全增強

    恒訊科技分析:如何測試海外靜態IP服務的穩定性和速度?

    測試海外靜態IP服務的穩定性和速度可以通過以下步驟進行: 1、選擇測試工具:使用網絡測試工具,如ping命令、traceroute(或 ra
    的頭像 發表于 08-14 14:58 ?594次閱讀

    代碼靜態測試工具Helix QAC 2024.2新發

    Helix QAC 2024.2 帶來了新的特性和功能,為開發過程增加了靈活的選項。用戶使用新的 CI 分析通過 Validate 獲得完整的 CI 集成支持,從而輕松管理 CI/CD 更改分析結果并加快測試反饋速度,并使用新的
    的頭像 發表于 08-05 17:40 ?569次閱讀
    <b class='flag-5'>代碼</b><b class='flag-5'>靜態</b>測試<b class='flag-5'>工具</b>Helix QAC 2024.2新發

    DevOps中的質量門工作原理,以及靜態代碼分析Klocwork和Perforce Helix QAC在質量門中的實踐應用

    如何使用靜態代碼分析工具(如Klocwork 和 Helix QAC)實現質量門。 什么是質量門? 質量門是在IT或開發項目中實施的檢查點,這些檢查點要求在進入下一個開發階段之前達到最
    的頭像 發表于 07-29 15:12 ?783次閱讀

    單元測試、集成測試自動化工具

    HookCode?直接使用目標機代碼進行單元測試 聯合靜態解析工具[CasePlayer2],提供C0(語句),C1(判定),MC/DC覆蓋率報告,優化測試用例制作 取得第三方
    的頭像 發表于 06-26 13:41 ?726次閱讀
    單元測試、集成測試自動化<b class='flag-5'>工具</b>

    IAR通過多架構認證靜態分析工具加速代碼質量自動化

    公司推出經TüV SüD認證的C-STAT靜態分析工具,適用于最新發布的IAR Embedded Workbench for RISC-V V3.30.2功能安全版。
    的頭像 發表于 06-19 15:49 ?623次閱讀