Name: Testing Strategies for Model-Based Development (en Inglés)
Price: 30.69 USD
Availability: InStock
Author: Heimdahl, Mats P. ; Nasa Technical Reports Server (Ntrs) ; Et Al
ISBN: 9781287246701

portada Testing Strategies for Model-Based Development (en Inglés)

Testing Strategies for Model-Based Development (en Inglés)

Formato

Libro Físico

Autor

Nasa Technical Reports Server (Ntrs)

Mats P. Heimdahl

Editorial

Bibliogov

Idioma

Inglés

N° páginas

Encuadernación

Tapa Blanda

Dimensiones

24.6 x 18.9 x 0.4 cm

Peso

0.15 kg.

ISBN13

9781287246701

Categorías

Política y gobierno

Testing Strategies for Model-Based Development (en Inglés)

Nasa Technical Reports Server (Ntrs) (Autor) · Mats P. Heimdahl (Autor) · Bibliogov · Tapa Blanda

Libro Nuevo Importado

Envío: 21 a 28 días háb.

$ 61.39$ 30.69

-50%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan más de 100 unidades

$ 30.69

Llega entre el 10 Sep y el 23 Sep a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

Reseña del libro "Testing Strategies for Model-Based Development (en Inglés)"

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.