The graphical format of TTCN-3 in the context of MSC and UML

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2599, Issue , 2003, Pages 233-252

  Schieferdecker, Ina ^a   Grabowski, Jens ^b  

^a FOKUS Fraunhofer   (Germany)

^b MU Lübeck   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

MODELING LANGUAGES;

GRAPHICAL DESIGNS; GRAPHICAL PRESENTATIONS; GRAPHICAL SYSTEM DESIGN; IMPLEMENTATION TECHNIQUES; INTEGRATED SYSTEMS; MESSAGE SEQUENCE CHARTS; TESTING AND TEST CONTROL NOTATION; UML TESTING PROFILES;

UNIFIED MODELING LANGUAGE;

EID: 27944453094     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36573-7_15     Document Type: Article

References (22)

1. ISO/IEC 9646-3 (1998): "Information technology - Open systems interconnection - Conformance testing methodology and framework - Part 3: The Tree and Tabular combined Notation (TTCN)"
2. ETSI ES201873-lv220 (2002) TTCN-3: Core Language.
3. ETSI ES201873-2v220 (2002) TTCN-3: Tabular Presentation Format.
4. ETSI DES201873-3v220 (2002) TTCN-3: Graphical Presentation Format.
5. ITU-T Recommendation Z.120 (2000): Message Sequence Charts (MSC).
6. OMG: The Initial Submission to the RFP on the UML Testing Profile, April 2002.
7. J. Grabowski, T. Walter. Visualisation of TTCN Test Cases by MSCs, SAM98, Proc. of the 1st Workshop on SDL and MSC, Humboldt University Berlin, 1998.
8. P. Baker, C. Jervis, D. King: An Industrial use of FP: A Tool for Generating Test Scripts from System Specifications. - Scottish Functional Programming Workshop/Trends in Functional Programming.
9. J. Grabowski, D. Hogrefe. TTCN, SDL- and MSC-based specification and automated test case generation for INAP. Proc. of the 8th Intern. Conf. on Telecommunication Systems (ICTS'2000) - Modeling and Analysis", Nashville, March 2000.
10. C. Jard, S. Pickin: COTE - Component Testing using the Unified Modelling Language. -ERCIM News No.48, January 2002.
11. T. Vassiliou-Gioles, M. Li, I. Schieferdecker, M. Born, M. Winkler: Configuration and Execution Support for Distributed Systems.- IWTCS'99, Budapest, Hungary, Sept. 1999.
12. The Open Group: ADL 2.0 Translation System, 1998. http://adl.opengroup.org/
13. M. Born, I. Schieferdecker, M. Li: Test Framework for Component-Based Systems, Intern. Workshop on Distributed System Validation and Verification (DSVV'2000), Taipei (Taiwan), April 2000.
14. M. Born, I. Schieferdecker, M. Li: UML Framework for Automated Generation of Component-Based Test Systems. - Intern. Conf. on Software Engineering Applied to Networking and Parallel/ Distributed Computing (SNPD'00), Reims, France (2000).
15. C. Crichton et al.: Using UML for Automatic Test Generation: Proc. of the Intern. Conf. On Automated Software Engineering, ASE'2001.
16. E. Rudolph, I. Schieferdecker, J. Grabowski: HyperMSC - a Graphical Representation of TTCN. Proc. of the 2nd Workshop on SDL and MSC (SAM'2000), Grenoble (France), June, 26-28, 2000.
17. E. Rudolph, I. Schieferdecker, J. Grabowski: Development of an MSC/UML Test Format. FBT'2000 - Formale Beschreibungstechniken für verteilte Systeme (Editors: J. Grabowski, S. Heymer), Shaker Verlag, Aachen, June 2000.
18. Testing Technologies. TT Tool Series. http://www.testingtech.de/products
19. ANSI/IEEE. Glossary of Software Engineering Terminology. ANSI/IEEE Std 729-1983, ANSI/IEEE Std 729-1983, 1983.
20. B. Beizer. Software Testing Techniques Second Edition. Van Nostrand Reinhold New York, 1990.
21. G. J. Myers: The Art of Software Testing. John Wiley, 1979.
22. Sommerville: Software engineering. Addison Wesley, 1989