polyspace 文章進(jìn)入polyspace技術(shù)社區(qū)

Polyspace靜態(tài)程序代碼分析高效遵循多重規(guī)范

當(dāng)軟件質(zhì)量目標(biāo)明確規(guī)定了分析指針、編程指南，以及運(yùn)行時(shí)錯(cuò)誤的接受標(biāo)準(zhǔn)和閾值，車用軟件系統(tǒng)透過這些標(biāo)準(zhǔn)會(huì)自動(dòng)進(jìn)行評(píng)估，軟件變更時(shí)執(zhí)行，就成為軟件開發(fā)流程中完整的一部分。如何降低程序代碼質(zhì)量評(píng)估的主觀性，并改善軟件開發(fā)周期的整體開發(fā)效率，就成為當(dāng)中要點(diǎn)。車用軟件系統(tǒng)在現(xiàn)今車輛的安全性、可靠性及效率扮演著愈來愈重要的角色。因此，工程團(tuán)隊(duì)專注于提供先進(jìn)駕駛輔助系統(tǒng)（advanced driver assistance systems；ADAS）、電池管理系統(tǒng)、穩(wěn)定控制及其他類似的創(chuàng)新功能。通常，他們也需要透過證明
關(guān)鍵字： Polyspace 靜態(tài)程序代碼分析車用軟件

全球領(lǐng)先的數(shù)學(xué)計(jì)算軟件開發(fā)商MathWorks近日宣布，推出MATLAB?和Simulink?產(chǎn)品系列版本 2023b（R2023b）。R2023b 推出了兩款新產(chǎn)品和幾項(xiàng)重要更新，它們可為工程師和研究人員提供簡(jiǎn)化工作流的新功能。Simulink Fault Analyzer?支持使用仿真進(jìn)行系統(tǒng)性故障影響和安全分析。此新產(chǎn)品能夠在不修改工程設(shè)計(jì)的情況下執(zhí)行故障注入仿真。工程師利用仿真通過特定的系統(tǒng)條件來確定故障時(shí)間或觸發(fā)故障并執(zhí)行安全分析，如失效模式和影響分析（FMEA）。與 Requirements
關(guān)鍵字： MathWorks MATLAB Simulink Simulink Fault Analyzer Polyspace Test

MathWorks 近日宣布引入兩款新的代碼驗(yàn)證工具以擴(kuò)充其 Polyspace 產(chǎn)品系列：Polyspace Code Prover 和 Polyspace Bug Finder。此外，公司還于同時(shí)宣布推出 2013b 版。新增的這兩款產(chǎn)品提供了端到端軟件驗(yàn)證功能，供早期開發(fā)階段使用，其中涵蓋了查找缺陷、檢查代碼規(guī)則以及證明不存在運(yùn)行時(shí)錯(cuò)誤。
關(guān)鍵字： MathWorks Polyspace

共3條 1/1 1

您好，目前還沒有人創(chuàng)建詞條polyspace!
歡迎您創(chuàng)建該詞條，闡述對(duì)polyspace的理解，并與今后在此搜索polyspace的朋友們分享。創(chuàng)建詞條