Checking conformance of a producer and a consumer

Evan Driscoll, Amanda Burton, Thomas W. Reps

PDF DOI 10.1145/2025113.2025132 dblp

Abstract

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 counter-example: a message that the producer can emit and the consumer considers ill-formed.

BibTeX

@inproceedings{Driscoll-al:FSE11,
  author    = {Evan Driscoll and
               Amanda Burton and
               Thomas W. Reps},
  title     = {Checking conformance of a producer and a consumer},
  booktitle = {FSE},
  pages     = {113--123},
  publisher = {{ACM}},
  year      = {2011},
}

Checking conformance of a producer and a consumer

Abstract

Related papers