快速的规格
Ansys SCADE Test可以减少嵌入式软件验证活动的时间和成本,实现软件的可靠性。
Ansys SCADE测试是一个完整的测试环境,用于需求验证以及测试用例的创建和管理。您可以在主机和目标上自动执行测试用例,测量覆盖率并管理任何SCADE应用程序的测试结果。
Ansys SCADE测试用于验证和验证(V&V)活动,在基于模型的方法和经济有效的测试环境中受益于一流的技术,使他们大大减少了测试工作。
Ansys SCADE Test可以减少嵌入式软件验证活动的时间和成本,实现软件的可靠性。
使用Ansys SCADE测试以很小的成本进行嵌入式代码测试。
提前开始需求验证所需要的一切
SCADE测试解决方案的一个关键方面是与SCADE系列产品的完全集成。通过一系列特性尽早验证您的需求,这些特性包括预定义小部件库、下一代HMI概念、用于调试和模拟会话的交互式图形面板、与SCADE suite基于模型的开发环境的完全集成,以及为大多数常见平台自动生成可执行应用程序
SCADE Test Environment for Host为您提供了一个交互式界面,可用于管理测试数据、设置和测试执行以及获取详细的测试报告。通过应用程序的交互式分析工具,可以轻松查看、分析和管理测试报告,这些工具提供了对预期结果的强大检查能力。SCADE测试执行引擎是符合DO-178C/DO-330 TQL-5、ISO 26262 TCL3、EN 50128 T2和IEC 61508 T2标准的合格开发工具,因此您无需担心在主机上正确执行基于模型的测试。这使不同的团队能够跨嵌入式软件满足功能安全和SOTIF标准,电子、感知和其他领域-到 轻松、更无缝地协作。
SCADE测试模型覆盖率,结合SCADE主机测试环境,允许您度量在主机上创建和执行的测试用例的模型覆盖率。更好的是,将模型和代码覆盖合并到单个活动中,将所需的时间和精力减半。根据DO-178C/DO-330 TQL-4、ISO 26262 TCL3、EN 50128 T2和IEC 61508 T2,模型级别覆盖测量合格开发工具中的分支覆盖、决策覆盖和修改条件/决策覆盖。
通过SCADE测试目标执行,您将能够自动生成知名第三方产品的目标工具,如IBM Rational®Test RealTime,用于SCADE套件的LDRA TestBed®和用于SCADE套件的Vector Software VectorCAST™。您还可以享受对SCADE Suite或欧洲杯四强竞猜SCADE Display开发的应用程序的支持。自动将模型测试用例转换为可集成到任何内部或商业基础设施的可定制的工具。与SCADE测试的其他部分一样,Test Harness Generator是一个符合多种标准的合格开发工具。
在使用SCADE Test Services API测试整个系统的同时度量软件模型的覆盖率。2021欧洲杯足球竞猜使用API,您可以在测试运行时访问函数来重置、加载和编写覆盖率结果。这允许您大胆地测试各种各样的场景,而且风险很小甚至没有,并且大大减少了根据需要更新或扩展测试覆盖率的时间。