Logo eprints

Contractual Testing

Buscemi, Maria Grazia and De Nicola, Rocco and Melgratti, Hernán C. Contractual Testing. Working Paper # /2012 (Unpublished)

This is the latest version of this item.

Download (242kB) | Preview


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.

Item Type: Working Paper (Working Paper)
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area: Computer Science and Applications
Depositing User: Users 29 not found.
Date Deposited: 13 Apr 2012 09:21
Last Modified: 24 Jan 2014 14:13
URI: http://eprints.imtlucca.it/id/eprint/1261

Available Versions of this Item

  • Contractual Testing. (deposited 13 Apr 2012 09:21) [Currently Displayed]

Actions (login required)

Edit Item Edit Item