靜態(tài)程序代碼分析 文章 進入靜態(tài)程序代碼分析技術社區(qū)

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

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