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

dc.creator	Cristiá, Maximiliano
dc.date.accessioned	2014-11-25T18:15:47Z
dc.date.available	2014-11-25T18:15:47Z
dc.date.issued	2014
dc.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.	es
dc.format	application/pdf
dc.identifier.uri	http://hdl.handle.net/2133/3735
dc.language.iso	eng	es
dc.rights	openAccess	es
dc.rights.holder	CIFASIS	es
dc.rights.holder	UNR	es
dc.rights.uri	http://creativecommons.org/publicdomain/zero/1.0/	*
dc.subject	software testing	es
dc.subject	Z specification	es
dc.subject	MBT method	es
dc.title	Test Case Generation from a Z Specification of the Landing Gear System	es
dc.type	report
dc.type	informe técnico
dc.type	publishedVersion

Archivos

Mostrando 1 - 1 de 1

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

Mostrando 1 - 1 de 1