Projets par an
Résumé
Databases are ubiquitous in software and testing of programs manipulating databases is thus essential to enhance the reliability of software. In this paper, we describe a clean and unified approach to automatically generate test inputs for such database programs. First, we propose a formal language, called ImperDB, to model database programs. ImperDB allows to model common program behaviors and data structures, as well as typical interaction scenarios between programs and databases. Secondly, we present a static analysis technique to generate test inputs for ImperDB programs, according to any chosen structural adequacy criterion. The technique considers an ImperDB program as a sequence of operations over a set of relational variables, modeling both the database original content and the program inputs. The problem of finding test inputs forcing the execution of a given path can then be transformed into the problem of solving constraints over the relational variables associated to the program. These constraints are expressed with the Alloy language and solved by the Alloy analyzer.
langue originale | Anglais |
---|---|
titre | Proceedings of the Fifth International Workshop on Testing Database Systems |
Lieu de publication | New York, NY, USA |
Editeur | ACM Press |
Pages | 6:1-6:6 |
Nombre de pages | 6 |
Les DOIs | |
Etat de la publication | Publié - 2012 |
Série de publications
Nom | DBTest '12 |
---|---|
Editeur | ACM |
Empreinte digitale
Examiner les sujets de recherche de « Test input generation for database programs using relational constraints ». Ensemble, ils forment une empreinte digitale unique.Projets
- 1 Terminé
-
Génération de données de test basée sur les contraintes pour des applications orientées base de données.
Marcozzi, M., Vanhoof, W. & Hainaut, J.
1/10/10 → 30/09/14
Projet: Projet de thèse
Activités
- 1 Participation à une conférence, un congrès
-
ACM SIGMOD/PODS Conference
Michaël Marcozzi (Orateur)
20 mai 2012 → 24 mai 2012Activité: Participation ou organisation d'un événement › Participation à une conférence, un congrès