Using TIMEDTTCN-3 in interoperability testing for real-time communication systems

Authors:
Zhiliang Wang;Jianping Wu;Xia Yin;Xingang Shi;Beihang Tian
Affiliations:
Department of Computer Science and Technology, Tsinghua University, Beijing, P.R. China;Department of Computer Science and Technology, Tsinghua University, Beijing, P.R. China;Department of Computer Science and Technology, Tsinghua University, Beijing, P.R. China;Network Research Center, Tsinghua University, Beijing, P.R. China;Department of Computer Science and Technology, Tsinghua University, Beijing, P.R. China
Venue:
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
Year:
2006

Citing 17
Cited 0

A theory of timed automata

Theoretical Computer Science
Interoperability test suite derivation for communication protocols

Computer Networks: The International Journal of Computer and Telecommunications Networking
Testing timed automata

Theoretical Computer Science
Timed Wp-Method: Testing Real-Time Systems

IEEE Transactions on Software Engineering
Towards a Formal Framework for Interoperability Testing

FORTE '01 Proceedings of the IFIP TC6/WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems
Modeling Urgency in Timed Systems

COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Generating Test Cases for a Timed I/O Automaton Model

Proceedings of the IFIP TC6 12th International Workshop on Testing Communicating Systems: Method and Applications
Timed TTCN-3 - A Real-time Extension for TTCN-3

TestCom '02 Proceedings of the IFIP 14th International Conference on Testing Communicating Systems XIV
An introduction to the testing and test control notation (TTCN-3)

Computer Networks: The International Journal of Computer and Telecommunications Networking - ITU-T system design languages (SDL)
Fully automated interoperability test suite derivation for communication protocols

Computer Networks: The International Journal of Computer and Telecommunications Networking
Integrated system interoperability testing with applications to VoIP

IEEE/ACM Transactions on Networking (TON)
TIMEDTTCN-3 based graphical real-time test specification

TestCom'03 Proceedings of the 15th IFIP international conference on Testing of communicating systems
Interoperability testing based on a fault model for a system of communicating FSMs

TestCom'03 Proceedings of the 15th IFIP international conference on Testing of communicating systems
Framework and model for automated interoperability test and its application to ROHC

TestCom'03 Proceedings of the 15th IFIP international conference on Testing of communicating systems
A test generation framework for quiescent real-time systems

FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
Online testing of real-time systems using UPPAAL

FATES'04 Proceedings of the 4th international conference on Formal Approaches to Software Testing
Interoperability test generation and minimization for communication protocols based on the multiple stimuli principle

IEEE Journal on Selected Areas in Communications

Quantified Score

Hi-index	0.00

Visualization

Abstract

Interoperability testing is an important technique to ensure the quality of implementations of network communication software, and real-time protocol interoperability testing is an important issue in this area. TimedTTCN-3 is a real-time extension of test specification language TTCN-3. In this paper, test notations for real-time interoperability testing are studied. Test behavior trees are constructed from specifications of system under test and then transformed to TimedTTCN-3 test cases. We also investigate real-time TTCN and analyze the insufficiency of its capabilities in specifying time constraints. Possible extensions for real-time TTCN are given to specify real-time interoperability test cases. From the comparisons between the two real-time test notations, it can be concluded that TimedTTCN-3 is more powerful and flexible than real-time TTCN and can be suitable for real-time interoperability testing.