Optimizing protocol passive testing through 'Gedanken' experiments with Finite State Machines - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Optimizing protocol passive testing through 'Gedanken' experiments with Finite State Machines

Résumé

This paper is devoted to study the use of experiments with Finite State Machines (FSM) for protocol passive testing optimization. We discuss how the knowledge obtained from the state identification of an implementation under test (IUT) can be utilized for its effective monitoring. Differently from active testing techniques, such identification is performed by only observing the IUT behavior. If the state identification is possible (at least partially), then this fact allows to reduce the number of properties (test purposes) to be checked at an execution point. Correspondingly, this allows to simplify and/or accelerate, i.e. optimize, the monitoring process by verifying the system behavior only at critical states against the appropriate set of properties associated to a given state. The paper discusses which ‘gedanken' experiments can be considered for this purpose and how they can be derived for various pecifications of communication protocols. The results presented in the paper are followed by an illustrative protocol example that demonstrates the efficiency of the proposed approach
Fichier non déposé

Dates et versions

hal-01432412 , version 1 (11-01-2017)

Identifiants

Citer

Natalia Kushik, Jorge Eleazar Lopez Coronado, Ana Rosa Cavalli, Nina Yevtushenko. Optimizing protocol passive testing through 'Gedanken' experiments with Finite State Machines. QRS 2016 : International Conference on Software Quality, Reliability and Security, Aug 2016, Vienna, Austria. pp.315 - 322, ⟨10.1109/QRS.2016.43⟩. ⟨hal-01432412⟩
98 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More