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