利用Polyspace靜態與動態測試構建高可靠嵌入式軟體
Kary Chang, Terasoft
在嵌入式軟體開發中，確保程式碼的安全與正確性是研發流程的重中之重。此影片將深入探討如何協同使用 Polyspace Bug Finder 與 Polyspace Test，在軟體生命週期的不同階段進行全面體檢。透過 Bug Finder，我們能在大規模程式碼庫中快速掃描潛在的 Runtime Error、並檢測 MISRA C/C++ 與 CERT C 安全規範；而透過 Polyspace Test，則能針對單元測試（Unit Test）與整合測試（Integration Test）建立自動化的執行環境，並提供關鍵的結構覆蓋率（Code Coverage）。我們將分享如何透過這套整合方案，不僅滿足 ISO 26262 等產業標準的要求，更能顯著降低後期除錯成本，達成軟體定義產品時代下的高品質交付。