Registro completo de metadatos
| Campo DC | Valor | Lengua/Idioma |
|---|---|---|
| dc.provenance | Universidad Nacional de Rosario.RepHipUNR | - |
| dc.creator | Cristiá, Maximiliano | - |
| dc.date | 2014 | - |
| dc.date | 2014 | - |
| dc.date.accessioned | 2019-07-15T18:45:40Z | - |
| dc.date.available | 2019-07-15T18:45:40Z | - |
| dc.date.issued | 2014 | - |
| dc.date.issued | 2014 | - |
| dc.identifier | http://hdl.handle.net/2133/3735 | - |
| dc.identifier | http://hdl.handle.net/2133/3735 | - |
| dc.identifier.uri | http://rodna.bn.gov.ar/jspui/handle/bnmm/568409 | - |
| 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. | - |
| dc.format | application/pdf | - |
| dc.language | eng | - |
| dc.rights | info:eu-repo/semantics/openAccess | - |
| dc.source | reponame:RepHipUNR (UNR) | - |
| dc.source | instname:Universidad Nacional de Rosario | - |
| dc.source | instacron:UNR | - |
| dc.source.uri | http://hdl.handle.net/2133/3735 | - |
| dc.subject | software testing | - |
| dc.subject | Z specification | - |
| dc.subject | MBT method | - |
| dc.title | Test Case Generation from a Z Specification of the Landing Gear System | - |
| dc.type | info:eu-repo/semantics/report | - |
| dc.type | info:eu-repo/semantics/publishedVersion | - |
| dc.type | informe técnico | - |
| dc.type | info:ar-repo/semantics/informeTecnico | - |
| Aparece en las colecciones: | Universidad Nacional de Rosario. RepHipUNR | |
Ficheros en este ítem:
No hay ficheros asociados a este ítem.