快速的规格
Ansys SCADE Test可减少嵌入式软件验证活动的时间和成本,实现可靠的软件。
Ansys SCADE Test是一个完整的测试环境,用于验证需求,创建和管理测试用例。您可以在主机和目标上自动化测试用例执行,测量覆盖率并管理任何测试结果SCADE应用程序.
Ansys SCADE验证和验证(V&V)活动受益于基于模型的方法和经济有效的测试环境中最好的技术,允许他们显著减少测试工作。
Ansys SCADE Test可减少嵌入式软件验证活动的时间和成本,实现可靠的软件。
基于Ansys SCADE测试的嵌入式代码测试成本的一小部分。
功能
使用SCADE Test,您可以尽早开始需求验证和自动化测试,以确保在早期开发阶段的遵从性,并减少后期设计更改的成本。完整的交互式测试环境可以通过图形小部件轻松实现原型设计和验证;模型测试执行、模型覆盖结果的报告以及硬件目标的测试转换都是自动化的。测试报告的生成符合安全标准(DO-178C, ISO 26262, EN 50128, IEC 61508)。
您需要尽早开始进行需求验证的一切
SCADE Test解决方案的一个关键方面是与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 TQL-4、ISO 26262 TCL3、EN 50128 T2和IEC 61508 T2,模型级覆盖测量合格开发工具中的分支覆盖、决策覆盖和修改的条件/决策覆盖。
在使用SCADE测试服务API测试整个系统时测量软件模型覆盖范围。使用API,您可以在测试运行时访问函数来重置、加载和写入覆盖率结果。这允许您无畏地测试大量不同的场景,几乎没有风险,并且大大减少了根据需要更新或扩展测试覆盖率的时间。
这是至关重要的Ansys,所有用户,包括那些残疾,可以访问我们的产品。因此,我们努力遵循基于美国访问委员会(章节508)、Web内容易访问性指南(WCAG)和自愿产品易访问性模板(VPAT)的当前格式的易访问性要求。