TR-07-19: The Grocery Store: Contract Evaluation Framework Walk Through

Abstract

A physical grocery store is used to present an open framework for the specification, execution, and conformance evaluation of scenarios. Our framework supports the binding of a testable model against a candidate implementation for evaluation. Such evaluation includes the invocation of static and dynamic checks, the execution of scenarios, and the capture and evaluation of metrics. Metric evaluation allows our framework to consider both functional and non‐functional requirements when determine conformance. The grocery store is used to provide a complete end‐to‐end walk through of our framework’s capabilities and operation. The walk through will begin with the elicitation and specification of scenarios and finish with a contract evaluation report illustrating conformance.

TR-07-19.pdf