On testing against partial non-observable specifications - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2014

On testing against partial non-observable specifications

Résumé

As the complexity of communication systems increases, new techniques and strategies should be developed for testing and verification of the system components. In this paper, we focus on testing software components that implement communication protocols at various levels. Such implementations can be considered as reactive systems and we discuss how Finite State Machines (FSMs) might be used when deriving high quality tests and which properties can be held for corresponding FSMs when increasing/decreasing an abstraction level for the protocol specification. At the high abstraction level, the specification machine can be partial and non-observable, and we propose a test derivation strategy against such specifications. Furthermore, we turn to debugging techniques and discuss how an implementation bug can be located when the specification is partial and non-observable
Fichier non déposé

Dates et versions

hal-01262783 , version 1 (27-01-2016)

Identifiants

Citer

Natalia Kushik, Nina Yevtushenko, Ana Rosa Cavalli. On testing against partial non-observable specifications. QUATIC 2014 : 9th International Conference on the Quality of Information and Communications Technology, Sep 2014, Guimaraes, Portugal. pp.230 - 233, ⟨10.1109/QUATIC.2014.38⟩. ⟨hal-01262783⟩
66 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More