Chapter Three
A Research Overview of Tool-Supported Model-based Testing of Requirements-based Designs
Raluca Marinescu*; Cristina Seceleanu*; Hèléne Le Guen†; Paul Pettersson* * Mälardalen Real-Time Research Centre, Mälardalen University, Västerås, Sweden† ALL4TEC, Laval, France
Abstract
Software testing aims at gaining confidence in software products through fault detection, by observing the differences between the behavior of the implementation and the expected behavior described in the specification. Nowadays, testing is the main verification technique used in industry, being a time and resource consuming activity. This has boosted the development of potentially more efficient testing techniques, like model-based testing, where test ...
