{"id":13223,"date":"2021-12-07T21:00:41","date_gmt":"2021-12-08T02:00:41","guid":{"rendered":"https:\/\/carleton.ca\/scs\/?page_id=13223"},"modified":"2026-06-02T14:59:23","modified_gmt":"2026-06-02T18:59:23","slug":"tr-07-19-the-grocery-store-contract-evaluation-framework-walk-through","status":"publish","type":"page","link":"https:\/\/carleton.ca\/scs\/research\/scs-technical-reports\/technical-reports-2007\/tr-07-19-the-grocery-store-contract-evaluation-framework-walk-through\/","title":{"rendered":"TR-07-19: The Grocery Store: Contract Evaluation Framework Walk Through"},"content":{"rendered":"\n
\n
\n\n
\n
\n
\n

\n TR-07-19: The Grocery Store: Contract Evaluation Framework Walk Through\n <\/h1>\n \n \n <\/header>\n\n <\/div>\n\n <\/div>\n\n <\/div>\n<\/section>\n\n

Carleton University
\nTechnical Report<\/a> TR-07-19
\nOctober 16, 2007<\/p>\n\n\n\n

The Grocery Store: Contract Evaluation Framework Walk Through<\/h2>\n\n\n\n
\n
\n
\n
\n
\n
\n
\n
\n
\n

Dave Arnold<\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n

\n

Abstract<\/h3>\n

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\u2010functional requirements when determine conformance. The grocery store is used to provide a complete end\u2010to\u2010end walk through of our framework\u0092s capabilities and operation. The walk through will begin with the elicitation and specification of scenarios and finish with a contract evaluation report illustrating conformance.<\/p>\n

TR-07-19.pdf<\/a><\/p>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n<\/div>\n","protected":false},"excerpt":{"rendered":"

Carleton 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 […]<\/p>\n","protected":false},"author":2,"featured_media":0,"parent":12385,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"_acf_changed":false,"_cu_dining_location_slug":"","footnotes":"","_links_to":"","_links_to_target":""},"cu_page_type":[],"class_list":["post-13223","page","type-page","status-publish","hentry"],"acf":{"cu_post_thumbnail":false},"_links":{"self":[{"href":"https:\/\/carleton.ca\/scs\/wp-json\/wp\/v2\/pages\/13223","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/carleton.ca\/scs\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/carleton.ca\/scs\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/carleton.ca\/scs\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/carleton.ca\/scs\/wp-json\/wp\/v2\/comments?post=13223"}],"version-history":[{"count":1,"href":"https:\/\/carleton.ca\/scs\/wp-json\/wp\/v2\/pages\/13223\/revisions"}],"predecessor-version":[{"id":13224,"href":"https:\/\/carleton.ca\/scs\/wp-json\/wp\/v2\/pages\/13223\/revisions\/13224"}],"up":[{"embeddable":true,"href":"https:\/\/carleton.ca\/scs\/wp-json\/wp\/v2\/pages\/12385"}],"wp:attachment":[{"href":"https:\/\/carleton.ca\/scs\/wp-json\/wp\/v2\/media?parent=13223"}],"wp:term":[{"taxonomy":"cu_page_type","embeddable":true,"href":"https:\/\/carleton.ca\/scs\/wp-json\/wp\/v2\/cu_page_type?post=13223"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}