测试创建和维护以及测试的执行和覆盖分析,都是十分耗时的工作。针对检验和验证 (V&V) 的 SCADE Test 可提供基于模型、经济高效的测试环境领域内的一流技术,帮助您显著减少测试工作。
SCADE Test快速原型构建器让您能够使用预先定义的小工具(按钮、滑块等)创建交互式面板,以便与待测应用进行交互。它能进行模型仿真,包括与SCADE Suite、SCADE Display、ANSYS Simplorer和很多其它工具的连接。它具备易于设计的交互式图形化面板,能利用这些特性实现早期需求验证功能。
SCADE Test Environment for Host模块能让使用SCADE Suite的嵌入式软件开发人员自动创建和管理测试案例。SCADE Test Environment for Host还允许用户在主机上运行模型化验证活动中所创建的测试案例。合规性报告的生成以及模型覆盖检测都是自动执行,与手动测试相比能节省大量时间和成本。
SCADE Test Model Coverage模块提供对模型和所生成代码的覆盖范围测量,以便对SCADE Test环境进行扩展,这依赖于基于需求的高级测试套件。创建并在主机上执行测试案例后,Test Environment for Host以及SCADE Test Model Coverage就可以测量测试案例的模型覆盖。
SCADE Test Target Execution能自动生成面向COTS工具(IBM Rational TestRealTime、LDRA TestBed、Vector Software VectorCAST)的目标测试装置。它包含一个Test Harness Generator,该工具可实现自定义,以集成到任何组织内部的或COTS目标测试基础架构中。