TR – CTIT – 03 – 34 , University of Twente , 2003 Component Based Testing with ioco

@inproceedings{Bijl2003TRC,
  title={TR – CTIT – 03 – 34 , University of Twente , 2003 Component Based Testing with ioco},
  author={Machiel van der Bijl and Arend Rensink and Jan Tretmans},
  year={2003}
}
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… CONTINUE READING