跳转到主要内容

Ansys SCADE试验
测试、验证和验证嵌入式软件

Ansys SCADE测试是一个完整的嵌入式软件测试环境,用于需求验证以及测试用例的创建和管理。

完整的测试环境

降低嵌入式代码测试成本的集成解决方案

Ansys SCADE测试是一个完整的测试环境,用于需求验证以及测试用例的创建和管理。您可以在主机和目标上自动执行测试用例,测量覆盖率并管理任何SCADE应用程序的测试结果。

Ansys SCADE验证和确认测试(V&V)活动得益于基于模型的方法和经济高效的测试环境中的同类最佳技术,使其能够显著减少测试工作。

  • check-icon-outline.png
    验证和测试创建
  • check-icon-outline.png
    主机执行和模型覆盖率
  • check-icon-outline.png
    目标执行
  • check-icon-outline.png
    完整的应用程序生命周期管理
2020-12-scade-test-integrated-solution.jpg

快速规格

Ansys SCADE测试被证明可以减少嵌入式软件验证活动的时间和成本,并实现可靠的软件验证。

  • 一流的技术
  • 完整的测试环境
  • 经验证的成本降低
  • 模型覆盖率分析
  • 自动化测试用例
  • 自动测试线束生成

降低嵌入式代码测试成本的集成解决方案

使用Ansys SCADE测试以很小的成本进行嵌入式代码测试。

2021-02-scade-test-white-paper.jpg

SCADE Test直观的图形用户界面可以帮助您有效地管理测试用例和测试结果。

在验证和验证嵌入式软件时,测试工程师面临几个困难的挑战。测试的创建和维护,以及执行和覆盖率分析,都是时间密集的活动,经常涉及大量的手工工作。此外,在开发阶段后期执行的软件测试工作会产生昂贵的设计返工。在某些情况下,软件需求不足以(甚至不完整)满足用户需求。软件设计可能没有足够的文档,测试执行基础设施必须适应各种硬件目标。但是在过程的最后,从关键任务的角度来看,最终产品中应该没有软件错误。

基于模型的集成测试解决方案可以帮助测试工程师降低测试成本,加快认证速度,并更快地将其产品推向市场。

能力

Ansys SCADE测试允许您进行早期测试,减少后期设计工作

使用SCADE测试,您可以尽早开始需求验证并自动化测试,以确保早期开发阶段的法规遵从性,并减少昂贵的后期设计更改。完整的交互式测试环境通过图形小部件轻松实现原型设计和验证;模型测试执行、模型覆盖率结果报告和硬件目标的测试转换是自动化的。测试报告生成符合安全标准(DO-178C、ISO 26262、EN 50128、IEC 61508)。

主要特征

尽早开始需求验证所需的一切

  • 需求验证
  • 交互式和批处理用户界面
  • 模型和代码覆盖率分析
  • 在目标上执行测试
  • 系统在环测试

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测试服务API测试整个系统时,测量软件模型覆盖率。使用API,您可以在测试运行时访问重置、加载和写入覆盖率结果的函数。这使您能够无所畏惧地测试爱游戏ayx桌面应用各种各样的场景,几乎没有风险,并大大减少了根据需要更新或扩展测试覆盖范围的时间。

资源与活动

白皮书

2020-12-white-paper-icon-block.jpg
白皮书

ansysscade测试:降低嵌入式代码测试成本的集成解决方案

本文介绍了集成的基于模型的测试解决方案如何帮助测试工程师降低测试成本,加快认证速度,并更快地将产品推向市场。


小册子

2020 - 12 -宣传册-图标- block.jpg

Ansys SCADE测试技术数据表

SCADE测试是Ansys嵌入式软件系列产品和解决方案的产品线,为测试工程师提供完整的测试环境,用于需求验证、测试用例创建和管理。它允许工程师在主机和目标上自动执行测试用例,测量覆盖率并管理任何SCADE应用程序的测试结果。

看看Ansys能为你做些什么

请立即与我们联系

*=必填字段

谢谢你的帮助!

我们在这里回答您的问题,并期待与您交谈。我们Ansys销售团队的一名成员将很快与您联系。

页脚图像