The full text of this article


Formally testing the protocol performances
by Xiaoping Che; Stephane Maag
International Journal of Space-Based and Situated Computing (IJSSC), Vol. 5, No. 2, 2015


Abstract: The validation of systems and specifically the conformance testing of communicating protocols is a crucial step to their development. Many approaches have been developed for a while, among which, the formal ones have proved their efficiency to test these protocols. These approaches are divided in two main sets: active and passive testing techniques. While they both have their own advantages and drawbacks, passive testing techniques are the only ones that can be applied when the controllability of the system interfaces is unavailable or when the implementation under test cannot be stimulated in runtime. In this paper, we present a logic-based passive testing approach to test in a formal way the conformance and the protocol performance requirements provided by the protocol standard or experts. We aim at formally specifying time related protocol properties in order to check them on real execution traces. Based on a new algorithm, a prototype is here developed and experienced. In order to evaluate and assess our technique, we present experiments through a set of IMS/SIP properties (regarding the conformance and the protocol performance) and execution traces. We finally discuss the results by providing relevant verdicts.

Online publication date: Fri, 01-May-2015


is only available to individual subscribers or to users at subscribing institutions.

Existing subscribers:
Go to Inderscience Online Journals to access the Full Text of this article.

Pay per view:
If you are not a subscriber and you just want to read the full contents of this article, buy online access here.

Complimentary Subscribers, Editors or Members of the Editorial Board of the International Journal of Space-Based and Situated Computing (IJSSC):
Login with your Inderscience username and password:


    Username:        Password:         

Forgotten your password?

Want to subscribe?
A subscription gives you complete access to all articles in the current issue, as well as to all articles in the previous three years (where applicable). See our Orders page to subscribe.

If you still need assistance, please email