基于MathWorks工具链的处理器在环测试_董淑成.pdf

基于MathWorks工具链的处理器在环测试 董淑成 Email: shucheng.dong@mathworks.cn MathWorks中国 © 2014 The MathWorks, Inc. 1 大纲  处理器在环测试的必要性  MathWorks提供的处理器在环测试框架  处理器在环测试的实现举例 2 ISO 26262中有关软件工具的要求 3 ISO 26262中软件工具的分类和审核 工具分类 工具资质审核 工具的功能/ 工具的影响 工具错误的检测 工具置信水平 用例 ASIL 增 软件工具有引入错误或 加 者不能检出错误的可能 无/ 低 审 TD 3 TCL 3 为TCL3级的资质审核 TI 2 中 核 TD 2 需 求 UC TCL 2 为TCL2级的资质审核 1..n TD 1 高 TI 1 TCL 1 无需额外的资质审核 工具引入或者 无法检测出错误 预防错误或者 软件工具 工具审核措施 的可能性 检测错误的信心 置信水平分类 4 等效性测试  如果代码生成工具出错，那么系统发生故障的概率很大。  从流程上增加等效性测试环节，以便检查出代码生成工具的错误。  等效性测试有两种方式 – 软件在环（SIL）测试 – 处理器在环（PIL）测试  等效性测试的测试用例 – 要满足足够高的覆盖率 – 可以功能无关的数据 – 可以重用功能测试的测试用例 5 软件在环（SIL）测试和处理器在环（PIL）测试 SIL测试 PIL测试 算法运行平台