TTCN-3 Bibliography |
Neukirchen, H., Dai, Z. R., & Grabowski, J. (2004). Communication Patterns for Expressing Real-Time Requirements Using MSC and Their Application to Testing. In Testing of Communicating Systems (Testcom) 2003 Berlin Heidelberg: Springer-Verlag. Added by: Deleted user (22/10/2008, 15:13) |
Resource type: Book Article BibTeX citation key: Neukirchen2004 View all bibliographic details |
Categories: General Creators: Dai, Grabowski, Neukirchen Publisher: Springer-Verlag (Berlin Heidelberg) Collection: Testing of Communicating Systems (Testcom) 2003 |
Views: 27/2445
|
Abstract |
This paper introduces real-time communication patterns (RTC-patterns) for capturing real-time requirements of communication systems. RTC-patterns for some of the most common real-time requirements are presented. They are formalized by using Message Sequence Charts (MSCs). The application of RTC-patterns to testing is explained by an example. The example shows how real-time requirements which are expressed using RTC-patterns can be related to TimedTTCN-3 evaluation functions.
Added by: Deleted user |