STOC '91 Proceedings of the twenty-third annual ACM symposium on Theory of computing
A Formal Approach for Passive Testing of Protocol Data Portions
ICNP '02 Proceedings of the 10th IEEE International Conference on Network Protocols
A passive testing approach based on invariants: application to the WAP
Computer Networks and ISDN Systems
Network protocol system monitoring: a formal approach with passive testing
IEEE/ACM Transactions on Networking (TON)
In search of dependable design
Communications of the ACM - Web science
Modeling IETF session initiation protocol and its services in SDL
SDL'03 Proceedings of the 11th international conference on System design
A formal data-centric approach for passive testing of communication protocols
IEEE/ACM Transactions on Networking (TON)
| Hi-index | 0.00 |
Because of the increased industrial and research communities interest in the IP Multimedia Subsystem (IMS), the needs of formal testing for IMS applications are becoming critical. In this work we take as a case study the IMS Push over Cellular (PoC) service, an OMA standard, and propose a formal testing approach to check that its implementation respects the standard requirements. The approach considers a formal model of the service as well a set of formal invariants representing the most relevant properties expected from the implementation. The invariants are verified on the PoC formal specification and then automatically checked on the execution traces of the implementation. Experimental results are then processed to provide testing verdicts on the implementation under test. Besides, we discuss the results analysis that show false positives essentially raised by inter-working SIP services.