MC-Checker是一款嵌入式软件测试工具。针对基于模型开发的软件产品，进行模型和代码一致性确认的工具。

在基于模型的开发过程中，MC-Checker可以对设计模型和代码的一致性进行自动评价。
不需要配置任何硬件设备，只要通过虚拟芯片仿真就可以正常运行。
通过用Simulink建立的汽车控制设计模型和基于模型生成的代码的实际动作进行比较，验证两者的一致性。
不仅可以对应手工编写的代码，也可以对应各种通过工具自动生成的代码。

　　「MC-Checker」这款工具是在基于模型的汽车ECU软件的开发过程中，通过对比MATLAB/Simulink构筑的汽车控制
设计模型(M)以及基于设计模型开发出来的C语言代码(C)的实际动作，来评价嵌入式ECU代码的品质。无论是用手工
编写的C语言代码，还是通过自动化工具生成的C语言代码，这款工具都可以很好地对应。
　　运用「MC-Checker」可以显著地提高在软件开发过程中相当花时间的一致性确认的工作效率。

对基于模型开发的汽车嵌入式软件产品，MC-Checker
可以提供严格的代码实装确认，从而保证代码的质量。

运用MATLAB/Simulink来设计汽车控制模型（基于模型的开发）现在
成为了一个趋势。这是一个通过MATLAB/Simulink上的汽车控制块来
做成要求设计和详细设计的软件开发方法。并通过ACG（代码自动
生成器）来完成代码的编写工作。
即便如此，在模型和代码的一致性上,仍旧有需要进行确认的地方。
比如说：控制逻辑在设计上是不是有失误，代码的生成上是不是有遗漏，
实装到芯片上以后是不是产生误差等。
在设计模型和实装代码之间，产生误差的原因，可能有以下几种。

设计模型是在Simulink上进行MILS仿真。
开发的代码通过SPILS仿真进行比较。
可以高效地对多个的控制块的代码进行验证。

・ 对于由MATLAB/Simulink做成的模型和代码，在MC-Checker中，搭载了自动比较的功能。
・ 可以高效率地对多个控制块的代码进行验证。

两者的结果通过具体的视图界面表现
出来,一目了然地进行一致性确认

设计模型和代码的实行结果，会被表示在具体
的视图界面上。以设定了的允许误差为基准，
对结果图形进行确认。

＜比较方法＞
・对一定范围内的允许误差，进行验证。
・对参考波形的允许误差，进行验证。
・对于延迟允许误差(延迟量，相位)，进行验证。