Communication Patterns for Expressing Real-Time Requirements Using MSC and their Application to Testing
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.
Document Type:
Articles in Conference Proceedings
Booktitle:
Proceedings of the 16th IFIP International Conference on Testing of Communicating Systems (TestCom2004)
Address:
Oxford, United Kingdom
Publisher:
Springer
Number:
2978
Month:
3
Year:
2004
Bibtex
2024 © Software Engineering For Distributed Systems Group