Pruning Infeasible Paths via Graph Transformations and Symbolic Execution: a Method and a Tool - Archive ouverte HAL Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2016

Pruning Infeasible Paths via Graph Transformations and Symbolic Execution: a Method and a Tool

Résumé

Path-biased random testing is an interesting alternative to classical path-based approaches faced to the explosion of the number of paths, and to the weak structural coverage of random methods based on the input domain only. Given a graph representation of the system under test a probability distribution on paths of a certain length is computed and then used for drawing paths. A limitation of this approach, similarly to other methods based on symbolic execution and static analysis, is the existence of infeasible paths that often leads to a lot of unexploitable drawings. We present a prototype for pruning some infeasible paths, thus eliminating useless drawings. It is based on graph transformations that have been proved to preserve the actual behaviour of the program. It is driven by symbolic execution and heuristics that use detection of subsumptions and the abstract-check-refine paradigm. The approach is illustrated on some detailed examples.
Fichier principal
Vignette du fichier
LRI-RR1588.pdf (530.32 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01764525 , version 1 (12-04-2018)

Identifiants

  • HAL Id : hal-01764525 , version 1

Citer

Romain Aissat, Marie-Claude Gaudel, Frédéric Voisin, Burkhart Wolff. Pruning Infeasible Paths via Graph Transformations and Symbolic Execution: a Method and a Tool. [Research Report] 1588, Laboratoire de Recherche en Informatique [LRI], UMR 8623, Bâtiments 650-660, Université Paris-Sud, 91405 Orsay Cedex. 2016. ⟨hal-01764525⟩
165 Consultations
98 Téléchargements

Partager

Gmail Facebook X LinkedIn More