Component Based Testing with IOCO - PowerPoint PPT Presentation

1 / 11
About This Presentation
Title:

Component Based Testing with IOCO

Description:

Integrating testing in the development process. Machiel van der Bijl. Universiteit Twente ... How does TorX work? System. Under. Test. Specification. TorX. 11 ... – PowerPoint PPT presentation

Number of Views:47
Avg rating:3.0/5.0
Slides: 12
Provided by: vande90
Category:

less

Transcript and Presenter's Notes

Title: 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
Write a Comment
User Comments (0)
About PowerShow.com