@inproceedings{e583e1a36daf4cfe82a54441462f43a7,
title = "Online testing: A passive approach for protocols",
abstract = "Online testing approaches are becoming crucial in today{\textquoteright}s complex systems. By that way, testing a protocol at run-time has to be performed during a normal use of the system without disturbing the process. The traces are observed and analyzed on-the-fly to provide test verdicts and no trace sets should be studied as a posteriori to the testing process. In this process, it is a challenging work to keep the same preciseness in conformance testing and the same efficiency in performance testing. In this paper, aiming to find a solution, we present a novel online passive testing approach based on Horn-Logic. In order to evaluate and assess our approach, we also developed a prototype and experimented it with a set of Session Initiation Protocol properties in a real IP Multimedia Subsystem environment. Finally, the preliminary results and discussions are provided.",
keywords = "Formal methods, Online testing, Passive testing",
author = "Xiaoping Che and Jorge Lopez and Stephane Maag",
note = "Publisher Copyright: {\textcopyright} Springer International Publishing Switzerland 2015.; 9th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2014 ; Conference date: 28-04-2014 Through 30-04-2014",
year = "2015",
month = jan,
day = "1",
doi = "10.1007/978-3-319-27218-4\_6",
language = "English",
isbn = "9783319272177",
series = "Communications in Computer and Information Science",
publisher = "Springer Verlag",
pages = "79--92",
editor = "Joaquim Filipe and Maciaszek, \{Leszek A.\}",
booktitle = "Evaluation of Novel Approaches to Software Engineering - 9th International Conference, ENASE 2014, Revised Selected Papers",
}