Jens Grabowski  Home/Search
Context Related
| swe.informatik.unig...IAM96006.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: swe.informatik....ige.php?lang=en (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This technical report provides a theoretical basis for the implementation of a TTCN test case simulator. In order to base the implementation on existing code, an automata based model has been chosen, i.e., in the model a TTCN test case shows an automaton like behavior. The procedure is the following: TTCN test cases are transformed into an internal structure, which afterwards can be interpreted by using the provided enabling conditions and execution rules. The model covers control and data flow ... (Update)
Cited by: More
An Execution Semantics for MSC-2000 - Padilla (2000) (Correct)
Active bibliography (related documents): More All
2.0: An Automata based Model for the Implementation of a TTCN Simulator - Grabowski (1996) (Correct)
0.8: TTCN: Towards a Formal Semantics and Validation of Test Suites - Kristoffersen, Walter (1996) (Correct)
0.4: Applying SAMSTAG to the B-ISDN protocol SSCOP - Grabowski, Scheurer, Dai.. (1997) (Correct)
Similar documents based on text: More All
0.3: TTCN-3 - A new Test Specification Language for Black-Box Testing .. - Grabowski (2000) (Correct)
0.2: Development of an MSC/UML Test Format - Rudolph, Schieferdecker, Grabowski (2000) (Correct)
0.2: TIMEDTTCN-3 Based Graphical Real-Time Test Specification - Dai, Grabowski, Neukirchen (Correct)
Related documents from co-citation: More All
2: Tutorial on message sequence charts - Rudolph, Grabowski et al. - 1996
2: Synthesizing ROOM models from message sequence chart specifications - Leue, Mehrmann et al. - 1998
BibTeX entry: (Update)
Grabowski, J., An Automata based Model for the Implementation of a TTCN Simulator. Technical Report IAM-96-006, University of Berne, Institute for Informatics, Berne, Switzerland, February 1996. http://citeseer.ist.psu.edu/grabowski96automata.html More
@misc{ grabowski96automata,
author = "J. Grabowski",
title = "An Automata based Model for the Implementation of a TTCN Simulator",
text = "Grabowski, J., An Automata based Model for the Implementation of a TTCN
Simulator. Technical Report IAM-96-006, University of Berne, Institute for
Informatics, Berne, Switzerland, February 1996.",
year = "1996",
url = "citeseer.ist.psu.edu/grabowski96automata.html" }
Citations (may not include all citations):1911 Introduction to Automata Theory (context) - Hopcroft, Ullmann - 1979
906 A Structural Approach to Operational Semantics - Plotkin - 1981
315 Information Processing Systems - Open Systems Interconnectio.. (context) - ISO - 1988
258 Information Technology - Open Systems Interconnection - Conf.. (context) - IEC, SC - 1992
258 Information Technology Open System Interconnection Confo.. (context) - JTC, Technology et al. - 1991
99 of Handbook of Theoretical Computer Science (context) - Leeuwen, Models et al. - 1990
85 Coloured Petri Nets (context) - Jensen - 1986
37 Test Case Generation with Test Purpose Specification by MSCs - Grabowski, Hogrefe et al. - 1993
34 PredicateTransition Net (context) - Transition, Brauer et al. - 1986
32 ITU Telecommunication Standards Sector SG (context) - Standards, ITU et al. - 1992
15 Conformance Testing Based on Formal Description Techniques a.. (context) - Nahm - 1994
13 OSI Formal Specification Case Study: The Inres Protocol and .. (context) - Hogrefe - 1991
13 LOTOS und SDL - Standard Spezifikationssprachen fur verteilt.. (context) - Hogrefe - 1989
11 An Operational Semantics for Concurrent TTCN (context) - Walter, Plattner - 1992
10 Test Case Generation and Test Case Specification with Messag.. (context) - Grabowski - 1994
10 A Common Semantics Representation for SDL and TTCN (context) - Walter, Ellsberger et al. - 1992
9 A Tutorial on TTCN (context) - Kroon, Wiles - 1991
9 Dealing with the Complexity of State Space Exploration Algor.. - Grabowski, Scheurer et al. - 1996
7 Partial Order Simulation of SDL Specifications - Toggweiler, Grabowski et al. - 1995
6 Die SAMSTAG Methode und ihre Rolle im Konformitatstesten (context) - Grabowski, Nahm et al. - 1994
3 Semantical Relationship between SDL and TTCN -- A Common Sem.. (context) - Walter, Ellsberger et al. - 1993
3 Principles for Validation of Abstract Test Suites specified .. (context) - Toro, Tarnay - 1995
3 User's Guide (context) - AB, S- et al. - 1994
1 Amendment to ISOIEC TTCN Further Extension (context) - JTC, to et al. - 1992
Documents on the same site (http://www.swe.informatik.uni-goettingen.de/pubs/pub_liste/pub_anzeige.php?lang=en): More
Real-time TTCN for testing real-time and multimedia systems - Walter, Grabowski (1997) (Correct)
UML-Based Testing of - Roaming With Bluetooth (Correct)
TTCN-3 - A new Test Specification Language for Black-Box Testing .. - Grabowski (2000) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC