- 當軟件質量目標明確規定了分析指針、編程指南，以及運行時錯誤的接受標準和閾值，車用軟件系統透過這些標準會自動進行評估，軟件變更時執行，就成為軟件開發流程中完整的一部分。如何降低程序代碼質量評估的主觀性，并改善軟件開發周期的整體開發效率，就成為當中要點。車用軟件系統在現今車輛的安全性、可靠性及效率扮演著愈來愈重要的角色。因此，工程團隊專注于提供先進駕駛輔助系統（advanced driver assistance systems；ADAS）、電池管理系統、穩定控制及其他類似的創新功能。通常，他們也需要透過證明
- 關鍵字：
Polyspace 靜態程序代碼分析 車用軟件
- 全球領先的數學計算軟件開發商MathWorks近日宣布，推出MATLAB?和Simulink?產品系列版本 2023b（R2023b）。R2023b 推出了兩款新產品和幾項重要更新，它們可為工程師和研究人員提供簡化工作流的新功能。Simulink Fault Analyzer?支持使用仿真進行系統性故障影響和安全分析。此新產品能夠在不修改工程設計的情況下執行故障注入仿真。工程師利用仿真通過特定的系統條件來確定故障時間或觸發故障并執行安全分析，如失效模式和影響分析（FMEA）。與 Requirements
- 關鍵字：
MathWorks MATLAB Simulink Simulink Fault Analyzer Polyspace Test
- MathWorks 近日宣布引入兩款新的代碼驗證工具以擴充其 Polyspace 產品系列：Polyspace Code Prover 和 Polyspace Bug Finder。此外，公司還于同時宣布推出 2013b 版。新增的這兩款產品提供了端到端軟件驗證功能，供早期開發階段使用，其中涵蓋了查找缺陷、檢查代碼規則以及證明不存在運行時錯誤。
- 關鍵字：
MathWorks Polyspace
polyspace介紹
您好，目前還沒有人創建詞條polyspace!
歡迎您創建該詞條，闡述對polyspace的理解，并與今后在此搜索polyspace的朋友們分享。
創建詞條
關于我們 -
廣告服務 -
企業會員服務 -
網站地圖 -
聯系我們 -
征稿 -
友情鏈接 -
手機EEPW
Copyright ?2000-2015 ELECTRONIC ENGINEERING & PRODUCT WORLD. All rights reserved.
《電子產品世界》雜志社 版權所有 北京東曉國際技術信息咨詢有限公司
京ICP備12027778號-2 北京市公安局備案：1101082052 京公網安備11010802012473
