Simulink模型测试1——基于模型的设计的测试概述

概述

本系列整理simulink的单元测试，基本内容如下：

1. 基于模型的设计的测试概述
2. 开发测试用例
3. 分析测试结果
4. 建立test suites

本篇先整理第一个：基于模型的设计的测试概述。

模型测试的类型

simulink模型测试分为两种： simulation-based testing 和 formal verification 。

• simulation-based testing需要test case，验证模型的输出结果是否符合预期，一般用于认可测试。这是本系列主讲内容。

• formal verification无需test case，是simulink使用数值分析方法进行自动化检测，比如数据溢出、除零、死循环等。

  其实还有一些其他的测试，如测试是否符合建模规范等，本系列不再详述。

  

模型测试的流程

一般来讲，测试流程如下。这里多说一句，在测试时一般会涉及到需求文档、覆盖度、测试用例等，需要他们之间建立追溯性，很多公司会用polarion进行全生命周期的管理，但也可以matlab中通过工程（project）进行一定的管理。关于matlab的工程管理后续我也会出一个系列进行整理。