Abstract
Application architectures have evolved to distributed architectures where applications are no longer seen as software blocks, but rather as cooperating software components, possibly distributed over the network. Some of the application’s components may have already been thoroughly tested while others have not. This paper presents a pragmatic solution to component testing by means of controlling the composition process in order to identify global transitions that reflect the component’s behaviour. The application of the proposed method is illustrated by an example based on the handling of a telephone call.
This work was funded by CNPq.
Chapter PDF
Similar content being viewed by others
Keywords
References
G. Booch, Object Oriented Analysis and Design with Applications, 2nd Edition The Benjamin/Cummings Publishing Company, 1994.
PT, Component Testing for Mobile and Broadband Telecommunications - COIMBRA, COPERNICUS Project Proposal, Feb. 1996.
R. Anido, A. Cavalli, T. Macavei, L. P. Lima, M. Clatin, M. Phalippou, Testing a real protocol with the aid of verification techniques, XXII SEMISH–Brazil, Aug. 1996, pp. 237–248.
A. Cavalli, B. Lee and T. Macavei, Test generation for the SSCOP-ATM networks protocol, SDL Forum’97, September 1997, France.
ISO, Information Technology, Open Systems Interconnection, Conformance Testing Methodology and Framework,International Standard IS-9646. ISO, 1991.
A. Petrenko, N. Yevtushenko, G. v. Bochman, Fault models for testing in context,Proceedings of FORTE - Kaiserslatern, Germany - 8–11 Oct. 96.
O. Charles, R. Groz, Formalisation d’Hypothèses pour l’Évaluation de la Couverture de Test, Proceedings of CFIP’ 96–Rabat, Morocco, 14–17 Oct. 1996.
Algayres, B; Lejeune, Y. and Hugonnet, F. GOAL: Observing SDL Behaviours with GEODE,Proceedings of the 7th SDL Forum, Oslo, Norway, 26–29 Sept. 1995 - pp. 223–230.
J-C Fernandez, C. Jard, T. Jéron, G. Viho, Using on-the-fly verification techniques for the generation of test suites, Summer School MOVEP’96, Nantes, France, 18–21 Jun. 1996.
L. P. Lima, A. Cavalli, Service Validation–An Embedded Testing Approach, Proceedings of EUNICE Summer School–Lausanne, Switzerland, 23–27 Jun. 1996.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1997 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Lima, L.P., Cavalli, A.R. (1997). A Pragmatic Approach to Generating Test Sequences for Embedded Systems. In: Kim, M., Kang, S., Hong, K. (eds) Testing of Communicating Systems. IFIP — The International Federation for Information Processing. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35198-8_18
Download citation
DOI: https://doi.org/10.1007/978-0-387-35198-8_18
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-6701-8
Online ISBN: 978-0-387-35198-8
eBook Packages: Springer Book Archive