ANSYS SCADE Test

SCADE Test可为您提供一个完整的环境,用来创建和管理测试案例、测量覆盖范围、管理测试结果,并在主机和目标端为SCADE应用自动执行测试案例。

测试的创建和维护以及测试的执行和覆盖分析,都是非常耗时的工作。工程师采用SCADE Test进行确认和验证(V&V)工作,可从基于模型方法和低成本测试环境的较佳技术中受益,从而能够显著地减少其工作时间和费用。

产品概览

利用SCADE Test进行确认和验证(V&V)工作的测试工程师,现在可以受益于模型化方案以及高成本效率的测试环境,能够显著减少测试工作。

SCADE Test包含的模块可用于:

• 原型设计和测试创建
• 主机执行和模型覆盖
• 目标执行
• 应用程序生命周期管理

功能特点

SCADE Test快速原型构建器

SCADE Test快速原型构建器让您能够使用预先定义的小工具(按钮、滑块等)创建交互式面板,以便与待测应用进行交互。它能进行模型仿真,包括与SCADE Suite、SCADE Display、ANSYS Simplorer和很多其它工具的连接。它具备易于设计的交互式图形化面板,能利用这些特性实现早期需求验证功能:

SCADE Test Environment for Host

SCADE Test Environment for Host模块能让使用SCADE Suite的嵌入式软件开发人员自动创建和管理测试案例。SCADE Test Environment for Host还允许用户在主机上运行模型化验证活动中所创建的测试案例。合规性报告的生成以及模型覆盖检测都是自动执行,与手动测试相比能节省大量时间和成本。

SCADE Test Model Coverage

SCADE Test Model Coverage模块提供对模型和所生成代码的覆盖范围测量,以便对SCADE Test环境进行扩展,这依赖于基于需求的高级测试套件。创建并在主机上执行测试案例后,Test Environment for Host以及SCADE Test Model Coverage就可以测量测试案例的模型覆盖。

SCADE Test Target Execution

SCADE Test Target Execution能自动生成面向COTS工具(IBM Rational® TestRealTime、LDRA TestBed®、Vector Software VectorCAST™)的目标测试装置。它包含一个Test Harness Generator,该工具可实现自定义,以集成到任何组织内部的或COTS目标测试基础架构中。Test Harness Generator可将模型测试案例转换为测试装置,已认证成为符合DO-178B标准的验证工具以及符合DO-178C标准的DO-330 TQL-5工具。SCADE Test Target Execution支持在SCADE Suite中开发的应用。