MCVerifier_A4カタログ_20161206 -ch.pdf
需积分: 0 114 浏览量
2019-10-16
16:14:38
上传
评论
收藏 383KB PDF 举报
针对基于模型开发的工具
针对基于模型开发的工具针对基于模型开发的工具
针对基于模型开发的工具
MC-Verifier
按照
按照按照
按照ISO26262
ISO26262ISO26262
ISO26262的
的的
的Back
BackBack
Back-
--
-to
toto
to-
--
-Back
Back Back
Back (B2B
(B2B(B2B
(B2B)
))
)测试标准统合的工具
测试标准统合的工具测试标准统合的工具
测试标准统合的工具
可实行模型
可实行模型可实行模型
可实行模型/
//
/模型
模型模型
模型,
, ,
, 模型
模型模型
模型/
//
/软件
软件软件
软件,
, ,
, 模型
模型模型
模型/
//
/目标代码的
目标代码的目标代码的
目标代码的B2B
B2BB2B
B2B测试
测试测试
测试
可检出
可检出可检出
可检出Simulink
SimulinkSimulink
Simulink上
上上
上，
，，
，B2B
B2BB2B
B2B测试错误发生的地点
测试错误发生的地点测试错误发生的地点
测试错误发生的地点（
（（
（subsystem
subsystemsubsystem
subsystem）
））
）
可以在
可以在可以在
可以在Simulink
SimulinkSimulink
Simulink上对包含反馈处理在内的模型按时间轴以及
上对包含反馈处理在内的模型按时间轴以及上对包含反馈处理在内的模型按时间轴以及
上对包含反馈处理在内的模型按时间轴以及B2B
B2BB2B
B2B测试错误进行追迹
测试错误进行追迹测试错误进行追迹
测试错误进行追迹
可以在代码执行时
可以在代码执行时可以在代码执行时
可以在代码执行时，
，，
，计算代码覆盖率
计算代码覆盖率计算代码覆盖率
计算代码覆盖率（
（（
（Statement, Branch, MC/DC
Statement, Branch, MC/DCStatement, Branch, MC/DC
Statement, Branch, MC/DC）
））
）
取得了机
取得了机取得了机
取得了机能安全
能安全能安全
能安全ISO26262/IEC61508
ISO26262/IEC61508ISO26262/IEC61508
ISO26262/IEC61508的
的的
的 工具认证
工具认证工具认证
工具认证
「MC-Verifier」是针对基于模型开发中Back-to-Back测试的统合测试工具。能够在开发过程中的各个阶段确认模型、软件、目
标代码之间的动作一致性。
基于模型开发
基于模型开发基于模型开发
基于模型开发 Back
BackBack
Back-
--
-to
toto
to-
--
-Back
BackBack
Back测试统合工具
测试统合工具测试统合工具
测试统合工具
模型
模型模型
模型、
、、
、软件
软件软件
软件、
、、
、目标代码的
目标代码的目标代码的
目标代码的
B2B
B2BB2B
B2B测试实行
测试实行测试实行
测试实行、
、、
、评价
评价评价
评价、
、、
、报告生成机能
报告生成机能报告生成机能
报告生成机能 统合化
统合化统合化
统合化
MC-Verifier是一款能够对模型(MIL)、软件(SIL)、目标代码(PIL)的动
作进行比较实施B2B测试、从来评价两者间的误差及找到错误发生位置的
B2B测试统合工具。可以使用其他MBD工具生成的测试用例进行B2B测试。
目标代码的执行使用gaio公司的芯片仿真器、不需要使用开发板等一切
硬件。
MATLAB/Simulink
MATLAB/Simulink MATLAB/Simulink
MATLAB/Simulink B2B
B2BB2B
B2B测试作业的统合
测试作业的统合测试作业的统合
测试作业的统合
MC-Verifier的各个机能、是统合于基于模型开发的标准工具
MATLAB/Simulink中的。从MATLAB/Simulink的GUI、Command Line可以直
接执行相关的机能。同时、还可以使用MATLAB的脚本功能、很容易地实
现检证作业的自动化。
Simulink
SimulinkSimulink
Simulink上
上上
上，
，，
，错误发生位置
错误发生位置错误发生位置
错误发生位置(
((
(subsystem
subsystemsubsystem
subsystem)
))
)的特定
的特定的特定
的特定
MC-Verifier在实行B2B测试时、能够记录模型上指定的subsystem的全部
信号line及代码上指定的全部变量的输出。测试后、按照时间轴的推移
对各个信号line的值和变量的值进行比较、可以解析由于时间推移造成
误差扩大的状况。能够指定误差的允许范围％。能够在Simulink上特定
是哪一个subsystem的错误超过了允许误差范围、能够有效地对模型及代
码进行修正。
误差的扩大、从一个subsystem传到另一个subsystem等问题、因为能够
按照时间轴进行解析、所以对发生错误原因难以特定的包含反馈处理的
模型也能够容易地找出问题发生的原因。
[参考] MIL = Model In the Loop
MC= Model and Code SIL = Software (C code) In the Loop
B2B = Back-to-Back PIL = Processor (Object code) In the Loop
使用代码调试机能
使用代码调试机能使用代码调试机能
使用代码调试机能 能够解析代码中的问题点
能够解析代码中的问题点能够解析代码中的问题点
能够解析代码中的问题点
对于模型（MIL）和目标代码（PIL）的B2B测试、可以利用芯片仿真器的
代码调试机能。和一般的芯片代码调试功能相同、可以在C语言代码上设
定break、也可以单步执行、确定各个变量的值及内存值的变化找出代码
中的问题点。
代码覆盖率计测
代码覆盖率计测代码覆盖率计测
代码覆盖率计测
对应模型（MIL）和目标代码（PIL）的B2B测试、可以进行代码覆盖率
（Statement、Branch、MC/DC）的计测。输入事先准备好的网罗所有对
象模型的测试用例，测定代码的覆盖率，能够检出实装代码是否存在构
造性问题。能够快速生成ISO26262标准所要求的测试文档。
高抽象度
高抽象度高抽象度
高抽象度/
//
/低抽象度
低抽象度低抽象度
低抽象度 式样模型
式样模型式样模型
式样模型 B2B
B2BB2B
B2B测试
测试测试
测试
在从高抽象度式样模型到低抽象度模型的开发时、能够评价两者
动作的一致性。对于控制系统的设计者、可以在做成时对作为控
制式样的低抽象度模型进行评价。
式样模型
式样模型式样模型
式样模型/
//
/实装模型
实装模型实装模型
实装模型/
//
/软件
软件软件
软件 B2B
B2BB2B
B2B测试
测试测试
测试
代码开发者、可以在从低抽象度式样模型到实装模型开发时，
评价两者间的误差。还有、能够检出使用代码自动生成工具从
模型生成C语言代码时、生成工具的设定错误、问题点。
实装模型
实装模型实装模型
实装模型/
//
/目标代码
目标代码目标代码
目标代码 B2B
B2BB2B
B2B测试
测试测试
测试
代码实装阶段、ISO26262所要求的目标环境下代码执行时，想定
的动作误差评价。能够检出芯片构造、编译器最优化等、在向产
品所用的芯片进行代码实装时可能发生的问题点。
控制系统设计者
控制系统设计者控制系统设计者
控制系统设计者（
（（
（MIL
MILMIL
MIL-
--
->MIL
>MIL>MIL
>MIL）
））
）
使用MATLAB/Simulink进行算法设计
模型间的动作一致性评价
代码开发者
代码开发者代码开发者
代码开发者（
（（
（MIL
MILMIL
MIL-
--
->MIL
>MIL>MIL
>MIL-
--
->SIL
>SIL>SIL
>SIL）
））
）
浮点小数向固定小数的模型变换
为生成量产代码所进行的实装模型变更/调整
代码自动生成工具（ACG）设定引起的误差评价
代码实装者
代码实装者代码实装者
代码实装者/
//
/测试人员
测试人员测试人员
测试人员（
（（
（MIL
MILMIL
MIL-
--
->PIL
>PIL>PIL
>PIL）
））
）
芯片、编译器依存问题、误差评价
代码覆盖率计测评价
ISO26262标准测试文档的做成
式样模型
（低抽象度）
实装模型
C代码
目标代码
变换
代码自动生成
编译
B2B
B2B
B2B
错误要因解析机能
（Simulink画面上表示）
程序代码
调试機能
代码覆盖率
计测机能
模型、软件、目标代码
B2B测试执行
结果报告形成机能
MC-Verifier B2B测试架构
产品实装
※模型 = MATLAB/Simulink 模型
式样模型
（高抽象度）
设计
B2B
机能安全国标
机能安全国标机能安全国标
机能安全国标
ISO26262/IEC61508
ISO26262/IEC61508ISO26262/IEC61508
ISO26262/IEC61508
工具认证取得
工具认证取得工具认证取得
工具认证取得！
！！
！
基于模型开发
基于模型开发基于模型开发
基于模型开发 Back
BackBack
Back-
--
-to
toto
to-
--
-Back
BackBack
Back（
（（
（B2B
B2BB2B
B2B）
））
） 测试
测试测试
测试 用例
用例用例
用例
资源评论
