Show Me New Counterexamples: A Path-Based Approach - ONERA - Office national d'études et de recherches aérospatiales Accéder directement au contenu
Communication Dans Un Congrès Année : 2015

Show Me New Counterexamples: A Path-Based Approach

Résumé

We consider lightweight usage of model-checking for the debugging of Simulink models. A problem is that model-checkers typically return only one counterexample, which may slow down the debugging process. We propose an approach and a tool to produce several counterexamples, exemplifying different property violation patterns for a given version of the design. The approach uses data collected during the replay of the counterexamples to synthesize queries for the model-checker, so that it finds counterexamples that activate new paths. The approach is applied to an academic example and an industrial model from the automotive domain.
Fichier principal
Vignette du fichier
ICST2015.pdf (320.84 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01953299 , version 1 (12-12-2018)

Identifiants

Citer

Kalou Cabrera Castillos, Hélène Waeselynck, Virginie Wiels. Show Me New Counterexamples: A Path-Based Approach. 8th IEEE International Conference on Software Testing, Verification, and Validation (ICST 2015), Apr 2015, Graz, Austria. ⟨10.1109/ICST.2015.7102606⟩. ⟨hal-01953299⟩
64 Consultations
93 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More