Search

Search Results

• MTR framework for teaching model-based testing

  127-144

  Gábor Árpád Németh

  Máté István Lugosi

  Views:

  101

  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:

  2010

  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

• Teaching performance testing

  17-33

  Gábor Árpád Németh

  Péter Sótér

  Views:

  289

  Performance testing plays a vital role in the verification of large scale software systems. It is used for testing the speed, responsiveness, capacity and stability of the investigated system. However, despite the significance of this topic, the effort invested in teaching performance testing in Computer Science is insufficient. The current paper shows, how the fundamentals of performance testing can be demonstrated to students both from a theoretical and a practical viewpoint through step-by-step practical examples that are used in the industry. It is also discussed how a basic toolchain can be set up for performance tests using only free tools. With the presented examples, the reader will be able to take first steps in the performance testing area.

  Subject Classification: 68M15