?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rft.relation=http%3A%2F%2Feprints.imtlucca.it%2F1261%2F&rft.title=Contractual+Testing&rft.creator=Buscemi%2C+Maria+Grazia&rft.creator=De+Nicola%2C+Rocco&rft.creator=Melgratti%2C+Hern%C3%A1n+C.&rft.subject=QA75+Electronic+computers.+Computer+science&rft.description=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%2C+namely%0D%0Athe+fact+that+compliance+is+preserved+when+a+service+exposing+a+%E2%80%99smaller%E2%80%99+contract+is+replaced+by+another+one+with+a+%E2%80%99larger%E2%80%99+contract.+Nevertheless%2C+in+multi-party%0D%0Ainteractions%2C+partners+often+lack+full+coordination+capabilities.+Such+a+scenario+calls+for+less+discriminating+notions+of+testing+in+which+observers+are%2C+e.g.%2C+the%0D%0Adescription+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%2C+called+contractual+preorder%2C+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.&rft.date=2012&rft.type=Working+Paper&rft.type=NonPeerReviewed&rft.format=application%2Fpdf&rft.language=en&rft.identifier=http%3A%2F%2Feprints.imtlucca.it%2F1261%2F1%2FWP_2012.pdf&rft.identifier=++Buscemi%2C+Maria+Grazia+and+De+Nicola%2C+Rocco+and+Melgratti%2C+Hern%C3%A1n+C.++Contractual+Testing.++Working+Paper++%23+%2F2012++++++++(Unpublished)+++