DocumentCode :
3253758
Title :
Applying the Test Template Framework to Aerospace Software
Author :
Cristia, Maximiliano ; Albertengo, Pablo ; Frydman, Claudia ; Plüss, Brian ; Monetti, Pablo Rodríguez
Author_Institution :
Flowgate Consulting, Rosario, Argentina
fYear :
2011
fDate :
20-21 June 2011
Firstpage :
128
Lastpage :
137
Abstract :
We have applied Fastest, an implementation of the Test Template Framework, to five real case studies of aerospace software. This involved the formalization in the Z notation of nontrivial parts of each system. One of these models, for instance, formalizes a significant portion of the ECSS-E-70-41A aerospace standard. The models were then fed into Fastest, which automatically generated detailed functional abstract test cases. Since these test cases are independent of any implementation, they can be used to test any of them. Furthermore, we were able to semi-automatically translate them into English so they can be used by domain experts performing independent validation and verification activities.
Keywords :
aerospace computing; formal verification; program testing; ECSS-E-70-41A aerospace standard; English; Fastest; Z notation formalization; aerospace software; domain experts; test template framework; validation activities; verification activities; Aerospace testing; Computers; Protocols; Reactive power; Satellites; Software; Z specifications; fastest; model-based testing; test template framework;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Software Engineering Workshop (SEW), 2011 34th IEEE
Conference_Location :
Limerick
ISSN :
1550-6215
Print_ISBN :
978-1-4673-0245-6
Type :
conf
DOI :
10.1109/SEW.2011.25
Filename :
6146919
Link To Document :
بازگشت