ANSYS SCADE Test Capabilities

需求验证

SCADE Test 快速原型可以使用预定义的小部件(按钮、滑块等)创建交互式面板,与正在测试的应用程序进行交互。它支持模型模拟,包括与 SCADE Suite、SCADE Display、ANSYS Twin Builder 及许多其他工具进行连接。早期需求验证可通过各种功能实现:

  • 从预定义的小部件库(控件和指示器)实现图形面板设计,包括下一代人机界面 (HMI) 概念(手势识别、图形动画)
  • 用于调试和模拟会话的交互式图形面板
  • 可扩展库和可自定义的小部件
  • 跨 SCADE 产品的统一项目结构,用于管理项目文件和资源
  • 轻松的资源表管理(颜色、线/宽点数、纹理、字体、符号、图片)
  • 变量字典管理
  • 自动生成适用于 Windows/PC、Apple iOS 或 Android 平台的可执行应用程序,无需运行时费用
  • 与基于 SCADE Suite 模型的开发环境、ANSYS Twin Builder 和其他符合 FMI 的工具集成
  • 在符合 FMI 的工具中针对分布式/网络模拟生成 FMU 代理

VIDEO: Introduction to the ANSYS SCADE Test Rapid Prototyping Capabilities

SCADE Test: Requirements Validation


在主机上测试控制软件应用程序

SCADE 主机测试环境提供了一个交互式的批处理用户界面用于使用 SCADE Suite 开发的控制软件应用程序。从交互式界面,您可以创建和管理测试数据,设置和启动测试执行,以及获取汇总和详细的测试执行报告。

SCADE 主机测试环境的功能:

  • 测试场景记录
  • 测试项目中的对测试数据进行交互式管理
  • 测试项目中对测试结果进行交互式分析
  • 增加测试案例的可读性,用于高效审查
  • 表格或文本格式
  • 测试案例模板生成和 Microsoft® Excel® 网关
  • 强大的预期结果检查能力:
  • 无变量检查
  • 通过数据或数据组定制精确度公差
  • 独立于模型实施的测试案例定义
  • 将逻辑名称与实施名称关联的别名表。此表可重复用于所有测试案例。
  • 模块化设计,可重复使用和分解(初始化序列)
  • 易于维护测试数据

VIDEO: How to Verify a Model on Host with SCADE Test?

SCADE Test: Testing Control Software Applications on Host


在主机上测试图形用户界面

SCADE 主机测试环境提供了一个交互式的批处理用户界面用于使用 SCADE Display 开发的图形用户界面应用程序。通过交互式界面,您可以创建和管理测试数据、设置和启动测试执行,以及获取汇总和详细的测试执行报告。

SCADE 主机测试环境的功能:

  • 测试场景记录
  • 测试项目中的对测试数据进行交互式管理
  • 测试项目中对测试结果进行交互式分析
  • 增加测试案例的可读性,用于高效审查
  • 表格或文本格式
  • 测试案例模板生成和 Microsoft® Excel® 网关
  • 强大的预期结果检查能力
  • 无变量检查
  • 通过数据或数据组定制精确度公差
  • 独立于模型实施的测试案例定义
  • 将逻辑名称与实施名称关联的别名表。此表可重复用于所有测试案例。
  • 模块化设计,可重复使用和分解(初始化序列)
  • 易于维护测试数据

VIDEO: Breakthrough Support of HMI Testing

SCADE Test: Testing Graphical User Interfaces on Host


模型和代码覆盖率分析

SCADE Test Model Coverage 扩展了 SCADE Suite 应用程序的开发,涵盖了模型和生成代码的覆盖率测量。此功能依赖于基于需求的高级别测试套件。在主机上创建和执行测试案例后,SCADE 主机测试环境会与 SCADE Test Model Coverage 配合,实现测试案例模型覆盖率的测量。

模型级覆盖率会衡量以下标准:

  • 决策结构
  • 控制流、状态机器、选择
  • 决策覆盖率 (DC)
  • 修改的条件/决策覆盖率 (MC/DC)
  • 控制和数据耦合覆盖率

代码级覆盖率会测量以下结构覆盖率标准:

  • 入口/出口点覆盖率
  • 决策覆盖率
  • 修改的条件/决策覆盖率

SCADE Test Model Coverage 被鉴定为符合 DO-178B 要求的工具,以及符合 DO-178C 的 DO-330 TQL-5 要求的工具。

VIDEO: How to Verify a Model on Host with SCADE Test?

SCADE Test: Model and Code Coverage Analysis


目标测试执行

SCADE Test Target Execution 会自动生成 COTS 工具(IBM Rational® Test RealTime、LDRA TestBed®、Vector Software VectorCAST™)的目标测试工具。它支持使用 SCADE Suite 开发的应用程序。

SCADE Test Target Execution 会将模型测试案例转换为测试工具。工具可定制化生成,从而与任何内部或 COTS 目标测试基础架构集成。

SCADE Test Target Execution 被鉴定为符合 DO-178B 要求的工具,以及符合 DO-178C 的 DO-330 TQL-5 要求的工具。

VIDEO: How to Prepare Software Testing on Target With SCADE Test

SCADE Test: Test Execution on Target


系统级环路测试

SCADE 主机测试环境提供了一款测试服务 API,使您能够在系统级环路测试环境中执行软件测试。您可使用 SCADE Test Services API 在测试软件模型覆盖率的同时测试整个系统。利用 Test Services API,您可访问在快照文件 (.sns) 中保存/加载应用程序状态的功能。快照是一种存储 SCADE 应用程序状态的文本文件,包括输入/输出值、内存、传感器和周期数。此文件是系统级环路测试环境中记录序列的结果。包含覆盖率测量值的快照文件将被加载到 SCADE 测试环境中以报告覆盖率结果。

VIDEO: How to do Closed Loop Testing with ANSYS Twin Builder and SCADE

SCADE Test: System-in-the-Loop Testing