eprintid: 1261
rev_number: 14
eprint_status: archive
userid: 29
dir: disk0/00/00/12/61
datestamp: 2012-04-13 09:21:05
lastmod: 2014-01-24 14:13:48
status_changed: 2012-04-18 11:11:08
type: monograph
succeeds: 1260
metadata_visibility: show
creators_name: Buscemi, Maria Grazia
creators_name: De Nicola, Rocco
creators_name: Melgratti, Hernán C.
creators_id: m.buscemi@imtlucca.it
creators_id: r.denicola@imtlucca.it
creators_id: 
title: Contractual Testing
ispublished: unpub
subjects: QA75
divisions: CSA
full_text_status: public
monograph_type: working_paper
abstract: Variants of must testing approach have been successfully applied in Service Oriented Computing for capturing compliance between (contracts exposed by) a client and a service and for characterising safe replacement, namely
the fact that compliance is preserved when a service exposing a ’smaller’ contract is replaced by another one with a ’larger’ contract. Nevertheless, in multi-party
interactions, partners often lack full coordination capabilities. Such a scenario calls for less discriminating notions of testing in which observers are, e.g., the
description of uncoordinated multiparty contexts or contexts that are unable to observe the complete behaviour of the process under test. In this paper we propose an extended notion of must  preorder, called contractual preorder, according to which contracts are compared according to their ability to pass only the tests belonging to a given set. We show the generality of our framework by proving that preorders induced by existing notions of compliance in a distributed setting are instances of the contractual preorder when restricting to suitable sets of observers.
date: 2012
number:  
pages: 20
institution: IMT Institute for Advanced Studies Lucca
citation:   Buscemi, Maria Grazia and De Nicola, Rocco and Melgratti, Hernán C.  Contractual Testing.  Working Paper  # /2012        (Unpublished)   
document_url: http://eprints.imtlucca.it/1261/1/WP_2012.pdf