[Simulink] PolySpace學習筆記

本文學習自《嵌入式軟件動態運行時錯誤的檢測》，主要是瞭解一下polyspace，工做過程當中目前沒有涉及到。web 背景 和桌面系統不一樣，對於嵌入式軟件系統，軟件測試主要是發現如下類型的錯誤：編程 功能錯誤 —— 主要藉助項目需求文檔，編寫對應的測試用力進行測試與驗證工做 性能錯誤 —— 通常要藉助硬件級別的工做，衡量軟件的性能是否達到要求 運行時錯誤 —— 軟件在動態運行時出現的錯誤，是全部的

>>阅读原文<<