Model-Based Testing Community | Connecting the MBT world…

Archive for December 2013

Dec/13

25

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 devolux.nh2.me
© by MBT Community 2011