Jens Grabowski

Learn More
Message Sequence Charts (MSCs) are a widespread means for description and graphical visualisation of selected system runs within distributed systems, especially telecommunication systems. Various kinds of MSCs with similar expressive power are used frequently within industry and standardisation bodies. Therefore, the CCITT (Comité Consultatif International(More)
An introduction to the ITU standard language Message Sequence Chart (MSC) is provided. It is pointed out that MSC in many respects is complementary to the ITU specii-cation and design language SDL. MSC in combination with SDL or other languages, now plays a role in nearly all stages of the system development process. Since MSC has been standardized in the(More)
UML models focus primarily on the definition of system structure and behaviour, but provide only limited means for describing test objectives and test procedures. However, with the approach towards system engineering with automated code generation, the need for solid conformance testing has increased. In June 2001, an OMG Request For Proposal (RFP) on an(More)
Due to increasing demands from companies and standardisation bodies, Telelogic AB and the University of L ubeck started a research and development project in October 1996 which aims at improving the validation and, especially, the automatic test generation facilities of the SDT/ITEX tool set. The project is driven by practical experiences and practical(More)
This paper gives an overview of the main concepts and features of the new testing language TTCN version 3 (TTCN-3). TTCN-3 is a complete new testing language built from a textual core notation on which a number of different presentation formats are possible. This makes TTCN-3 quite universal and application independent. One of the standardised presentation(More)
Autolink is a tool for automatic test generation. It allows to generate TTCN test suites based on a given SDL specification and MSC requirements. The first big challenge for Autolink was the creation of a test suite for the Intelligent Network Application Protocol at ETSI. In this paper we discuss our experience in applying Autolink to a real-life protocol(More)
MSC is a trace language which in its graphical form admits a particularly intuitive representation of system runs in distributed systems while focusing on the message interchange between communicating entities and their environment. For the rst time the MSC recommendation Z.120 (MSC'92) was approved at the ITU meeting Geneva 1992. A new revised MSC(More)