Newsletter Das wichtigste im Blick.

为您量身定做的网络研讨会

模型测试中最大挑战是正确处理需求,以便可以在测试评估中利用这些需求,系统地创建测试用例,从而激励模型进行相应的仿真。
在以前的网络研讨会中,我们向您展示了如何使用MES Test Manager®(MTest)及 MTest 类似于自然语言的可评估需求的形式化语言 MARS。MARS 可用于需求的系统化并清晰地描述需求。此外,还有自动生成评估函数的功能,用于基于需求的测试结果评估。
在此网络研讨会中,我们将向您展示 MTest 的新功能 - 利用 MARS 需求生成功能测试序列的原型。通过分析需求条件,MARS 可以根据需求自动导出激励模型的信号,自动生成适当的测试序列。MARS为测试对象提供测试序列,从而满足针对需求的高覆盖率。
此外,我们将向您展示测试用例变体(TCV)这一新功能。如何与测试序列的生成保持一致,并以最小的工作量系统地添加测试用例。现在,您可以分配值列表,而不是为参数和信号分配值。这些列表将用于通过组合已经使用的列表来自动生成测试序列。这使用户可以自由设置和添加系统的测试用例。
结合这些新功能,MTest 改善了对系统测试和测试用例创建的支持。这样无需执行重复、耗时且容易出错的工作。它极大地加快了针对需求的高覆盖率和针对结构的高覆盖率的测试用例的创建。在此网络研讨会中,您将了解这些强大和易用的功能,学习如何方便地将生成的测试序列集成到MTest中。

 

中文网络研讨会于2019年11月5日举办。

您目前是否也面临着这样的挑战,改变您的软件开发流程,使之符合ISO 26262标准,并保持与2018年的更新同步?
本软件开发流程符合最新标准的更新, 是开发安全相关软件的标准套件。我们的下一场网络研讨会将提供一个分步教程,教您如何制订您的符合ISO 26262:2018标准的开发流程。

 

中文网络研讨会于2019年9月23日举办。

您是否希望了解 MES M-XRAY® 和 MES Model Examiner®(MXAM)新版本的新功能?如何改进和简化软件模型的规范检查和结构分析?我们将通过示例演示新版工具的更新应用。新版本的功能亮点包括新增的自定义规范检查综合向导、视图过滤器的可读性增强、同一个项目中多文档选择的规范检查一致性验证。

 

中文网络研讨会于2019年7月31日举办。

MES测试管理器(MTest)是使用形式化需求对基于需求的软件模型进行测试的工具。 MTest 提供详细的测试文档和测试结果报告,这对于功能安全尤其重要。 借此可以可靠地评估测试的质量和测试的完整性。
除了重要功能简介,此次网络研讨会还将展示 MTest 当前版本的新功能。 例如面向 Simulink®/Embedded Coder® 用户,新版本提升了测试速度,增加了子系统的模型/代码覆盖率忽略功能以及增强了对Simulink® 数据字典 SLDD 的支持。