数字化仿真平台实现关键软件测试与验证

1、数字化仿真平台实现关键软件测试与验证议程高安全性系统软件测试与验证挑战01集成数字化仿真测试验证解决方案02数字化仿真测试验证03总结04议程高安全性系统软件测试与验证挑战01集成数字化仿真测试验证解决方案02数字化仿真测试验证03总结04基于模型开发SCADE极大减少认证成本未满足全部EOC验证目标可执行目标 码符合低级 需求可执行代码对 于低级需求是 鲁棒性的满足低级 需求的测 试覆盖率不正确的异常处理数据损坏时间相关的需求和性能 硬件资源相关的性能 硬件监控需求独立目标机验证DO-331的6.8.2章节详细描述目标机环境下测试的要求可执行的目标码(EOC)验证活动结构化覆盖率浮点和其他与

2、目标机相关的差异从模型测试到目标机测试模型行为和模型覆盖主机软件在环(SIL)的模型/代码行为和结构化覆盖率目标机处理器在环(PIL)的模型/代码行为和结构化覆盖率贯穿整个生命周期的测试迁移关键软件测试验证挑战软硬件集成阶段关键软件测试验证挑战系统测试阶段议程高安全性系统软件测试与验证挑战01集成数字化仿真测试验证解决方案02数字化仿真测试验证03总结04集成数字化仿真测试验证从SCADE 到 LDRA Toolsuite使用Scade和 LDRA工具套件大大提高工作效率Scade：建模、仿真和验证以及代码生成LDRA 工具套件：需求追踪、编码标准、代码覆盖，低级别测试和符合性管理二者集成带来

3、更大收益更有效地将工程规范和团队联系在一起大幅降低认证风险和项目成本全面的解决方案完全支持CMMI，敏捷，TDD等更多的过程模型完全支持人工编写代码/自动生成代码混合的开发环境SCADEModelTest results (OK/Failed)Coverage At Model level for SCADE,At Code level from LDRATestCaseSCADETTeessttCCaasseesLegacy User Code (C or ADA)OtherSoftwareSCADE/LDRALDRAtool suiteHost Target Coverage (MCDC,

4、DC, )/NSYS I应用SCADE Suite生成源代码和测试用 例集成LORA TOOLSUITE进行基于目标 硬件的自动回归测试减少93% 的测试用例执行时间共计数刀个测试用例高度自动化和优化的目标集成， 可扩展，性和 性能与仇成开发环境 ( IDE的兼容性Export TBrun compatible tests from QTE沁 ，听 h Bur., ludtm lib Uf -,O.g, n心.Nomt改 , mod 攸 dN.,. fo ldT吓29,01m 12 16幼29/0l /101215心29/03沺 1 15奴I291!)3fl0121 5 心29/0l/ 沁11

5、15心TCFF心 TCFFd, TCFF,.TCFF心 TCH ,- -匕o _r c_c c_ N_oo1.,ct 口 O_TC_C 沁 l_tl _OOl .t f LJ O_T( _CSM_R_O, O .t :i匕O_TC_RM N 001总匕O_TC_T风N_OOl .td匕父ADE.t el及/03心 12 211TCF le000从全数字仿真到真实目标机全数字仿真系统数字及物理混合仿真系统真实目标机基于模型的硬件在环调试SCADE KCG代码ISYSTEM 虚拟仿真验证平台代理程序映射接口ISYSTEM虚拟目标机 或 真实目标机宿主机SCADE IDE通信连接通信连接硬件驱动议程

6、高安全性系统软件测试与验证挑战01集成数字化仿真测试验证解决方案02数字化仿真测试验证03总结04基于模型开发的测试与验证EOC测试功能验证数据/控制 耦合分析性能测试故障测试。低级需求验证高级需求验证控制及数据耦合分析Requirementbased Test caseUnexecuted code for the given test caseUnexecuted data reference for the given test case结构覆盖度量结构覆盖度量目标码验证性能分析及硬件资源监控覆盖率分析函数性能分析任务分析变量监控堆栈分析内存泄漏分析Trace分析逻辑分析故障注入议程高安全性系统软件测试与验证挑