Variants of the must testing approach have been successfully applied in Service Oriented Computing for analysing the compliance between (contracts exposed by) clients and servers or, more generally, between two peers. It has however been argued that multiparty scenarios call for more permissive notions of compliance because partners usually do not have full coordination capabilities. We propose two new testing preorders, which are obtained by restricting the set of potential observers. For the first preorder, called uncoordinated, we allow only sets of parallel observers that use different parts of the interface of a given service and have no possibility of intercommunication. For the second preorder, that we call individualistic, we instead rely on parallel observers that perceive as silent all the actions that are not in the interface of interest. We have that the uncoordinated preorder is coarser than the classical must testing preorder and finer than the individualistic one. We also provide a characterisation in terms of decorated traces for both preorders: the uncoordinated preorder is defined in terms of must-sets and Mazurkiewicz traces while the individualistic one is described in terms of classes of filtered traces that only contain designated visible actions and must-sets.
翻译:在 " 服务导向计算机 " 中,成功地应用了必须测试方法的变式,以分析客户和服务器之间(所暴露的合同)之间的合规情况,或更一般地说,两个同行之间的合规情况。然而,有人争辩说,多党设想需要更加宽容的合规概念,因为合作伙伴通常没有完全的协调能力。我们提议了两个新的测试预购,这是通过限制潜在观察员组成的组合获得的。关于第一个预购,称为 " 未经协调 ",我们只允许使用使用特定服务接口不同部分的平行观察员组,没有进行互通的可能性。第二个预购,即我们称个人主义,我们所依赖的是平行观察员,他们认为所有不处于利益界面的行动都是沉默的。我们发现,未经协调的预购比古典要粗,必须测试预购前期和细于个人主义的。我们还提供了两种预购的装饰标记的特征:未经协调的预购是按必须设置和Mazurkiwicz痕迹来界定的。而个别的预购则以过滤的痕迹类别来描述,只包含可见的行动和必须设置。