跳转至主要内容

必威体育网址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 -测试- - solution.jpg集成

快速规格

必威体育网址Ansys SCADE Test可以减少嵌入式软件验证活动的时间和成本,实现软件的可靠性。

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

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

使用Ansys SCADE测试以一小部分成本进行嵌入式代码测试。必威体育网址

2021-02-SCADE-TEST-WHITE-PAPER.JPG

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

在验证和验证嵌入式软件时,测试工程师面临多种困难挑战。测试创建和维护,以及执行和覆盖分析,是时间密集的活动,往往涉及大量的手工工作。此外,软件测试工作在开发阶段晚期表现出昂贵的设计返工。在某些情况下,软件要求不充分(甚至不完整)以满足用户需求。软件设计可以记录不足,测试执行基础架构必须适应各种硬件目标。但是,在流程结束时,从任务关键的角度来看,最终产品中应该没有软件错误。52betway.com

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

能力

必威体育网址ANSYS SCADE测试允许您提前测试,减少后期设计工作

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

关键特性

您需要尽早开始需求验证的一切

  • 需求验证
  • 交互式和批量用户界面
  • 模型和代码覆盖分析
  • 目标上的测试执行
  • System-in-the-Loop测试

SCADE测试解决方案的一个关键方面与SADE系列产品完全集成。52betway.com早期验证您的要求,其中包含一个预定义小部件的库,下一代HMI概念,用于调试和仿真会话的交互式图形面板,与基于SCADE套件的开发环境完全集成,以及自动生成可执行的可执行文件应用于大多数常见平台

SCADE主机测试环境为您提供了一个交互界面,您可以使用该界面来管理测试数据,设置和测试执行,并获取详细的测试报告。通过应用程序的交互式分析工具,可以很容易地查看、分析和管理测试报告,这些工具提供了对预期结果的强大检查能力。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,模型级覆盖范围措施分支覆盖范围,决策覆盖率和修改条件/决策覆盖范围,ISO 26262 TCL3,EN 50128 T2和IEC 61508 T2。

有了SCADE测试目标执行,您将能够为大名鼎鼎的第三方产品(如IBM Rational®Test RealTime, LDRA TestBed®for SCADE Suite和Vector Software VectorCAST™for SC52betway.comADE Suite)自动生成目标利用。您还可以享受支持SCADE套件或SCADE Display开发的应用程序。自动将模型测试用例转换为可集成到任何内部或商业基础设施的可定制的工具。与SCADE测试的其他部分一样,Test Harness Generator是一个符合多种不同标准的合格开发工具。

在使用SCADE测试服务API测试整个系统时,测量软件模型覆盖率。使用API,您可以访问函数来在测试运行时重置、加载和写入覆盖结果。这允许您无畏地测试大量的场景,并且几乎没有风险,并且根据需要大大减少更新或扩展测试覆盖率的时间。

资源和事件

白皮书

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

必威体育网址ANSYS SCADE测试:一种缩小嵌入式代码测试成本的集成解决方案

本文介绍了基于集成的模型的测试解决方案如何帮助测试工程师降低测试成本,速度认证,并将其产品提高到市场。52betway.com


小册子

2020-12-宣传册 -  icon-block.jpg

必威体育网址ANSYS SCADE测试技术数据表

SCADE Test是ANSYS52betway.com嵌入式软件系列产必威体育网址品和解决方案的产品系列,提供测试工程师,具有完整的测试环境,用于需求验证,以及测试案例创建和管理。它允许工程师自动执行主机和目标的测试用例执行,测量覆盖范围和管理任何SCADE应用程序的测试结果。

准备好成为不可能的可能吗?

联系我们

* =必填字段

谢谢你伸出去!

我们在这里回答您的问题,并期待与您交谈。我们Ansys销售团队的成员将很必威体育网址快与您联系。

页脚的形象