Abstract
We present an approach for the systematic development of abstract test cases for service testing. The approach is rigorous in the sense that the abstract test cases are derived from a rigorous specification. The approach is practical in the sense that it contains guidelines for choosing amongst the many possible execution paths. The method has been developed in practice. Tools are used for interactive simulation and for certain translation steps.
Chapter PDF
Similar content being viewed by others
References
CCITT (1992) Message Sequence Chart (MSC), Rec. Z.120, Study Group X (1992).
ISO (1991) International Organisation for Standardisation, OSI conformance testing methodology and framework, International standard IS 9646.
Knightson K.G. (1993) OSI protocol conformance testing, McGraw-Hill, Inc., 1993.
Mauw S., Veltink G. (1993) Algebraic specification of communication protocols, Cambridge university press, 1993.
Mauw S., Winter T. (1993) A Prototype toolset for interworkings, Philips Telecommunication Review, 51 (3), (Dec. 1993), pp. 41–45.
Sidhu D.P., Leung T.K. (1989) Formal methods in protocol testing, a detailed study, IEEE trans. on Softw. Eng., Vol. 15, No. 4, pp. 413–426.
Wehkamp (1996) Wehkamp Homeshopping, interactive world wide web application.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Feijs, L., Jumelet, M. (1996). A rigorous and practical approach to service testing. In: Baumgarten, B., Burkhardt, HJ., Giessler, A. (eds) Testing of Communicating Systems. IFIP — The International Federation for Information Processing. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35062-2_13
Download citation
DOI: https://doi.org/10.1007/978-0-387-35062-2_13
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-6697-4
Online ISBN: 978-0-387-35062-2
eBook Packages: Springer Book Archive