Test Case Generation from a Z Specification of the Landing Gear System
No Thumbnail Available
Date
2014
Authors
Cristiá, Maximiliano
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
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.
Keywords
software testing, Z specification, MBT method