Component Based Testing with IOCO

1
Component Based Testingwith IOCO

• Integrating testing in the development process
• Machiel van der Bijl
• Universiteit Twente

2
NS ticket vending machine
3
Architecture vending machine
4
Component Based Testing
3
2
1
5
State of the art in CBT
Input
UI Component
Output
6
Some testing theory
CORRECT
7
Some testing theory
Component A
Component B
Specification A
Specification B
8
What does this mean?

• Correctness of parts implies correctness of whole
• But not the other way around!
• In practical terms
• Its easier to find a bug in a component than in
  the integration of components

9
IOCO test theory

• IOCO is a notion of correctness
• Between implementation and specification
• TorX test tool based on IOCO
• Automatic generation of test cases
• Automatic execution of test cases
• Automatic evaluation of test cases

10
How does TorX work?
TorX
11
Conclusions

• CBT an efficient way of testing
• Correctness of parts implies correctness of whole
• Easier bug finding
• Easier bug localization
• Easier bug fixing
• TorX supports CBT
• TorX is based on the IOCO test theory

12
Component Based Integration
13
Cost of bugs
14
Number of people on project