Search

Search Results

• MTR framework for teaching model-based testing

  127-144

  Gábor Árpád Németh

  Máté István Lugosi

  Views:

  49

  In the current article, it is presented how Model ≫ Test ≫ Relax (MTR), a free and open-source, extended finite state machine model-based testing framework can be used for education purposes. With the education-related features of MTR – such as graph visualizations, subsequence creation, test suite export – the students are able to understand the concept behind model-based testing, the working of different model conversion and test generation algorithms. With project works, the students use the MTR framework for the automatic test design of a simplified, small scale realworld example. The framework also provides a simulation script for comparing the complexities and fault detection capabilities of different test generation algorithms.

  Subject Classification: 68M15

• Teaching model-based testing

  1-17

  Gábor Árpád Németh

  Views:

  1942

  Different testing methodologies should play an important role in the education of informatics. In the model-based testing (MBT) approach, the specification of the system is described with a formal model. This model can be used to revise the correctness of the specification and as a starting point for automatic test generation. The main problem with MBT is however, that there is a huge gap between theory and practice and that this approach has a high learning curve. To cope with these problems, current paper shows, how the MBT approach can be introduced to students through a small scale example.

  Subject Classification: P50