Model-Based Testing Community | Connecting the MBT world…

Archive for December 2013



Parallelization to speed up MBT

In contrast to classical manual testing, MBT proposes generating test cases automatically from formal models. But the number of generated test cases can become huge, especially if the specification is large, the test case generation algorithm too simple (e.g. based mainly on randomization), or some coverage criterion needs to be achieved. Consequently, MBT needs to […]

No tags

Theme Design by
© by MBT Community 2011