Verification of Modular Systems with Unknown Components Combining Testing and Inference

Abstract : Verification of a modular system composed of communicating components is a difficult problem, especially when the formal specifications, i.e., models of the components are not available. Conventional testing techniques are not efficient in detecting erroneous interactions of components because interleavings of internal events are difficult to reproduce in a modular system. The problem of detecting intermittent errors and other compositional problems in the absence of components’ models is addressed in this paper. A method to infer a controllable approximation of communicating components through testing is elaborated. The inferred finite state models of components are used to detect compositional problems in the system through reachability analysis. To confirm a flaw in a particular component, a witness trace is used to construct a test applied to the component in isolation. The models are refined at each analysis step thus making the approach iterative.
Type de document :
Rapport
[Research Report] RR-LIG-028, LIG. 2012
Liste complète des métadonnées

Littérature citée [2 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01472134
Contributeur : Grégory Mounié <>
Soumis le : lundi 20 février 2017 - 15:33:32
Dernière modification le : mardi 21 novembre 2017 - 15:40:12
Document(s) archivé(s) le : dimanche 21 mai 2017 - 14:30:58

Fichier

RR-LIG-028.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01472134, version 1

Collections

Citation

Roland Groz, Keqin Li, Alexandre Petrenko. Verification of Modular Systems with Unknown Components Combining Testing and Inference. [Research Report] RR-LIG-028, LIG. 2012. 〈hal-01472134〉

Partager

Métriques

Consultations de la notice

160

Téléchargements de fichiers

30