Abstract
Compositional testing concerns the testing of systems that consist of communicating components which can also be tested in isolation. Examples are component based testing and interoperability testing. We show that, with certain restrictions, the ioco-test theory for conformance testing is suitable for compositional testing, in the sense that the integration of fully conformant components is guaranteed to be correct. As a consequence, there is no need to re-test the integrated system for conformance.
This result is also relevant for testing in context, since it implies that every failure of a system embedded in a test context can be reduced to a fault of the system itself.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Tretmans, J.: Test generation with inputs, outputs and repetitive quiescence. Software— Concepts and Tools 17, 103–120 (1996)
Tretmans, J.: Testing concurrent systems: A formal approach. In: Baeten, J.C.M., Mauw, S. (eds.) CONCUR 1999. LNCS, vol. 1664, pp. 46–65. Springer, Heidelberg (1999)
Fernandez, J.C., Jard, C., Jéron, T., Viho, C.: An experiment in automatic generation of test suites for protocols with verification technology. Science of Computer Programming – Special Issue on COST247, Verification and Validation Methods for Formal Descriptions 29, 123–146 (1997)
He, J., Turner, K.: Protocol-Inspired Hardware Testing. In: Csopaki, G., Dibuz, S., Tarnay, K. (eds.) Int.Workshop on Testing of Communicating Systems 12, pp. 131–147. Kluwer Academic Publishers, Dordrecht (1999)
Belinfante, A., Feenstra, J., Vries, R.d., Tretmans, J., Tretmans, J., Goga, N., Feijs, L., Mauw, S., Heerink, L.: Formal test automation: A simple experiment. In: Csopaki, G., Dibuz, S., Tarnay, K. (eds.) 12thInt. Workshop on Testing of Communicating Systems, pp. 179–196. Kluwer Academic Publishers, Dordrecht (1999)
Petrenko, A., Yevtushenko, N.: Fault detection in embedded components. In: Kim, M., Kang, S., Hong, K. (eds.) Tenth Int. Workshop on Testing of Communicating Systems, pp. 272–287. Chapman & Hall, Boca Raton (1997)
ISO/IEC JTC1/SC21WG7, I.-TU-T SG 10/Q.8: Information Retrieval, Transfer and Management for OSI; Framework: Formal Methods in Conformance Testing. Committee Draft CD 13245-1, ITU-T proposed recommendation Z.500. ISO – ITU-T, Geneve (1996)
Jard, C., Jéron, T., Tanguy, L., Viho, C.: Remote testing can be as powerful as local testing. In: Formal Desciption Techniques and Protocol Specification, Testing and Verification FORTE XI /PSTV XVIII 1999. Kluwer Academic Publishers, Dordrecht (1999)
Petrenko, A., Yevtushenko, N., Von Bochman, G.: Fault models for testing in context. In: Gotzhein, R., Bredereke, J. (eds.) Proceedings FORTE. IFIP Conference, vol. 69, pp. 163–178. Kluwer, Dordrecht (1996)
De Nicola, R., Segala, R.: A process algebraic view of Input/Output Automata. Theoretical Computer Science 138, 391–423 (1995)
Petrenko, A., Bochmann, G.: Conformance relations and test derivation. In: Rafiq, O. (ed.) Sixth Int. Workshop on Protocol Test Systems. IFIP Transactions, vol. C-19, pp. 157–178. North-Holland, Amsterdam (1994)
van der Bijl, M., Rensink, A., Tretmans, J.: Component based testing with ioco. Technical report, University of Twente (2003), http://wwwhome.cs.utwente.nl/~vdbijl/papers/CBT.pdf
Brookes, S.D., Hoare, C.A.R., Roscoe, A.W.: A theory of communicating sequential processes. Journal of the Association for Computing Machinery 31, 560–599 (1984)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
van der Bijl, M., Rensink, A., Tretmans, J. (2004). Compositional Testing with ioco . In: Petrenko, A., Ulrich, A. (eds) Formal Approaches to Software Testing. FATES 2003. Lecture Notes in Computer Science, vol 2931. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24617-6_7
Download citation
DOI: https://doi.org/10.1007/978-3-540-24617-6_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20894-5
Online ISBN: 978-3-540-24617-6
eBook Packages: Springer Book Archive