Richard Castanet

Learn More
Testing conceptually consists of three activities: test case generation, test case execution and verdict assignment. Using online testing, test cases are generated and simultaneously executed (i.e. the complete test scenario is built during test execution). This paper presents a framework that automatically generates and executes tests "online" for(More)
This paper presents a methodology to perform passive testing of behavioural conformance for the web services based on the security rule. The proposed methodology can be used either to check a trace (offline checking) or to runtime verification (online checking) with timing constraints, including future and past time. In order to perform this: firstly, we(More)
This paper proposes an approach to test (actively and passively) Web services composition described in BPEL using TGSE (Test Generation, Simulation and Emulation), that is a tool for generating test cases for Communicating Systems (CS). TGSE implements a generic generation algorithm allowing either test cases derivation or traces checking. It supports the(More)
This paper presents an automatic conformance testing tool with timing constraints from a formal specification (TEFSM: Timed Extended Finite State Machine) of web services composition (WSOTF: Web Service composition, Online Testing Framework), that is implemented by an online testing algorithm. This algorithm combines simultaneously idea of test execution(More)
Many critical, real-time systems or multimedia systems have time constraints in their spec$cations. But testing such systems isn’t obvious, because the notion of time is not directly under control. A well known problem concerns explosion and complexity related to the computation of behavior graph for real time specijcations. This paper introduces a novel(More)
This paper is concerned with design issues in telecommunication services. We propose a modelling and simulation approach for location operations in UMTS networks. These operations involve entities belonging to both core network and access network. The proposed model is based on formal techniques and represents functional behaviour of network elements. The(More)
Robustness testing aims at verifying the acceptable behavior of a system under unexpected conditions. In this paper we propose a framework and a tool for robustness test cases generation. Our framework consists of two phases: (1) Construction of an <i>increased specication</i> by integrating hazards in the nominal specification model written in SDL. The(More)