Experiences with a random test driver

We describe our experience with a methodology for testing implementations of communications protocols that uses autonomous test drivers to exercise the protocol service interface. The test drivers only generate random event sequences that the service interface specifies should be accepted by a correct implementation. Event rejection therefore indicates a discrepancy between the service specification and the implementation under test. The methodology has proved to be a powerful and cost-effective complement to other testing techniques. © 1995.