Communication patterns for expressing real-time requirements using MSC and their application to testing
2004 | Konferenzbeitrag. Eine Publikation mit Affiliation zur Georg-August-Universität Göttingen.
Spring zu: Zitieren & Links | Dokumente & Medien | Details | Versionsgeschichte
Zitiervorschlag
Communication patterns for expressing real-time requirements using MSC and their application to testing
Neukirchen, H.; Dai, Z. R. & Grabowski, J. (2004)
pp. 144-159. 16th International Conference on Testing of Communicating Systems (TestCom 2004), St Anns Coll, Oxford, ENGLAND.
Berlin: Springer.
Dokumente & Medien
Details
- Autor(en)
- Neukirchen, H.; Dai, Z. R.; Grabowski, J.
- Zusammenfassung
- 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.
- Erscheinungsdatum
- 2004
- Herausgeber
- Springer
- Konferenz
- 16th International Conference on Testing of Communicating Systems (TestCom 2004)
- Serie
- Lecture Notes in Computer Science
- ISBN
- 3-540-21219-1
- Veranstaltungsort
- St Anns Coll, Oxford, ENGLAND
- Veranstaltungsstart
- 2004-03-17
- Veranstaltungsende
- 2004-03-19