Checking Conformance of a Producer and a Consumer

Evan Driscoll, Amanda Burton, and Thomas Reps
University of Wisconsin

This paper addresses the problem of identifying incompatibilities between two programs that operate in a producer/consumer relationship. It describes the techniques that are incorporated in a tool called PCCA (Producer-Consumer Conformance Analyzer), which attempts to (i) determine whether the consumer is prepared to accept all messages that the producer can emit, or (ii) find a counterexample: a message that the producer can emit and the consumer considers ill-formed.

(Click here to access the paper: PDF.)