Search



Show Advanced search options Hide Advanced search options
Teaching model-based testing
Published October 12, 2020
1-17

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

Show full abstract
142
66
1 - 1 of 1 items