An Automata-based Approach to Property Testing in Event Traces

We present a framework for property testing where a partially ordered execution trace of a distributed system is modeled by a collection of communicating automata. We prove that the model exactly characterizes the causality relation between the events in the observed trace. We present the implementation of this approach in SDL, where ObjectGEODE is used to verify properties, and illustrate the approach with an industrial case study

Comparing TorX, Autolink, TGV and UIO test algorithms

This paper presents a comparison of four algorithms for test derivation: TorX, TGV, Autolink and UIO algorithms. The algorithms are classified according to the detection power of their conformance relations. Because Autolink does not have an explicit conformance relation, a conformance relation is reconstructed for it. The experimental results obtained by applying TorX, Autolink, UIO and TGV to the Conference Protocol case study are consistent with the theoretical results of this paper

The ASSET Architecture - Integrating Media Applications and Products through a Unified API

Applications and products currently available for the broadcasting market are vertically integrated or proprietary. They are based on components requiring specific and costly development to interoperate and do rely typically on a single manufacturer or system integrator. Hence they are not fully compliant with broadcasters' requirements. ASSET is a European funded project whose main goal is to overcome the limitations of custom specific implementations of a digital system for TV content creation. These limitations are generally due to the misfit of interfaces between software layers, proprietary APIs of equipment from different vendors and the lack of a generalised middleware for multimedia content management with openly defined interfaces. Besides presenting the ASSET proposed architecture and concepts, this paper describes the prototype under development to test and demonstrate the project proposals