A new approach in model-based testing: designing test models in TTCN-3

Authors:
Antal Wu-Hen-Chang;Gusztáv Adamis;Levente Erős;Gábor Kovács;Tibor Csöndes
Affiliations:
Ericsson Hungary, Budapest, Hungary;Department of Telecommunications and Media Informatics, Budapest University of Technology and Economics, Budapest, Hungary;Department of Telecommunications and Media Informatics, Budapest University of Technology and Economics, Budapest, Hungary;Department of Telecommunications and Media Informatics, Budapest University of Technology and Economics, Budapest, Hungary;Ericsson Hungary, Budapest, Hungary
Venue:
SDL'11 Proceedings of the 15th international conference on Integrating System and Software Modeling
Year:
2011

Citing 11
Cited 0

Design and validation of protocols: a tutorial

Computer Networks and ISDN Systems - Special issue on protocol specification, testing and verification
Concurrency: state models & Java programs

Concurrency: state models & Java programs
Formal Description Technique Lotos: Results of the Esprit Sedos Project

Formal Description Technique Lotos: Results of the Esprit Sedos Project
COOPER - The Compositional Construction of a Canonical Tester

FORTE '89 Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols
An Overview of Lutess: A Specification-Based Tool for Testing Synchronous Software

ASE '99 Proceedings of the 14th IEEE international conference on Automated software engineering
Test Sequences Generation from LUSTRE Descriptions: GATEL

ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
Automatic Testing of Reactive Systems

RTSS '98 Proceedings of the IEEE Real-Time Systems Symposium
Autolink: A Tool for Automatic Test Generation from SDL Specifications

WIFT '98 Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques
Practical Model-Based Testing: A Tools Approach

Practical Model-Based Testing: A Tools Approach
Principles of Constraint Programming

Principles of Constraint Programming
Implementing conformiq Qtronic

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

Quantified Score

Hi-index	0.00

Visualization

Abstract

Throughout the years, many model description languages have been used in different model-based testing tools, however, all these languages are quite unfamiliar to test engineers. In this paper, we propose TTCN-3 (Testing and Test Control Notation 3), the nowadays most popular and widely spread test definition language to be used for this purpose and give two alternative approaches how this could be carried out. TTCN-3 as modelling language can support test generation tools by means of the annotations we introduce in the paper.