Refactorisation methods for TTCN-3

Authors

  • L. Eros
  • F. Bozoki

DOI:

https://doi.org/10.14311/960

Keywords:

TTCN-3, formal methods, refactorisation, automatic

Abstract

In this paper we introduce automatic methods for restructuring source codes written in test description languages. We modify the structure of these sources without making any changes to their behavior. This technique is called refactorisation. There are many approaches to refactorisation. The goal of our refactorisation methods is to increase the maintainability of source codes. We focus on TTCN-3 (Testing and Test Control Notation), which is a rapidly spreading test description language nowadays. A TTCN-3 source consists of a data description (static) part and a test execution (dynamic) part. We have developed models and refactorisation methods based on these models, separately for the two parts. The static part is mapped into a layered graph structure, while the dynamic part is mapped to a CEFSM (Communicating Extended Finite State Machine) – based model. 

Downloads

Download data is not yet available.

Author Biographies

L. Eros

F. Bozoki

Downloads

Published

2007-01-04

How to Cite

Eros, L., & Bozoki, F. (2007). Refactorisation methods for TTCN-3. Acta Polytechnica, 47(4-5). https://doi.org/10.14311/960

Issue

Section

Articles