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
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;
Conference_Titel :
Software Engineering Workshop (SEW), 2011 34th IEEE
Conference_Location :
Limerick
Print_ISBN :
978-1-4673-0245-6
DOI :
10.1109/SEW.2011.25