Japanese Home
公司新闻
代理产品介绍 MC-Checker

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(代码自动
生成器)来完成代码的编写工作。
即便如此,在模型和代码的一致性上,仍旧有需要进行确认的地方。
比如说:控制逻辑在设计上是不是有失误,代码的生成上是不是有遗漏,
实装到芯片上以后是不是产生误差等。
在设计模型和实装代码之间,产生误差的原因,可能有以下几种。

◆为什么有必要对模型和代码的运行结果进行一致性验证?

・在手工编写的开发过程中,一致性确认的必要性。
-开发者参照已通过模型验证好的算法进行代码的开发的场合。
-在二次开发中,基于已经存在的代码做成MATLAB/Simulink模型的场合。
・通过自动代码生成工具编写代码时,需要确认生成的代码有没有错误。
-当生成工具的设定有失误的场合。
-由于处理精度的原因,产生了舍入误差的场合。
-小数点的精度问题。
・OS、驱动、通信的过载等原因造成的延迟的确认。
・由于编译器的选项变更,代码运行结果中是否产生了差别的确认。

MC-Checker在嵌入式开发V字模型中的适用位置

             

MC-Checker的特点


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

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

・设计模型在Simulink的仿真机上直接执行。
・手工编写的代码,或者自动生成的代码,都可以通过
  SPILS(芯片仿真)环境执行
-执行代码不需要使用实际的芯片,使用虚拟的芯片进行仿真。
-不使用硬件设备,在虚拟环境上就可以进行验证。
-配备了丰富地MPU仿真芯片可供选择。
・通过具体的视图界面来确认两者结果的一致性。
・通过自动实行功能,可以高效率地进行自动测试。

 

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

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

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

 

 

 

 

 

 

 

想了解更多 >>> 请咨询:

 

上海博域计算机工程有限公司
〒200050 上海市延安西路728号华敏国际广场8楼I室
TEL:021-62128150 FAX:021-52380609
E-mail:info@by-test.com URL:http://www.by-test.com/

 

 
  地址:上海市上海市宣化路28号B座1208室 电话:+86(21)6212-8150   邮箱:info@by-test.com 
         Copyright 2009 上海博域汽车电子有限公司 All Rights Reserved 沪ICP备09062508号