Compositional Testing with ioco
Berlin : Springer
InPetrenko, A.; Ulrich, A. (ed.), Proceedings Formal Approaches to Software Testing (FATES 2003, pp. 86-100
Conference Formal Approaches to Software Testing (FATES 2003), Montréal, Québec, Canada, October 6, 2003
Article in monograph or in proceedings
Display more detailsDisplay less details
Informatics for Technical Applications
Petrenko, A.; Ulrich, A. (ed.), Proceedings Formal Approaches to Software Testing (FATES 2003
SubjectLecture notes in computer science; Software Technology
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.
Upload full text
Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.