The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
The paper presents a method for deriving a complete test suite for a timed deterministic FSM with time-outs when only the upper bound on the number of states and the largest finite time-out at a state of an implementation under test are known. We also show that a test suite derived for a corresponding classical FSM is much longer than this obtained directly from a FSM with time-outs. The application...
Commonly, two main classes of formal testing techniques are applied to check the conformance of protocols and software: active and passive testing (monitoring) techniques. Because of many industrial constraints such as the necessity to achieve implementation black box testing, passive testing techniques become highly relevant in several cases. Besides, most of the passive testing techniques only consider...
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...
Although the adoption of the IP Multimedia Subsystem (IMS) keeps growing, IMS applications are often integrated to the system without being formally tested. In this work, we are interested in the IMS Push over Cellular (PoC) service, an OMA standard. We propose a conformance passive testing approach to check that its implementation respects the main standard requirements. This approach is based on...
Conformance testing is crucial to the quality and reliability of routing protocols for pervasive communications. Most of the works are devoted to their simulations in order to study their performance in a simulated context without taking into account their formal requirements and specifications. Our work tackles the formal methods to test the conformance of a ad hoc routing protocol (i.e. OLSR) deployed...
The advantages of high access speed and differentiated service provisioning with WiMAX technology has made it competent with current wired networks solutions. The various service types have been defined in recent 802.16 standards. However, the detailed traffic scheduling algorithm has been left empty to researchers. In this paper, the new concept of urgency index (UI) is brought out as the system...
Interoperability testing for ad hoc routing protocols is crucial to the reliability of wireless mobile ad hoc networks. Nevertheless, most of the works in this area are devoted to simulations analyzing the performance of such protocols without taking into account their formal requirements and specifications. Our works deal with formal methods to test the interoperability of a MANET routing protocol,...
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...
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...
Recent studies have highlighted the importance of the secretory pathway in stress-induced apoptotic signaling. Sensing stress at the endoplasmic reticulum and Golgi might first trigger recovery mechanisms, followed by apoptosis if repair is unsuccessful. Cleavage of endoplasmic-reticulum- or Golgi-resident proteins can signal repair or apoptosis and promote organelle disassembly during apoptosis....
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.