Search

Published After
Published Before

Search Results

  • Teaching model-based testing
    1-17
    Views:
    1012

    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
    Views:
    62

    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