Passive testing – a constrained invariant checking approach

Authors:
Behrouz Tork Ladani;Baptiste Alcalde;Ana Cavalli
Affiliations:
Department of Computer Engineering, University of Isfahan, Isfahan, Iran;Institute National des Telecommunications GET-INT, Evry, France;Institute National des Telecommunications GET-INT, Evry, France
Venue:
TestCom'05 Proceedings of the 17th IFIP TC6/WG 6.1 international conference on Testing of Communicating Systems
Year:
2005

Citing 7
Cited 6

Testing finite state machines

STOC '91 Proceedings of the twenty-third annual ACM symposium on Theory of computing
A survey of communication protocol testing

Journal of Systems and Software
A Formal Approach for Passive Testing of Protocol Data Portions

ICNP '02 Proceedings of the 10th IEEE International Conference on Network Protocols
Passive testing and applications to network management

ICNP '97 Proceedings of the 1997 International Conference on Network Protocols (ICNP '97)
Fault Identification in Networks by Passive Testing

SS '01 Proceedings of the 34th Annual Simulation Symposium (SS01)
A passive testing approach based on invariants: application to the WAP

Computer Networks: The International Journal of Computer and Telecommunications Networking
Fast testing of critical properties through passive testing

TestCom'03 Proceedings of the 15th IFIP international conference on Testing of communicating systems

Testing mobile computing applications: toward a scenario language and tools

WODA '08 Proceedings of the 2008 international workshop on dynamic analysis: held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008)
${\cal T}\! {\cal H} {\cal O} {\cal T}\! {\cal L}$: A Timed Extension of ${\cal H} {\cal O} {\cal T}\! {\cal L}$

TestCom '08 / FATES '08 Proceedings of the 20th IFIP TC 6/WG 6.1 international conference on Testing of Software and Communicating Systems: 8th International Workshop
Data-centric property formulation for passive testing of communication protocols

ACC'11/MMACTEE'11 Proceedings of the 13th IASME/WSEAS international conference on Mathematical Methods and Computational Techniques in Electrical Engineering conference on Applied Computing
New approach for EFSM-based passive testing of web services

TestCom'07/FATES'07 Proceedings of the 19th IFIP TC6/WG6.1 international conference, and 7th international conference on Testing of Software and Communicating Systems
A formal data-centric approach for passive testing of communication protocols

IEEE/ACM Transactions on Networking (TON)
Using passive testing based on symbolic execution and slicing techniques: Application to the validation of communication protocols

Computer Networks: The International Journal of Computer and Telecommunications Networking

Quantified Score

Hi-index	0.00

Visualization

Abstract

Passive testing of a network protocol is the process of detecting faults in the protocol implementation by passively observing its input/output behaviors (execution trace) without interrupting the normal network operations. In observing the trace, we can focus on the most expected relevant properties of the protocol specification by defining some invariants on the specification and checking them on the trace. While intuitive extraction of the invariants from the protocol requirements with respect to the control portion of the protocol system is relatively simple, taking the data portion into account is difficult. In this paper we propose algorithms for checking the correctness of given invariants on the specification and extracting the required constraints on the variables (data portion). Once we generate the constraints for a given invariant, we can check if the execution trace is confirmed by the specification with respect to the invariant and its constraints. We show the applicability of the algorithm on a case study: the simple connection protocol (SCP).