MIL测试到底要测试些什么内容呢？

MIL测试其实是对simulink软件的一种白盒测试，那么他其实具备白盒测试的特性。

同时，当我们用SIMULINK建立起一个系统模型，SIMULINK里有两个几个相关的工具可以用来做测试，1、Simulink Verification and Validation tools，2、Simulink Design Verifier 3、SystemTest tools .

我想，关于模型覆盖测试最直观而简单的问题是，是否能提供一个手段，了解一下系统的各种输入测试是否是完备的或者说完备的程度，同时能改善测试方案使得测试完备，在这个测试过程中同时监视系统的性能，这就是上面所说工具要解决的问题。

SIMULINK关于模型覆盖是这样解释的： 通过测量被测试模型如何被彻底测试的程度，模型覆盖帮助你验证你的模型测试实验，模型覆盖计算模型测试实验 经过了一个模型的模拟路径次数有多少，模型覆盖是一个模型测试实例到底有多彻底和测试路径百分率的测度。

SIMULINK Verification and Validation tools 的几个覆盖分析概念：

1.序复杂性

序复杂性是模型结构复杂性的度量 ，为了计算对象的序复杂性。

2.决策覆盖（DC）

决策覆盖分析模型中表示决策点的要素，比如开关模块或者状态流状态，对于这些项，模型覆盖确定模拟测试时实际通过这些路径的百分率。

3.条件覆盖（CC）

条件覆盖分析组合逻辑（比如逻辑操作）和状态转移，条件覆盖分析报告是否模型中的每个模块被完全覆盖了。

当收集模型覆盖，可能达不到100%的条件覆盖，比如如果确定短路逻辑模块（一种处理方式），就不能达到100%的条件覆盖。

4. 改进条件/决策覆盖（MDCD）

改进的条件/决策覆盖分析扩展了决策和条件覆盖能力，它确定测试实验测试逻辑模块输入和转移条件独立性的程度。一个测试实验达到模型的完全覆盖，当改变模块的一个独立于其它输入的输入，引起了模块的输出改变。一个测试实验到到状态流转移的完全覆盖，也就是每个转移条件在一个条件触发时，状态至少转移一次。

MCDC并不保证100%的决策覆盖和条件覆盖。

5. 查询表条件覆盖

查询表覆盖用表实体的输入、输出、内插、外推信息来分析模块，它记录每个内插间隙被使用的频率，要达到完全覆盖，每个内插和外推间隙至少被执行一次。

6. 信号范围覆盖

信号范围覆盖是在模拟期间记录模型中没个模块的最大最小值。

7. 信号宽度覆盖

信号宽度覆盖记录可变宽度信号的最大最小值。