TIMED TTCN-3 based graphical real-time test specification

DOI10.1007/3-540-44830-6_9MaRDI QIDQ4437055zbMATH OpenFDO

Authors Zhen Ru Dai, Jens Grabowski, Helmut Neukirchen

Publication date 7 December 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2644/26440110.htm

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Reliability, testing and fault tolerance of networks and computer systems (68M15) Computing methodologies and applications (68U99)

Recommendations

• Graphical test specification - the graphical format of TTCN-3
• The graphical format of TTCN-3 in the context of MSC and UML
• scientific article; zbMATH DE number 2176512
• An introduction to the testing and test control notation (TTCN-3).
• Using TimedTTCN-3 in Interoperability Testing for Real-Time Communication Systems

Cited in

(11)

• Graphical test specification - the graphical format of TTCN-3
• Some implications of MSC, SDL and TTCN time extensions for computer-aided test generation
• On-the-fly testing by using an executable TTCN-3 Markov chain usage model
• Using TimedTTCN-3 in Interoperability Testing for Real-Time Communication Systems
• The graphical format of TTCN-3 in the context of MSC and UML
• An intuitive TTCN-3 data presentation format
• Realizing distributed TTCN-3 test systems with TCI
• scientific article; zbMATH DE number 2176512 (Why is no real title available?)
• The design of a tool-supported graphical notation for Timed CSP
• TEST: Testing environment for embedded systems based on TTCN-3 in SILS
• Formal Approaches to Software Testing

This page was built for publication: TIMED TTCN-3 based graphical real-time test specification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4437055)