Testing Strategies for Model-Based Development - Softcover

Heimdahl, Mats P

Softcover

ISBN 10: 1287246702 ISBN 13: 9781287246701

Verlag: Bibliogov, 2013

Inhaltsangabe

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.

Details zur Ausgabe

• Verlag: Bibliogov
• Erscheinungsdatum: 2013
• Sprache: Englisch
• ISBN 10: 1287246702
• ISBN 13: 9781287246701
• Einband: Taschenbuch
• Anzahl der Seiten: 72
• Kontakt zum Hersteller: Nicht verfügbar
• Verantwortliche Person: Nicht verfügbar