Generating random values using Binary Decision Diagrams and Convex Polyhedra - Archive ouverte HAL Accéder directement au contenu
Chapitre D'ouvrage Année : 2007

Generating random values using Binary Decision Diagrams and Convex Polyhedra

Erwan Jahier
Pascal Raymond

Résumé

This article describes algorithms to solve Boolean and numerical constraints, and to randomly select values among the set of solutions. Those algorithms were first designed to generate inputs for testing and simulating reactive real-time programs. As a consequence, the chose a solving technology that allow a fine control in the way solutions are elected. Indeed, a fair selection is sometimes required, while favoring limit cases is often interesting for testing. Moreover, simulating a single reactive execution means generating several hundreds or even several thousands of atomic steps, and thus as many solving steps. Hence, the emphasis is put on efficiency, sometimes sacrificing precision or fairness.
Fichier principal
Vignette du fichier
article.pdf (169.28 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00389766 , version 1 (29-05-2009)

Identifiants

  • HAL Id : hal-00389766 , version 1

Citer

Erwan Jahier, Pascal Raymond. Generating random values using Binary Decision Diagrams and Convex Polyhedra. Frédéric Benhamou and Narendra Jussien and Barry O'Sullivan. Trends in Constraint Programming, ISTE, 416 pp., 2007. ⟨hal-00389766⟩
224 Consultations
261 Téléchargements

Partager

Gmail Facebook X LinkedIn More