基于SCADE的新型列控系统RBC测试方法研究.pdfVIP

基于SCADE的新型列控系统RBC测试 方法研究 主要内容 • SCADE概述 • 基于SCADE的分层测试方法介绍 • 分层测试方法在RBC交权模块中的应用 • 总结 ANSYS INNOVATION CONFERENCE 2021 2 SCADE概述 3 SCADE概述 • SCADE简介 SCADE 是一种高级语言和开发环境，用于开发安全关键的嵌入式控制软件，其代码生成 器KCG能够自动生成符合DO-178C ，IEC61508 ，EN50128 ，IEC60880和ISO26262要求的最 高安全等级代码，在航空航天、核电、轨道交通、汽车等领域有着广泛的应用。 • SCADE优势 SCADE开发模型从V模型转为Y模型，省去了编码和单元测试过程，有效控制开发成本； 开发流程可以覆盖软件开发生命周期的全过程，包括需求分析、模型建立、功能验证、 覆盖率分析、形式化验证、自动生成代码、需求追溯等； 工作重点集中在开发前期，以 “模型”为中心，减少了大量编写代码的时间，将验证确 认工作与开发过程同步进行； SCADE代码生成器经过TUV SUD认证，生成的代码没有动态内存分配、没有递归操作、循 环边界确定、没有基于指针的算术运算、执行时间确定等安全特点。 ANSYS INNOVATION CONFERENCE 2021 4 基于SCADE的分层测试方法 5 基于SCADE的分层测试方法 • SCADE测试数据 测试工程（Test Procedure ）：在指定的SCADE组件操 作符上运行的测试记录的集合，以.stp的文件形式体 需求 现，一个测试工程包含一个或多个测试记录。 测试环境 测试记录（Test Record ）：初始化文件和场景文件的 测试工程 SCADE组件操作符 测试用例 集合，一条测试记录包含一个或多个测试场景。 测试记录 测试场景（Test Scenario ）：设置输入数据、执行周 测试场景 测试场景 期和输出数据的一系列命令的集合，一个测试场景包 含一条或多条测试用例。 测试用例（Test Case ）：为了实现特定目标设计的一 图1 SCADE测试数据 系列输入、执行条件和预期输出的集合。 ANSYS INNOVATION CONFERENCE 2021 6 基于SCADE的分层测试方法 • 基于SCADE TEST的分层测试思路 优先以软件系统的最顶层节点为入口按照功能需求设计功能测试用例；如果软件系统过 于复杂，也可以以独立功能的顶层节点为入口设计测试用例；  对于很难或无法从顶层节点用例获取模型覆盖率的分支或边界，可以以叶子节点为入口 设计测试用例进行补足，无需对所有节点逐一进行用例设计。 • 基于SCADE TEST分层测试的优势  将单元测试和集成测试相融合，使用同一组测试用例即可同时覆盖上层节点和底层节点；  在满足功能覆盖的同时也能满足接口覆盖，同时能满足单元测试中的语句覆盖、分支覆 盖及MCDC覆盖。