Integration Testing of Distributed Components Based on Learning Parameterized I/O Models

  • Keqin Li
  • Roland Groz
  • Muzammil Shahbaz
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4229)


The design of complex systems, e.g., telecom services, is usually based on the integration of components (COTS). When components come from third party sources, their internal structure is usually unknown and the documentation is scant or inadequate.

Our work addresses the issue of providing a sound support to component integration in the absence of formal models. We consider components as black boxes and use an incremental learning approach to infer partial models. At the same time, we are focusing on the richer models that are more expressive in the designing of complex systems. Therefore, we propose an I/O parameterized model and an algorithm to infer it from a black box component. This is combined with interoperability testing covering models of the components.


Input Sequence Finite State Machine Unit Testing Test Scenario Travel Agent 
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.


  1. 1.
    Angluin, D.: Learning regular sets from queries and counterexamples. Information and Computation 2, 87–106 (1987)MathSciNetCrossRefzbMATHGoogle Scholar
  2. 2.
    Berg, T., Jonsson, B., Raffelt, H.: Regular inference for state machines with parameters. In: Baresi, L., Heckel, R. (eds.) FASE 2006. LNCS, vol. 3922, pp. 107–121. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  3. 3.
    Elkind, E., Genest, B., Peled, D.A., Qu, H.: Grey-box checking. In: Najm, E., Pradat-Peyre, J.-F., Donzeau-Gouge, V.V. (eds.) FORTE 2006. LNCS, vol. 4229, pp. 420–435. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  4. 4.
    Hungar, H., Niese, O., Steffen, B.: Domain-specific optimization in automata learning. In: Hunt Jr., W.A., Somenzi, F. (eds.) CAV 2003. LNCS, vol. 2725, pp. 315–327. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  5. 5.
    Li, K., Groz, R., Shahbaz, M.: Inference of parameterized finite state machine - technical report. Technical report, Laboratoire Logiciels Systèmes Réseaux (2006),
  6. 6.
    Li, K., Groz, R., Shahbaz, M.: Integration testing of components guided by incremental state machine learning. In: Testing: Academic & Industrial Conference - Practice And Research Techniques (TAIC PART) (2006)Google Scholar
  7. 7.
    Mäkinen, E., Systä, T.: Mas - an interactive synthesizer to support behavioral modelling in uml. In: ICSE 2001: Proceedings of the 23rd International Conference on Software Engineering, Washington, DC, USA, pp. 15–24. IEEE Computer Society Press, Los Alamitos (2001)CrossRefGoogle Scholar
  8. 8.
    Somé, S.S.: Beyond scenarios: generating state models from use cases. In: Proceedings of SCESM 2002 (2002)Google Scholar

Copyright information

© IFIP International Federation for Information Processing 2006

Authors and Affiliations

  • Keqin Li
    • 1
  • Roland Groz
    • 1
  • Muzammil Shahbaz
    • 2
  1. 1.LSR – IMAGSt Martin D’Hères CedexFrance
  2. 2.France Telecom R&DMeylan CedexFrance

Personalised recommendations