A formal passive testing approach for checking real time constraints - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2010

A formal passive testing approach for checking real time constraints

Résumé

Increasing complexity and distribution of current software systems lead to new and more complex behavioral constraints. Consequently, testing if a given system fulfills its functional requirements becomes more crucial than ever and necessitates more powerful test oracles. In this paper, we focus on temporal requirements of critical systems. We propose a formal testing approach for specification and verification of real time properties. We specify system requirements as XCTL (eXplicit Clock Temporal Logic) formulas and propose a passive testing algorithm to check their conformance w.r.t. collected traces. Our main objective in this work, is to be able to address complex temporal properties. Particularly, we show that our approach can be used to check time correlated constraints which are temporal constraints defined w.r.t. other temporal constraints in the same formula. We also present a case study on Web services to illustrate our approach and discuss the obtained experimental results
Fichier non déposé

Dates et versions

hal-01306297 , version 1 (22-04-2016)

Identifiants

Citer

Fayçal Bessayah, Ana Rosa Cavalli. A formal passive testing approach for checking real time constraints. QUATIC 2010 : 7th International Conference on the Quality of Information and Communications Technology, Sep 2010, Porto, Portugal. pp.274 - 279, ⟨10.1109/QUATIC.2010.55⟩. ⟨hal-01306297⟩
82 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More