Testing Strategies for Model-Based Development - Couverture souple

Heimdahl, Mats P

Couverture souple

ISBN 10 : 1287246702 ISBN 13 : 9781287246701

Editeur : Bibliogov, 2013

Synopsis

This report presents an approach for testing artifacts generated in a model-based development process. This approach divides the traditional testing process into two parts: requirements-based testing (validation testing) which determines whether the model implements the high-level requirements and model-based testing (conformance testing) which determines whether the code generated from a model is behaviorally equivalent to the model. The goals of the two processes differ significantly and this report explores suitable testing metrics and automation strategies for each. To support requirements-based testing, we define novel objective requirements coverage metrics similar to existing specification and code coverage metrics. For model-based testing, we briefly describe automation strategies and examine the fault-finding capability of different structural coverage metrics using tests automatically generated from the model.

Détails de l'édition

• Éditeur: Bibliogov
• Date d'édition: 2013
• Langue: anglais
• ISBN 10: 1287246702
• ISBN 13: 9781287246701
• Reliure: Broché
• Nombre de pages: 72
• Coordonnées du fabricant: non disponible
• Personne responsable: non disponible