Towards Testing of Full-Scale SQL Applications using Relational Symbolic Execution

Michaël Marcozzi, Wim Vanhoof (Promoteur), Jean-Luc Hainaut (Promoteur)

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque

250 Téléchargements (Pure)

Résumé

Constraint-based testing is an automatic test case generation approach where the tested application is transformed into constraints whose solutions are adequate test data. In previous work, we have shown that this technique is particularly well-suited for testing SQL applications, as the semantics of SQL can be naturally transformed into standard SMT constraints, using so-called relational symbolic execution. In particular, we have demonstrated such testing to be possible in practice with current solver techniques for small-scale applications. In this work, we identify the main challenges and provide research directions towards constraint-based testing of full-scale SQL applications. We investigate the additional research work needed to integrate relational and dynamic symbolic execution, handle properly dynamic SQL, generate tractable SMT constraints for most SQL applications, detect SQL runtime errors and deal with non-deterministic SQL.
langue originaleAnglais
titreProceedings of 36th International Conference on Software Engineering (ICSE 2014) Workshops: 6th Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA 2014)
EditeurACM Press
Etat de la publicationPublié - 31 mai 2014
Evénement6th Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA 2014) - Hyderabad, Inde
Durée: 31 mai 201431 mai 2014

Une conférence

Une conférence6th Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA 2014)
PaysInde
La villeHyderabad
période31/05/1431/05/14

Empreinte digitale

Examiner les sujets de recherche de « Towards Testing of Full-Scale SQL Applications using Relational Symbolic Execution ». Ensemble, ils forment une empreinte digitale unique.

Contient cette citation