Test Case Generation from a Z Specification of the Landing Gear System

In this technical report we present the results of a case study on the application of a model-based testing method (MBT) to a real-world problem from the aviation industry. The requirements wereproposed by engineers working for the European aviation industry and comprise the landing gear system (L...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Cristiá, Maximiliano
Formato: report informe técnico publishedVersion
Lenguaje:Inglés
Publicado: 2014
Materias:
software testing
Z specification
MBT method
Acceso en línea:http://hdl.handle.net/2133/3735
http://hdl.handle.net/2133/3735
Aporte de:
Repositorio Hipermedial de la Universidad Nacional de Rosario (UNR) de Universidad Nacional de Rosario

Ejemplares similares

Ejemplares similares