Checking Compatibility of a Producer and a Consumer
Evan Driscoll, Amanda Burton, and Thomas Reps
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
will reject.
(Click here to access the paper:
PDF.)
University of Wisconsin