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.
Supported by the Spanish government (cofinanced by FEDER founds) with the project TIN2006-15578-C02-02, and the JCCLM regional project PAC06-0008-6995.
Chapter PDF
Similar content being viewed by others
References
Stallman, R., Donnelly, C.: Bison. The YACC-compatible Parser Generator (1995)
Cavalli, A.R., Favreau, J.P., Phalippou, M.: Formal methods for conformance testing: Results and perspectives. In: Proceedings of the IFIP TC6/WG6.1 Sixth International Workshop on Protocol Test systems VI, pp. 3–17, North-Holland Publishing Co., Amsterdam, The Netherlands (1994)
Willcock, C.: Introduction to TTCN-3 (2002)
Geilen, M.C.W.: Formal Techniques for Verification of Complex Real-Time Systems. M.C.W. Geilen (2002)
Li, C.L.H., Jin, M., Gao, Z.: Test criteria for context-free grammars. Computer Software and Applications Conference. COMPSAC 2004. In: Proceedings of the 28th Annual International, pp. 300–305 (2004)
Kort, R.L.J., Verhoef, C.: The grammar deployment kit. Electronic Notes in Theoretical Computer Science 65(3), 7 (2002)
Peleska, G.J.J., Brumm, K., Hartmann, T.: Advancement in automated simulation and testing technology for safety-critical avionic systems. Aerospace Testing 2006 (2006)
Klint, P., Lämmel, R., Verhoef, C.: Toward an engineering discipline for grammarware. ACM Trans. Softw. Eng. Methodol. 14(3), 331–380 (2005)
Lämmel, R.: Grammar testing. In: Hussmann, H. (ed.) ETAPS 2001 and FASE 2001. LNCS, vol. 2029, pp. 201–216. Springer, Heidelberg (2001)
Lämmel, R., Schulte, W.: Controllable combinatorial coverage in grammar-based testing. In: Uyar, M.Ü., Duale, A.Y., Fecko, M.A. (eds.) TestCom 2006. LNCS, vol. 3964, pp. 19–38. Springer, Heidelberg (2006)
Maurer, P.M.: Generating test data with enhanced context-free grammars. IEEE Software 7(4), 50–55 (1990)
Núñez, M., Pelayo, F.L., Rodríguez, I.: A formal methodology to test complex embedded systems: Application to interactive driving system. In: IESS 2005. IFIP TC10 Working Conf.: International Embedded Systems Symposium, pp. 125–136. Springer, Heidelberg (2005)
Paxson, V.: Flex, version 2.5. A fast scanner generator (1995)
Peleska, J.: Test automation for avionic systems and space technology (extended abstract) (1996)
Peleska, J.: Formal methods for test automation - hard real-time testing of controllers for the airbus aircraft family. Integrated Design and Process technology, IDPT-2002 (2002)
Wu, H.: Grammar-driven generation of domain-specific language tools. In: OOPSLA 2006: Companion to the 21st ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, pp. 772–773, ACM Press, New York, NY, USA (2006)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 IFIP International Federation for Information Processing
About this paper
Cite this paper
Cebrián, D., Valero, V., Cuartero, F. (2007). Automation of Avionic Systems Testing. In: Petrenko, A., Veanes, M., Tretmans, J., Grieskamp, W. (eds) Testing of Software and Communicating Systems. FATES TestCom 2007 2007. Lecture Notes in Computer Science, vol 4581. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-73066-8_3
Download citation
DOI: https://doi.org/10.1007/978-3-540-73066-8_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-73065-1
Online ISBN: 978-3-540-73066-8
eBook Packages: Computer ScienceComputer Science (R0)