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...
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | report informe técnico publishedVersion |
| Lenguaje: | Inglés |
| Publicado: |
2014
|
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/2133/3735 http://hdl.handle.net/2133/3735 |
| Aporte de: |
| Sumario: | 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. |
|---|