Graphical test specification - the graphical format of TTCN-3

DOI10.1007/3-540-48213-X_10MaRDI QIDQ2779761zbMATH OpenFDO

Authors Paul Baker, Ekkart Rudolph, Ina Schieferdecker

Publication date 15 April 2002

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/2078/20780148

Mathematics Subject Classification ID

Theory of programming languages (68N15) Computing methodologies and applications (68U99)

Recommendations

• TIMED TTCN-3 based graphical real-time test specification
• The graphical format of TTCN-3 in the context of MSC and UML
• Formal Approaches to Software Testing
• Expressing graphical user's input for test specifications
• An intuitive TTCN-3 data presentation format
• An introduction to the testing and test control notation (TTCN-3).
• Formal Approaches to Software Testing

Cited in

(8)

• An introduction to the testing and test control notation (TTCN-3).
• ETSI testing activities and the use of TTCN-3
• On-the-fly testing by using an executable TTCN-3 Markov chain usage model
• The graphical format of TTCN-3 in the context of MSC and UML
• An intuitive TTCN-3 data presentation format
• TIMED TTCN-3 based graphical real-time test specification
• TEST: Testing environment for embedded systems based on TTCN-3 in SILS
• Formal Approaches to Software Testing

This page was built for publication: Graphical test specification - the graphical format of TTCN-3

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