Automation of avionic systems testing

Authors:
David Cebrián;Valentín Valero;Fernando Cuartero
Affiliations:
Albacete Computer Science Research Institute, University of Castilla-La Mancha, Albacete, Spain;Albacete Computer Science Research Institute, University of Castilla-La Mancha, Albacete, Spain;Albacete Computer Science Research Institute, University of Castilla-La Mancha, Albacete, Spain
Venue:
TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems
Year:
2007

Citing 7
Cited 0

Generating Test Data with Enhanced Context-Free Grammars

IEEE Software
Grammar Testing

FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Formal Methods for Conformance Testing: Results and Perspectives

Proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test systems VI
Test Criteria for Context-Free Grammars

COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
Toward an engineering discipline for grammarware

ACM Transactions on Software Engineering and Methodology (TOSEM)
Grammar-driven generation of domain-specific language tools

Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
Controllable combinatorial coverage in grammar-based testing

TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

In this paper we present an automatic testing process to validate Avionic Systems. To do that, we have developed a tool that interprets scripts written in Automated Test Language and translate them to user codes written in C language. To carry out this work, the syntax of scripts has been defined by a context free grammar. This testing process is based on the execution of a pre-defined set of test cases. Currently, these test sets are obtained from Test Description Document and they are introduced in the system in C code manually. Therefore, automation of this process would reduce the time used for the testing, as a great quantity of tests are realized and a great quantity of errors are made when tests are made by hand.