Model-Based Testing of Environmental Conformance of Components

  • Lars Frantzen
  • Jan Tretmans
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4709)


In component-based development, the correctness of a system depends on the correctness of the individual components and on their interactions. Model-based testing is a way of checking the correctness of a component by means of executing test cases that are systematically generated from a model of the component. This model should include the behaviour of how the component can be invoked, as well as how the component itself invokes other components. In many situations, however, only a model that specifies how others can use the component, is available. In this paper we present an approach for model-based testing of components where only these available models are used. Test cases for testing whether a component correctly reacts to invocations are generated from this model, whereas the test cases for testing whether a component correctly invokes other components, are generated from the models of these other components. A formal elaboration is given in the realm of labelled transition systems. This includes an implementation relation, called eco, which formally defines when a component is correct with respect to the components it uses, and a sound and exhaustive test generation algorithm for eco.


Transition System Test Suite Service Requester Environmental Component Label Transition System 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    de Alfaro, L., Henzinger, T.A.: Interface Automata. SIGSOFT Softw. Eng. Notes 26(5), 109–120 (2001)CrossRefGoogle Scholar
  2. 2.
    Bertolino, A., Frantzen, L., Polini, A., Tretmans, J.: Audition of Web Services for Testing Conformance to Open Specified Protocols. In: Reussner, R., Stafford, J.A., Szyperski, C.A. (eds.) Architecting Systems with Trustworthy Components. LNCS, vol. 3938, pp. 1–25. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  3. 3.
    van der Bijl, M., Rensink, A., Tretmans, J.: Compositional Testing with \({\sc ioco}\). In: Petrenko, A., Ulrich, A. (eds.) FATES 2003. LNCS, vol. 2931, pp. 86–100. Springer, Heidelberg (2004)Google Scholar
  4. 4.
    De Nicola, R.: Extensional Equivalences for Transition Systems. Theoretical Computer Science 24, 211–237 (1987)zbMATHGoogle Scholar
  5. 5.
    Frantzen, L., Tretmans, J., Willemse, T.A.C.: A Symbolic Framework for Model-Based Testing. In: Havelund, K., Núñez, M., Roşu, G., Wolff, B. (eds.) Formal Approaches to Software Testing and Runtime Verification. LNCS, vol. 4262, pp. 40–54. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  6. 6.
    Gross, H.-G.: Component-Based Software Testing with UML. Springer, Heidelberg (2004)Google Scholar
  7. 7.
    Heerink, L.: Ins and Outs in Refusal Testing. PhD thesis, University of Twente, Enschede, The Netherlands (1998)Google Scholar
  8. 8.
    Jard, C., Jéron, T.: TGV: Theory, Principles and Algorithms. Software Tools for Technology Transfer 7(4), 297–315 (2005)CrossRefGoogle Scholar
  9. 9.
    Rehman, M.J., Jabeen, F., Bertolino, A., Polini, A.: Testing Software Components for Integration: A Survey of Issues and Techniques. In: Software Testing Verification and Reliability, John Wiley & Sons, Chichester (2007)Google Scholar
  10. 10.
    Tretmans, J.: Test Generation with Inputs, Outputs and Repetitive Quiescence. Software—Concepts and Tools 17(3), 103–120 (1996)zbMATHGoogle Scholar
  11. 11.
    Tretmans, J.: Model Based Testing with Labelled Transition Systems. Technical Report ICIS–R6037, Institute for Computing and Information Sciences, Radboud University Nijmegen, The Netherlands (2006)Google Scholar
  12. 12.
    de Vries, R.G., Tretmans, J.: On-the-Fly Conformance Testing using \({\sc Spin}\). Software Tools for Technology Transfer 2(4), 382–393 (2000)zbMATHCrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Lars Frantzen
    • 1
    • 2
  • Jan Tretmans
    • 2
    • 3
  1. 1.Instituto di Scienza e Tecnologie della Informazione “Alessandro Faedo”, Consiglio Nazionale delle RicercheItaly
  2. 2.Institute for Computing and Information SciencesRadboud University NijmegenThe Netherlands
  3. 3.Embedded Systems InstituteThe Netherlands

Personalised recommendations