Search

International audience; Conformance testing is a crucial activity which aims at stimulating the communication system under test (SUT) to detect errors and unexpected behaviors with regards to the standards. However, when considering distributed systems, the joint and linked stimulation of distributed entities is not easy. The correlation of verdicts obtained from these entities is most of the time impossible in a real environment because of inherent constraints and specic assumptions. In this paper, we present a novel distributed testing architecture based on a formal denition of test cases dependencies to test the conformance of distributed systems in a black box context. Finally, using the ETSI TDL standard, we successfully apply our approach to a real IMS/SIP testbed and perform the tests through two SIP use cases

Ad hoc protocols, Testing, Verification, Model checking, PLTL, SPIN, Simulations. In this paper, we define a model of an ad hoc routing protocol, i.e. the OLSR (Optimized Link-State Routing) protocol. This model handles novel constraints related to such networks and issues new challenges to treat these constraints. In the network community, the practice is based on simulation models that allow to perform performance measures but no formal methods are used. We propose to promote the use of formal description techniques such as the promela and SDL languages that are both well accepted in the community of communication protocols. Until now, few works exist that handle the formal description of ad hoc networks, this network has as a main feature the absence of infrastructure. So, conformance testing and verification need to be revisited in order to bridge the gap between these new protocols and formal methods. In order to test and verify such protocols we need first to dispose of a formal model of what we want to verify and test. This is what we propose herein

This paper presents a formal specification of an e-barter system and a set of scenarios to test the conformance of a given implementation to some targeted system functionalities. The functionalities of the e-barter system are inspired from those presented in [7] that are based on intelligent agents using utility functions to represent customer preferences but also integrating transaction and shipping costs. The system specification is performed using the SDL language. It includes two markets representing two cities, both cities containing several agents representing the customers preferences. Agents are different instances of the same process, allowing the dynamic inclusion of new agents and of new resources. The scenarios are generated from the specification and from some test purposes using a tool developed at INT [1]. The test purposes express specific system properties and are used to guide the test generation procedure that is completely automated. In this paper, we also present the experimentation results of the application of our tool to the e-barter system.