TR-07-19: The Grocery Store: Contract Evaluation Framework Walk Through
杏吧原创 University
Technical Report TR-07-19
October 16, 2007
The Grocery Store: Contract Evaluation Framework Walk Through
Dave Arnold
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鈥恌unctional requirements when determine conformance. The grocery store is used to provide a complete end鈥恡o鈥恊nd 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.