Abstract
Testing a protocol at runtime in an online way is a complex and challenging work. It requires the ability to handle numerous messages in a short time, and also requires the same offline testing preciseness. Meanwhile, since online testing is a long term continuously process, the tester has to undergo severe conditions when dealing with large amount of nonstop traces. In this paper, we present a novel logic-based online passive testing approach to test, at runtime, the protocol conformance and performance through formally specified properties with new definitions of verdicts. In order to evaluate and assess our methodology, we experimented our approach with several Session Initiation Protocol properties in a real IP Multimedia Subsystem environment. Relevant verdicts and discussions are provided.
| Original language | English |
|---|---|
| Pages (from-to) | 90-93 |
| Number of pages | 4 |
| Journal | Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE |
| Volume | 2014-January |
| Issue number | January |
| Publication status | Published - 1 Jan 2014 |
| Externally published | Yes |
| Event | 26th International Conference on Software Engineering and Knowledge Engineering, SEKE 2014 - Vancouver, Canada Duration: 1 Jul 2014 → 3 Jul 2014 |