TTCN-3 Bibliography |
![]() |
![]() |
![]() |
H. Neukirchen, Z. R. Dai, and J. Grabowski, "Communication Patterns for Expressing Real-Time Requirements Using MSC and Their Application to Testing," in Testing of Communicating Systems (Testcom) 2003ser. Lecture Notes in Computer Science, Berlin Heidelberg: Springer-Verlag, 2004, Added by: Deleted user (22 Oct 2008 15:13:01 Europe/Berlin) |
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: 14/1199 Views index: % Popularity index: 1.25% |
URLs http://www.springerlink.com/content/4jca8l1unjnjqlq0/?p=bb0a6e8a43c840edbab4f9309ea6fc4c&pi=9 |
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 |