海爾智家隸屬于海爾集團公司，專注于智慧家電生態產品的研發，水聯網產品是其主要業務之一。海爾智家的工程師一直以來使用傳統的嵌入式軟件開發流程來構建他們的原有產品。這種傳統方法涉及復雜的編碼，有時多達 20,000 行。這會增加錯誤出現的概率。此外，它還會導致調試周期長、測試覆蓋率低和效率低下等問題，從而影響項目期限。

海爾工程師實施基于模型的設計，將先進的功能集成到他們的產品中。架構和模塊被分開，以根據需求集開發單獨的模型。該團隊使用 Simulink 構建基本模塊并標準化共享庫，為不同的產品線提供跨功能和協作開發。

基于模型的設計通過創建最終軟件的數字模型實現了算法設計，團隊通過 Stateflow 執行邏輯建模來測試各種場景。Embedded Coder 被用于自動生成控制算法代碼，簡化了開發流程。Simulink 還允許開發電機控制系統的仿真平臺來驗證核心算法。工程師針對異常條件（例如短路、開路和系統故障）對軟件進行了不依賴于物理硬件的測試。最后，團隊使用 Simulink Test 進行了 V&V 自動化來提高測試覆蓋率。

“我們對整個系統進行了逐一測試。基于模型的設計和測試提高了效率。”——范紀青，海爾

海爾智家在 MATLAB EXPO 用戶大會上演講

關鍵成果

基于模型的設計工作流實現了功能解耦、組件可視化和一鍵自動代碼生成，將開發效率提高了 30%

預約加熱功能測試時間由 45 天縮短至 40 分鐘

高效的自動化測試提高了 100% 的測試覆蓋率，節省了 30% 的測試資源和開發成本

*本文采用了機器翻譯