跳到主要内容

万博Ansys SCADE测试
测试,验证和验证嵌入式软件

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

完整的测试环境

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

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

万博用于验证和验证(V&V)活动的Ansys SCADE Test得益于基于模型的方法和具有成本效益的测试环境中的一流技术,从而大大减少了测试工作。

  • 检查图标轮廓
    验证和测试创建
  • 检查图标轮廓
    主机执行和模型覆盖
  • 检查图标轮廓
    目标执行
  • 检查图标轮廓
    完整的应用程序生命周期管理
2020 - 12 - scade -测试- - solution.jpg集成

快速的规格

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

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

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

嵌入式代码测试在成本的一小部分与Ansys SCADE测试。万博

2021 - 02年- scade -测试-白- paper.jpg

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

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

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

功能

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

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

关键特性

您需要的一切都可以在需求确认的早期开始

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

SCADE测试解决方案的一个关键方面是与SCADE系列产品完全集成。万博网尽早用一套功能来验证您的需求,这些功能包括预定义的小部件库、下一代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 tqc -4、ISO 26262 TCL3、EN 50128 T2和IEC 61508 T2,模型级覆盖度量一个合格开发工具内的分支覆盖、决策覆盖和修改条件/决策覆盖。

有了SCADE Test Target Execution,您将能够为大名的第三方产品(如IBM Rational®Test RealTime, LDRA TestBed®for)自动生成目标控制万博网SCADE套件矢量软件VectorCAST™用于SCADE套件。您还可以享受对使用SCADE Suite开发的应用程序的支持SCADE显示。自动将模型测试用例转换为可集成到任何内部或商业基础结构中的可定制的工具。像SCADE测试的其他部分一样,测试线束生成器是一个符合多种不同标准的合格开发工具。

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

资源与活动

白皮书

2020 - 12 -白-纸-图标- block.jpg
白皮书

万博Ansys SCADE Test:降低嵌入式代码测试成本的集成解决方案

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


数据表

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

万博Ansys SCADE Test Technical Datasheet

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

万博Ansys软件可访问

对于Ansys来说,所有用户万博,包括残疾人,都能访问我们的产品是至关重要的。万博网因此,我们努力遵循基于美国访问委员会(Section 508)、Web内容可访问性指南(WCAG)和自愿产品可访问性模板(VPAT)当前格式的可访问性要求。

看看Ansys能为万博您做些什么

立即联系我们

* =必填字段

谢谢你的帮助!

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

页脚的形象