The object model is a very popular paradigm for building distributed applications. Several standardisation efforts are underway that define architectures for distributed computing based on the object model. With object-based service specifications the need for conformance testing of object implementations arises to ensure that objects act as intended. The issue of conformance testing is of part...

Automatic synthesis of test cases for conformance testing has been principally developed with the objective of generating sequential test cases. In the distributed system context, it is worth extending the synthesis techniques to the generation of multiple testers. We base our work on our experience in using modelchecking techniques, as successfully implemented in the TGV tool. Continuing the w...

An agent communication protocol specifies the "rules of encounter" governing a dialogue between agents in a multiagent system. In non-cooperative interactions (such as negotiation dialogues) occur­ ring in open societies it is crucial that agents are equipped with proper means to check, and possi­ bly enforce, conformance to protocols. We identify different levels of conformance (weak, exhausti...

As a new generation access control method, Attribute-Based Access Control (ABAC) has gained increasing attention. Currently, Balana is the only open-source implementations of XACML 3.0, which is an OASIS standard for specifying ABAC. Considering that XACML is much more complex than traditional access control models, conformance testing of any XACML implementation is an important problem. Using ...

In this paper we introduce a formal framework to test systems where non-deterministic decisions are probabilistically quantified and temporal information is defined by using random variables. We define an appropriate extension of the classical finite state machines formalism, widely used in formal testing approaches, to define the systems that we are interested in. First, we define a conformanc...