No abstract

With emergence of new models, architectures and midlleware such as ODP, TINA and CORBA for developing open distributed systems, testing technology requires adaptation for use within conformance assessment in such systems. All these frameworks are object-based and aim at creating open distributed environments supporting interworking, interoperability, and portability, in spite of heterogeneity and autonomy of the related systems. In this context an open distributed system may be viewed as a system providing standardized distributed interfaces for interacting with other systems. Conformance of such a system can be assessed by attaching a related tester at each provided interface. However, many problems of controllability and observability influencing fault detection during the testing process arise if there is no coordination between the testers. In this paper, we show how to cope with these problems by using a distributed test method derived from OSI conformance testing. Afterwards, a CORBA prototype is designed, realized and experimented with a forum application. 1.

No abstract

Reachability analysis is the most popular and the most used method in protocol validation. It consists in constructing a graph called reachability graph, describing communication of machines exchanging messages through FIFO channels. The states and structure of this graph are then analysed according to given properties to validate the related communication protocol. In this paper, we go from communicating machines used in reachability analysis, to design temporal communicating machines allowing one to specify quantitative temporal aspects of communication protocols. A temporal reachability graph describing the global behavior of temporal communicating machines, is then defined. After that, we show how this graph can be used to analyse general properties of communication protocols submitted to temporal constraints.

No abstract