Un panorama du test à partir de modèles formels
Cet article présente un panorama des méthodes de génération de tests basées sur
une modélisation formelle. Il montre en quoi ces méthodes, visant à automatiser le processus
de test, constituent une évolution vis-à-vis des approches antérieures, telles que les outils
d'enregistrement/reproduction, la génération de tests à partir de scripts ou encore la génération
dirigée par des mots-clés. Nous discutons les avantages et inconvénients de la génération
de tests à partir de modèles à la lumière de résultats expérimentaux qui montrent clairement
que cette technique peut faire diminuer le coût de la détection des erreurs dans les logiciels
critiques et améliore la prise en compte des besoins de ces logiciels.
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.
M.UTTING
test à partir de modèles formels, automatisation du test, outils de génération de tests.
model-based testing, test automation, testing tools.
Français
|
