Un panorama du test à partir de modèles formels

Mark Utting

doi:10.3166/tsi.25.133-139

Back

Un panorama du test à partir de modèles formels

Journal article

Peer reviewed

Un panorama du test à partir de modèles formels

Mark Utting

TSI Technique et Sciences Informatiques, Vol.25(1), pp.133-139

2006

DOI: https://doi.org/10.3166/tsi.25.133-139

Files and links (1)

url

https://doi.org/10.3166/tsi.25.133-139View

Published Version

Abstract

Computer Software

model-based testing

test automation

testing tools

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.

Details

Title: Un panorama du test à partir de modèles formels
Authors: Mark Utting (Author)
Publication details: TSI Technique et Sciences Informatiques, Vol.25(1), pp.133-139
Publisher: Lavoisier
Date published: 2006
DOI: 10.3166/tsi.25.133-139
ISSN: 0752-4072
Organisation Unit: School of Science and Engineering - Legacy; University of the Sunshine Coast, Queensland
Language: French
Record Identifier: 99447780602621
Output Type: Journal article

Metrics

574 Record Views