Testing Strategies for Model-Based Development - Brossura

Heimdahl, Mats P

Brossura

ISBN 10: 1287246702 ISBN 13: 9781287246701

Casa editrice: Bibliogov, 2013

Riassunto

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.

Dettagli dell'edizione

• Editore: Bibliogov
• Data di pubblicazione: 2013
• Lingua: Inglese
• ISBN 10: 1287246702
• ISBN 13: 9781287246701
• Rilegatura: Copertina flessibile
• Numero di pagine: 72
• Contatto del produttore: non disponibile
• Persona responsabile: non disponibile