Abstract
This paper presents an approach and an associated tool that have been proposed to automate the test oracle procedure of critical systems developed at Airbus. The target tests concern the early validation of the SCADE design and are performed in a simulated environment. The proposed approach and tool have been successfully applied to several Airbus examples.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Weyuker, E.: On Testing Non-Testable Programs. The Computer Journal 25(4), 465–470 (1982)
Baresi, L., Young, M.: Test oracles. Technical Report CIS-TR01-02, Univ. of Oregon (2001)
Raymond, P., Weber, D., Nicollin, X., Halbwachs, N.: Automatic Testing of Reactive Systems. In: 19th IEEE Real-Time Systems Symposium (RTSS 1998), pp. 200–209. IEEE CS Press, Los Alamitos (1998)
Parissis, I., Vassy, J.: Strategies for Automated Specification-based Testing of Synchronous Software. In: 16th IEEE Int. Conf. on Automated Software Engineering (ASE 2001), pp. 364–367. IEEE CS Press, Los Alamitos (2001)
Copeland, T.: Generating Parsers with JavaCC. Centennial Books, Alexandria (2007)
javacc Project home, http://javacc.dev.java.net/
Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The synchronous dataflow programming language LUSTRE. Proceedings of the IEEE 79(9), 1305–1320 (1991)
Benveniste, A., Caspi, P., Edwards, S.A., Halbwachs, N., Le Guernic, P., de Simone, R.: The Synchronous Languages 12 Years Later. Proceedings of the IEEE 91(1) (January 2003)
Traverse, P., Lacaze, I., Souyris, J.: Airbus Fly-By-Wire: A Total Approach to Dependability. In: Building the Information Society, 18th IFIP World Computer Congress (WCC 2004), pp. 191–212. Kluwer, Dordrecht (2004)
Esterel Scade Suite, http://www.esterel-technologies.com/products/scade-suite
Duprat, S., Souyris, J., Favre-Flix, D.: Formal Verification Workbench for Airbus Avionics Software. In: Embedded Real-Time Software (ERTS 2006). SIA (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Durrieu, G., Waeselynck, H., Wiels, V. (2009). LETO - A Lustre-Based Test Oracle for Airbus Critical Systems. In: Cofer, D., Fantechi, A. (eds) Formal Methods for Industrial Critical Systems. FMICS 2008. Lecture Notes in Computer Science, vol 5596. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-03240-0_5
Download citation
DOI: https://doi.org/10.1007/978-3-642-03240-0_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-03239-4
Online ISBN: 978-3-642-03240-0
eBook Packages: Computer ScienceComputer Science (R0)