Un panorama du test à partir de modèles formels

This article gives an overview of model-based testing, showing how it is an evolution of earlier approaches to automating the testing process, such as capture/replay tools, test scripting and keyword-driven testing. The advantages and disadvantages of model-based testing are discussed, as well as some of the experimental evidence which shows that model-based testing can be a cost-effective technique for detecting faults in critical software and improving the requirements of such software