静态检查主要工具“
1、Model Adiviser
By Product，针对MathWorks的各种工具箱进行分类验证，没有实际意义！
By Task
①、Modeling Standard for MAB
选定需要进行检查的模块→选择MAB下需要检查的项或者所有项全部选择→运行检查并生成检查报告→研究检查报告中Warning&Fail项，尤其时那些Failure项。确定有没有必要进行修改，以及修改方法！
检查标注很多时，可以考虑选择自己关心的那一部分进行组合(建立检查配置)：
Setting→Opening configuration editor→New folder→选择自己需要检查的项（右击目标检查项选择Copy-右击目标文件夹，Paste到目标文件夹下）→Save as
正式检查前，做如下操作：Setting→Loading configuration→Run the check
备注：这种检查适用于小模块检查，就是那种边建模边检查的那种操作。如果最终建模最后检查可能耗时和修改都很麻烦！
②、Modeling Standard for JMAB
处理方式同上
③、Modeling Standard for ISO 26262
处理方式同上
④、Complexity Metric
尤其要关注CycloMatic complexity metric，关注子模型的复杂程度。如果数值较高，徐奥考虑将子模型拆分为更多的子模型降低其复杂度！
2、Design Verifier
Design Verifier→Design Error Detection→检查两类错误：数据溢出&死逻辑（永远成立或永远不成立）
动态测试
①、Test 工具(主要针对单元模型进行动态测试较为有效)
App→Simulink Test→Add test harness→Sources and Sinks @ Test Sequence→在Test Sequence editor中编写各测试步骤中信号变量
②、动态测试评价指标工具Coverage Analyzer:
Coverage Analyzer→coverage on→Setting→Referenced Models→Selected Models(此处选择被测模型Slex3) →OK
参考资料：
Simulink 基础入门系列（全7P）-P6 06_Simulink培训之模型测试（哔哩哔哩，董淑成）
