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
Bloque original
1 - 1 de 1
Cargando...
- 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
1 - 1 de 1
- Nombre:
- license.txt
- Tamaño:
- 3.14 KB
- Formato:
- Item-specific license agreed upon to submission
- Descripción: