Abstract
The TTCN-3 language was conceived initially for testing telecommunications protocols that consist of sequences of discrete messages between communicating entities. TTCN-3 has a clear model of separation of concerns between an abstract layer, where test behavior is specified, and a concrete layer, where messages are encoded / decoded and sent and received to/from the system under test. This model, however, is cumbersome for testing protocols with periodic messages as used in avionics systems. This paper presents an innovative approach to addressing issues involving periodic messages in TTCN-3, based on our experiences working with avionics systems. Extensions to the TTCN-3 standard are proposed, based on our approach. We also demonstrate how the approach can be used for test system certification and requirements verification for avionics systems.
Keywords
- periodic messages
- testing
- TTCN-3
- avionics
Chapter PDF
References
ETSI ES 201 873-1 (2013-04). The Testing and Test Control Notation version 3, Part 1: TTCN-3 Core notation, V4.5.1 (April 2013)
Testing Technologies, TTworkbench - an Eclipse based TTCN-3 IDE (2011), http://www.testingtech.com/products/ttworkbench.php
Hartman, A., Katara, M., Olvovsky, S.: Choosing a Test Modeling Language: A Survey. In: Bin, E., Ziv, A., Ur, S. (eds.) HVC 2006. LNCS, vol. 4383, pp. 204–218. Springer, Heidelberg (2007)
Schieferdecker, I., Bringmann, E., Großmann, G.: Continuous TTCN-3: Testing of Embedded Control Systems. In: Proceeding of SEAS 2006, pp. 29–36 (2006)
Efkemann, C., Peleska, J.: Model-Based Testing for the second generation of Integrated Modular Avionics. In: Proceedings of ICSTW 2011, pp. 55–62 (2011)
Laurent, O.: Using Formal Methods and Testability Concepts in the Avionics Systems Validation and Verification. In: proceedings of ICST 2010, pp. 1–10 (2010)
Makedonski, P., Grabowski, J., Neukirchen, H.: Validating the Behavioral Equivalence of TTCN-3 Test Cases. In: Proceeding of VALID 2009, pp. 117–122 (2009)
Audsley, N.C., Grigg, A.: Timing Analysis of the ARINC 629 Databus for real-time applications. Microprocessors and Microsystems 21(1-7), 55–61 (1997)
Gabillon, A., Gallon, L.: Availability of ARINC 629 Avionic Data Bus. Journal of Networks, Vol 1(6), 1–9 (2006)
Moy, Y., Ledinot, E., Delseny, H., Wiels, V., Monate, B.: Testing or Formal Verification: DO-178C Alternatives and Industrial Experience. IEEE Software (May/June 2013) (issue)
Easwaran, A., Lee, I., Sokolsky, O., Vestal, S.: A Compositional Scheduling Framework for Digital Avionics. In: University of Pennsylvania Scholarly Commons, Departmental Paper (August 24, 2009)
DOC-178C, Software Considerations in Airborne Systems and Equipment Certification, RTCA Inc., http://www.rtca.org/store_product.asp?prodid=803 (last accessed August 2013)
ETSI ES 201 873-5 (2013-04). The Testing and Test Control Notation version 3, Part 5: TTCN-3 Runtime Interface, V 4.5.1 (April 2013)
ETSI ES 202 781 TTCN-3: Extension: Configuration and Deployment Support, V 1.2.1 (June 2013)
ETSI ES 202 782 TTCN-3: Extension: Performance and Real-Time Testing, V 1.1.1 (July 2010)
ETSI ES 202 783 TTCN-3: Extension: Testing of Real-Time Systems, V 1.1.1, draft
ETSI ES 202 784 TTCN-3: Extension: Advanced parameterization, V 1.3.1 (April 2013)
ETSI ES 202 785 TTCN-3: Extension:Behavior Types, V 1.3.1 (April 2013)
ETSI ES 202 786 TTCN-3: Extension:Support of Interfaces with Continous Signals, V 1.1.1 (April 2012)
ETSI ES 202 789 TTCN-3: Extension: Extended TRI, V 1.2.1 (April 2013)
Wireshark software, http://www.wireshark.org/
Levine, D., Gill, C.D., Schmidt, D.C.: Dynamic Scheduling Strategies for Avionics Mission Computing. In: Proceedings of Digital Avionics Systems Conference, vol. 1, pp. C141–C158 (1998)
Hua, Y., Liu, X.: Scheduling Design and Analysis for End-to-End Heterogeneous Flows in an Avionics Network. In: University of Nebraska, Digital Commons, CSE Conference and Workshop Papers (2011)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 IFIP International Federation for Information Processing
About this paper
Cite this paper
Stepien, B., Peyton, L. (2013). Challenges of Testing Periodic Messages in Avionics Systems Using TTCN-3. In: Yenigün, H., Yilmaz, C., Ulrich, A. (eds) Testing Software and Systems. ICTSS 2013. Lecture Notes in Computer Science, vol 8254. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-41707-8_14
Download citation
DOI: https://doi.org/10.1007/978-3-642-41707-8_14
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-41706-1
Online ISBN: 978-3-642-41707-8
eBook Packages: Computer ScienceComputer Science (R0)