Testing Strategies For Model-based Development

by Nasa Technical Reports Server (ntrs)

2021-01-02 12:14:10

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 ... Read more
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. Less

Book Details

File size9.69 X 7.44 X 0.15 in
Print pages72
PublisherBiblioGov
Publication date July 23, 2013
LanguageEnglish
ISBN9781287246701

Compare Prices

Store Availability Book Format Condition Price
Indigo Books & Music In Stock Paperback Paperback Buy CAD 20.99
Indigo Books & MusicIn Stock
Format
Paperback
Condition
Paperback
Buy CAD 20.99
Available Discount
No Discount available

Join us and get access to all
your favourite books

Sign up for free and start exploring thousands of eBooks today.

Sign up for free