Component based testing with IOCO

Share/Save/Bookmark

Bijl, Machiel van der and Rensink, Arend and Tretmans, Jan (2003) Component based testing with IOCO. [Report]

open access
[img]
Preview
PDF
409kB
Abstract:Component based testing concerns the integration of components which have already been tested separately. We show that, with certain restrictions, the ioco-test theory for conformance testing is suitable for component based 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.
Item Type:Report
Copyright:© 2003 CTIT
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/41390
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page

Metis ID: 217625