海尔智家采用基于模型的设计方法提高测试覆盖率
新的工作流程简化了开发过程并减少了错误
“我们对整个系统进行了逐一测试。基于模型的设计和测试提高了效率。”
关键成果
- 基于模型的设计工作流实现了功能解耦、组件可视化和一键自动代码生成，将开发效率提高了 30%
- 预约加热功能测试时间由 45 天缩短至 40 分钟
- 高效的自动化测试提高了 100% 的测试覆盖率，节省了 30% 的测试资源和开发成本
海尔智家隶属于海尔集团公司，专注于智慧家电生态产品的研发，水联网产品是其主要业务之一。海尔智家的工程师一直以来使用传统的嵌入式软件开发流程来构建他们的原有产品。这种传统方法涉及复杂的编码，有时多达 20,000 行。这会增加错误出现的概率。此外，它还会导致调试周期长、测试覆盖率低和效率低下等问题，从而影响项目期限。
海尔工程师实施基于模型的设计，将先进的功能集成到他们的产品中。架构和模块被分开，以根据需求集开发单独的模型。该团队使用 Simulink® 构建基本模块并标准化共享库，为不同的产品线提供跨功能和协作开发。
基于模型的设计通过创建最终软件的数字模型实现了算法设计，团队通过 Stateflow® 执行逻辑建模来测试各种场景。Embedded Coder® 被用于自动生成控制算法代码，简化了开发流程。Simulink 还允许开发电机控制系统的仿真平台来验证核心算法。工程师针对异常条件（例如短路、开路和系统故障）对软件进行了不依赖于物理硬件的测试。最后，团队使用 Simulink Test™ 进行了 V&V 自动化来提高测试覆盖率。
