SCADEQTE认证测试环境.PDFVIP

© 2013 ANSYS, Inc. August 23, 2014 1 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential Proprietary SCADE QTE认证测试环境 爱斯特尔技术公司 高级咨询 周倚平 © 2013 ANSYS, Inc. August 23, 2014 2 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential Proprietary • QTE测试环境准备 • 基于PC机的QTE模型仿真验证 Agenda © 2013 ANSYS, Inc. August 23, 2014 3 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential Proprietary QTE测试环境准备 © 2013 ANSYS, Inc. August 23, 2014 4 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential Proprietary • SCADE Lifecycle Qualified Test Environment（QTE）（自动测 试工具）是一套经过DO-178B认证的自动测试环境，它能自动执 行主机和目标机的测试 QTE © 2013 ANSYS, Inc. August 23, 2014 5 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential Proprietary • 对于主机，QTE能够自动执行sss格式的测试脚本，对模型的功能 进行验证 • 对于目标机，它能把测试用例翻译成基于目标机测试工具（IBM RTRT, LDRA TestBed, Vector Cast）所要求的格式。执行完测试， 它能生成测试报告以及模型覆盖率分析报告 QTE Host Target © 2013 ANSYS, Inc. August 23, 2014 6 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential Proprietary Define Test Strategy (Architecture, tests models, tests cases, etc…) SCADE LifeCycle QTE for Model Simulation on Host Model Simulation on Host Analyze Model Simulation and Coverage Results From Planning to Test Data Production Run Simulation Sessions (QTE/MTC) Produce QTE Test Database Refine tests Produce Consolidated Reports QTE 工作流 Tests are produced SCADE LifeCycle QTE for Testing on Target Testing Preparation Model is successfully verified on Host and tests are refined Generate Target Test Harnesses Target Test Environment Generate Code for Testing on Target Test Results Refine tests Tests on Target are prepared SCADE Suite KCG-generated code Creating Test Result Project © 2013 ANSYS, Inc. August 23, 2014 7 © Esterel Technologies - An ISO 9001:2008 Certified Company - Confidential Proprietary QTE 用