Model-based testing in practice

Authors:
Alexander Pretschner
Affiliations:
Information Security, ETH Zürich, Zürich, Switzerland
Venue:
FM'05 Proceedings of the 2005 international conference on Formal Methods
Year:
2005

Citing 3
Cited 4

Software unit test coverage and adequacy

ACM Computing Surveys (CSUR)
Software Reliability Engineering: More Reliable Software Faster and Cheaper

Software Reliability Engineering: More Reliable Software Faster and Cheaper
One evaluation of model-based testing and its automation

Proceedings of the 27th international conference on Software engineering

A Higher Order Generative Framework for Weaving Traceability Links into a Code Generator for Web Application Testing

ICWE '9 Proceedings of the 9th International Conference on Web Engineering
Using model checking to generate fault detecting tests

TAP'07 Proceedings of the 1st international conference on Tests and proofs
Multi-level tests for model driven web applications

ICWE'10 Proceedings of the 10th international conference on Web engineering
Using traceability links and higher-order transformations for easing regression testing of web applications

Journal of Web Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Testing comprises activities that aim at showing that the intended and actual behaviors of a system differ, or at gaining confidence that they do not. The goal of testing is failure detection: observable differences between the behaviors of implementation and specification. Classical estimates relate one half of the overall development effort to testing. Even if Fagan [1] suspects that this percentage includes activities such as finding the causes of failures in the code and removing them, testing is an important and expensive activity in the development process.