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

您了解SOTIF吗？作为ISO 26262的补充，SOTIF（预期功能安全）标准在业内受到越来越多的关注。
在本次研讨会上我们的专家将为您解读SOTIF标准ISO/PAS 21448。SOTIF与ISO 26262有什么不同？SOTIF 如何影响开发过程，需要关注哪些内容，具有怎样的开发流程和思路？欢迎您利用本次研讨会的机会获得一些新的见解。

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

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

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