Abstract
Testing non-functional properties based on functional specifications at early design phases is still a challenge in teleservice and protocol engineering. Modelling and evaluating performance aspects along with the traditional functional verification oriented formal description techniques has to be integrated into one unified design process to avoid extra effort in maintaining consistency between multiple design models. The paper introduces PerfSDL, a semantic extension to SDL for modelling non-functional properties, and a performance evaluation framework based on PerfSDL and simulation. To verify the feasibility of the approach, three design alternatives in a small TCP-like packet transfer protocol above transport services of different quality were tested and evaluated by means of simulation and statistical analysis.
Keywords
The original version of this chapter was revised: The copyright line was incorrect. This has been corrected. The Erratum to this chapter is available at DOI: 10.1007/978-0-387-35567-2_25
Download to read the full chapter text
Chapter PDF
References
Rolv Brak, Oystein Haugen, Engineering Real Time Systems, Prentice Hall International, 1993
M. Butow, M. Mestern, C. Schapiro, P. Kritzinger. Performance Modelling with the Formal Specification Language SDL. FORTE/PSTV’96. Chapman Hall 1996.
M. Diefenbruch, E. Heck, Jorg Hintelmenn, B. Clostermann. Performance Evaluation of SDL-Systems Adjunct by Queuing Models. Proc. 7th SDL forum. Elsevier 1995.
Jan Ellsberger, Dieter Hogrefe, Amardeo Sarma, SDL - Formal Object-oriented Language for Communicating Systems, Prentice Hall Europe, 1997
ITU-T Recommendation Z.100, CCITT Specification and Description Language (SDL) 03/1993
ITU-T Recommendation Z.100, Annex F. Static and Dynamic Semantics of SDL,03/1993
ITU-T Recommendation Z.100, Appendices I and II: SDL Methodology Guidelines, 03/1993.
ITU-T Recommendation Z.100, Supplement 1: SDL+ methodology: Use of MSC and SDL (with ASN.1),05/1997.
Mazen Malek, PerfSDL: an Interface to Protocol Performance Analysis by means of Simulation, Accepted paper, 9th SDL Forum, Montreal, June 1999
Andreas Mitschele-Thiel, Results of the discussion, Workshop on Performance and Time in SDL and MSC, Erlangen, February 1998
Andreas Mitschele-Thiel, Performance Evaluation of SDL Systems, SAM98, 1st SDL and MSC workshop of the SDL Forum Society, Berlin, July 1998
Martin Steppler and Matthias Lott. SPEET — SDL Performance Evaluation Tool. SDL’97: TIME FOR TESTING- SDL, MSC and Trends. Elsevier Science 1997.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Csurgay, P., Malek, M. (1999). Performance Testing at Early Design Phases. In: Csopaki, G., Dibuz, S., Tarnay, K. (eds) Testing of Communicating Systems. IFIP — The International Federation for Information Processing, vol 21. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35567-2_20
Download citation
DOI: https://doi.org/10.1007/978-0-387-35567-2_20
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-6699-8
Online ISBN: 978-0-387-35567-2
eBook Packages: Springer Book Archive