当前位置:
文档之家› 数字化仿真平台实现关键软件测试与验证
数字化仿真平台实现关键软件测试与验证
LDRA tool suite
Host Target … Coverage (MCDC, DC, …)
Test results (OK/Failed)
Coverage At Model level for SCADE, At Code level from LDRA
/\N SYS I
· 应用SCADE Suite生成源代码和测试用 例
• 全面的解决方案
– 完全支持CMMI,敏捷,TDD等更多的过程模型 – 完全支持人工编写代码/自动生成代码混合的开发环境
SCADE Model
SCADE TCTCeTCeaesasastsstsetees
Legacy User Code (C or ADA)
Other Software
SCADE/LDRA
29/03沺 1 15奴 I 291!)3fl0121 5心
- · -- 29/0l/沁1115心 及 /03心 12 21'°1
N.,. fold
T吓 TCFF心 TCFFd, TCFF,,. TCFF心 TCH , TCF le
· 与仇成开发环境 ( IDE的兼容性
0
0
0
从全数字仿真到真实目标机
• 从模型测试到目标机测试
– 模型行为和模型覆盖 – 主机软件在环(SIL)的模型/代码行为和结构化覆盖率 – 目标机处理器在环(PIL)的模型/代码行为和结构化覆盖率
• 贯穿整个生命周期的测试迁移
关键软件测试验证挑战
• 软硬件集成阶段
关键软件测试验证挑战
• 系统测试阶段
议程
01 高安全性系统软件测试与验证挑战 02 集成数字化仿真测试验证解决方案 03 数字化仿真测试验证 04 总结
未满足全部EOC验证目标
可执行目标 码符合低级
需求
满足低级 需求的测 试覆盖率
可执行代码对 于低级需求是
鲁棒性的
不正确的异常处理 数据损坏 时间相关的需求和性能 硬件资源相关的性能 硬件监控需求
独立目标机验证
• DO-331的6.8.2章节详细描述目标机环境下测试的要求
– 可执行的目标码(EOC)验证活动 – 结构化覆盖率 – 浮点和其他与目标机相关的差异
· 集成LORA TOOLSUITE进行基于目标 硬件的自动回归测试
· 减少93% 的测试用例执行时间
·共计数刀个测试用例
· 高度自动化和优化的目标集成,可扩展 ,性和 性能
Export TBrun compatible tests from QTE
O.g, n心. Nomt
r., ludtm lib『 Uf ,
全数字仿真系统
数字及物理混合仿真系统
真实目标机
基于模型的硬件在环调试
宿主
ISYSTEM虚拟目标机 或 真实目标
机
机
映射接口
SCADE KCG代码
代理程序
SCADE IDE
硬件驱动
通信连接
通信连
接 ISYSTEM 虚拟仿真验证平台
议程
01 高安全性系统软件测试与验证挑战 02 集成数字化仿真测试验证解决方案 03 数字化仿真测试验证 04 总结
集成数字化仿真测试验证
从SCADE 到 LDRA Toolsuite
• 使用Scade和 LDRA工具套件大大提高工作效率
– Scade:建模、仿真和验证以及代码生成 – LDRA 工具套件:需求追踪、编码标准、代码覆盖,低级别测试
和符合性管理
• 二者集成带来更大收益
– 更有效地将工程规范和团队联系在一起 – 大幅降低认证风险和项目成本
基于模型开发的测试与验证
EOC测试
功能验证
数据/控制 耦合分析
性能测试
故障测试
。。。
低级需求验证
高级需求验证
控制及数据耦合分析
Requirement based Test case
Unexecuted code for the given test case
Unexecuted data reference for the given test case
数字化仿真平台实现关键软件 测试与验证
议程
01 高安全性系统软件测试与验证挑战 02 集成数字化仿真测试验证解决方案 Hale Waihona Puke 3 数字化仿真测试验证 04 总结
议程
01 高安全性系统软件测试与验证挑战 02 集成数字化仿真测试验证解决方案 03 数字化仿真测试验证 04 总结
基于模型开发
SCADE极大减少认证成本
匕 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 N001总 匕 O_TC_T风-N-_OOl.td 匕 父 ADE.tel
沁 『,听 h •
Bu『
改 , mod 攸 d
29,01m 1216幼 29/0l /101215心
结构覆盖度量
结构覆盖度量
目标码验证
性能分析及硬件资源监控
✓ 覆盖率分析 ✓ 函数性能分析 ✓ 任务分析 ✓ 变量监控
✓ 堆栈分析 ✓ 内存泄漏分析 ✓ Trace分析 ✓ 逻辑分析
故障注入
议程
01 高安全性系统软件测试与验证挑战 02 集成数字化仿真测试验证解决方案 03 数字化仿真测试验证 04 总结
全面助力行业标准认证
DO-178B/C
IEC 61508
EN 50128
IEC 62304
。。。
ISO 26262
感谢聆听!