Integration Testing of Distributed Components Based on Learning Parameterized I/O Models
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.
KeywordsInput Sequence Finite State Machine Unit Testing Test Scenario Travel Agent
- 5.Li, K., Groz, R., Shahbaz, M.: Inference of parameterized finite state machine - technical report. Technical report, Laboratoire Logiciels Systèmes Réseaux (2006), http://www-lsr.imag.fr/Les.Groupes/VASCO/publi-2006.htm
- 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
- 8.Somé, S.S.: Beyond scenarios: generating state models from use cases. In: Proceedings of SCESM 2002 (2002)Google Scholar