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
id I15-R121-2133-3735
record_format dspace
institution Universidad Nacional de Rosario
institution_str I-15
repository_str R-121
collection Repositorio Hipermedial de la Universidad Nacional de Rosario (UNR)
language Inglés
orig_language_str_mv eng
topic software testing
Z specification
MBT method
spellingShingle software testing
Z specification
MBT method
Cristiá, Maximiliano
Test Case Generation from a Z Specification of the Landing Gear System
topic_facet software testing
Z specification
MBT method
description 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 (LGS) of an aircraft. We developed a complete Z specification of the control software of the LGS. Then, we automatically generated abstract test cases by applying FASTEST (a tool implementing the Test Template Framework, which is a MBT method). These test cases cover all the functional and real-time scenarios described in the requirements. The manual work required to generate them is minimum.
format report
informe técnico
publishedVersion
author Cristiá, Maximiliano
author_facet Cristiá, Maximiliano
author_sort Cristiá, Maximiliano
title Test Case Generation from a Z Specification of the Landing Gear System
title_short Test Case Generation from a Z Specification of the Landing Gear System
title_full Test Case Generation from a Z Specification of the Landing Gear System
title_fullStr Test Case Generation from a Z Specification of the Landing Gear System
title_full_unstemmed Test Case Generation from a Z Specification of the Landing Gear System
title_sort test case generation from a z specification of the landing gear system
publishDate 2014
url http://hdl.handle.net/2133/3735
http://hdl.handle.net/2133/3735
work_keys_str_mv AT cristiamaximiliano testcasegenerationfromazspecificationofthelandinggearsystem
bdutipo_str Repositorios
_version_ 1764820412320972803

Ejemplares similares