Examples of Black Box Tests
The following are examples of two black-box test programs
I wrote, many years ago, to test the work of students in an
Ada programming course. In each case, the students were to
implement an an abstract data type. The test programs
each use a combination of equivalence partitioning and comparison
testing. One also uses bounded exhaustive testing, and the
other uses random testing. The first example is written
in Ada 95. The second is written
in Ada 83 (a subset of Ada 95).
- testing.ads test support package interface
- testing.adb test support package implementation
- p9.ads unbounded integer package interface
- p9.adb unbounded integer package implementation
- testp9.adb a simple black-box test of the
above package
- rings.ada ring data structure package interface
- rtest.ada a simple black-box test of the above package
- ringsb.ada ring data structure package implementation