Stéphane Maag

Timed Extended Invariants for the Passive Testing of Web Services

The service-oriented approach is becoming more and more popular to integrate highly heterogeneous systems. Web services are the natural evolution of conventional middleware technologies to support Web-based and enterprise level integration. Formal testing of such Web-based technology is a key point to guarantee its reliability. In this paper, we choose a non-intrusive approach based on monitoring to propose a conformance passive testing methodology to check that a composed Web service respects its functional requirements. This methodology is based on a set of formal invariants representing properties to be tested including data and time constraints. Passive testing of an industrial system (that uses a composition of Web services) is briefly presented to demonstrate the effectiveness of the proposed approach.

A passive conformance testing approach for a MANET routing protocol

In this paper we propose a passive conformance testing technique applied to a Mobile ad hoc network (MANET) routing protocol, OLSR, that is characterized by a dynamically changing topology and lack of centralized management. This makes it necessary to investigate new ways to test complex scenarios and configurations. The work here proposes a formal passive testing method to test the conformance and reliability of the protocol. The method developed has been performed on a real case study showing that the approach can be successful applied and that it allows reducing inconclusive verdicts often observed using other methods.

A formal validation methodology for MANET routing protocols based on nodes' self similarity

Conformance testing for ad hoc routing protocols is crucial to the reliability of Wireless Mobile Ad Hoc Networks. Most of the works related to the validation of such protocols are based on simulation and emulation analysis of simulated/emulated implementations without taking into account formal specifications. However, for many reasons, it has often been shown that the results obtained from simulator studies are far from the real case studies. In this paper, we propose a new conformance testing methodology dedicated to the validation of MANET routing protocols, especially Dynamic Source Routing. After generating test sequences from the formal model, the main issue is to execute them. There exist many techniques in wired systems, but several MANET inherent constraints lead to cope with the diverse mobility patterns and the topological changes. Therefore, a nodes self similarity approach is introduced as well a specific testing architecture dealing with unexpected and unpredictable topology and messages. Interesting results have been provided as illustrated through experiments.

Testing methodology for an ad hoc routing protocol

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

A Methodology for Interoperability Testing of a MANET Routing Protocol

In this paper, we propose a methodology to test the interoperability of a MANET routing protocol, that is DSR. This approach is based on a formal specification of the protocol designed in SDL. From this specification and the requirements of the protocol, test scenario are automatically generated to test the interactions between two implementations. A test architecture is depicted and experiments are illustrated on an implementation of the protocol in a a real case study.

Automated test scenarios generation for an e-barter system

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.

Analysis of the OLSR Protocol by Using Formal Passive Testing

In this paper we apply a passive testing methodology to the analysis of a non-trivial system. In our framework, so-called invariants provide us with a formal representation of the requirements of the system. In order to precisely express new properties in multi-node environments, in this paper we introduce a new kind of invariants. We apply the resulting framework to perform a complete study of a MANET routing protocol: The Optimized Link State Routing protocol.

Regression and Performance Testing of an e-Learning Web Application: dotLRN

Along with the continuous development of big and complex Web applications such as dotLRN, it is mandatory to execute in a scheduled way a set of test cases to assure its functional stability and to make sure that the Web application still runs whatever the modifications applied to the implementation. This article highlights the importance of testing and presents the types of test that are needed to assure not just the stability but also the scalability of the dotLRN platform by testing some non-functional aspects. This article presents different methods that can be applied to test in general any Web application. Then a methodology to manually develop the test conformance in order to automatically test the regression of the implementation is proposed. Finally this paper presents our proposal to cover the performance and load tests of the dotLRN Web application.

Testing protocols in Internet of Things by a formal passive technique

In recent years, Extensible Messaging and Presence Protocol (XMPP) is gaining momentum in Internet of Things (IoT). It has been widely used in chatting, message exchanging and unique addressing. As a matter of course, it raises an interesting issue: how to formally test the conformance and performance of XMPP in IoT environment. While conformance testing of communicating protocols is a functional test that verifies whether the behaviors of the protocol satisfy defined requirements, performance testing is a qualitative and quantitative test that aims at checking whether the performance requirements of the protocol are satisfied under certain conditions. In this paper, we present a logic-based passive testing approach that can test both the conformance and the performance of XMPP protocol through real execution traces and formally specified properties. To evaluate and assess our methodology, we present a developed prototype and the experiments with a set of XMPP properties. Finally, the relevant verdicts and conclusions are provided.

A Testing Methodology for a MANET Routing Protocol Using a Node Self-Similarity Approach

In this paper we present a new approach to test the conformance of a wireless ad hoc routing protocol. This approach is based on a formal specification of the DSR protocol described by using the SDL language. Test scenarii are automatically generated by a tool developed in our laboratory and a method enabling to execute them on an implementation into a real network is illustrated. The concept of self-similarity is presented to reduce by combination the number of nodes in a network enabling to execute the test scenarii in defining a relationship between the network and specification topologies