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

dc.creatorCristiá, Maximiliano
dc.date.accessioned2014-11-25T18:15:47Z
dc.date.available2014-11-25T18:15:47Z
dc.date.issued2014
dc.descriptionIn 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.es
dc.formatapplication/pdf
dc.identifier.urihttp://hdl.handle.net/2133/3735
dc.language.isoenges
dc.rightsopenAccesses
dc.rights.holderCIFASISes
dc.rights.holderUNRes
dc.rights.urihttp://creativecommons.org/publicdomain/zero/1.0/*
dc.subjectsoftware testinges
dc.subjectZ specificationes
dc.subjectMBT methodes
dc.titleTest Case Generation from a Z Specification of the Landing Gear Systemes
dc.typereport
dc.typeinforme técnico
dc.typepublishedVersion

Archivos

Bloque original
Mostrando 1 - 1 de 1
Cargando...
Miniatura
Nombre:
lgs-techReport.pdf
Tamaño:
813.22 KB
Formato:
Adobe Portable Document Format
Descripción:
Test Case Generation from a Z Specification of the Landing Gear System
Bloque de licencias
Mostrando 1 - 1 de 1
Nombre:
license.txt
Tamaño:
3.14 KB
Formato:
Item-specific license agreed upon to submission
Descripción: