---------
| Test  |     ---------------------
| Driver|<----|Test Case  Database|
---------      --------------------
    |
    |
    v
---------
|Program|
| being |
|tested |
---------

The test cases in the test dadtabase are derived from the model.