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

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

218 Downloads (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
étatPublié - 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

Testing
Surface mount technology
Semantics

Citer ceci

Marcozzi, M., Vanhoof, W., & Hainaut, J-L. (2014). Towards Testing of Full-Scale SQL Applications using Relational Symbolic Execution. Dans Proceedings of 36th International Conference on Software Engineering (ICSE 2014) Workshops: 6th Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA 2014) ACM Press.
Marcozzi, Michaël ; Vanhoof, Wim ; Hainaut, Jean-Luc. / Towards Testing of Full-Scale SQL Applications using Relational Symbolic Execution. Proceedings of 36th International Conference on Software Engineering (ICSE 2014) Workshops: 6th Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA 2014). ACM Press, 2014.
@inproceedings{f2856d03cb7f4fffae4ffce04bb5fc29,
title = "Towards Testing of Full-Scale SQL Applications using Relational Symbolic Execution",
abstract = "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.",
author = "Micha{\"e}l Marcozzi and Wim Vanhoof and Jean-Luc Hainaut",
year = "2014",
month = "5",
day = "31",
language = "English",
booktitle = "Proceedings of 36th International Conference on Software Engineering (ICSE 2014) Workshops: 6th Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA 2014)",
publisher = "ACM Press",
address = "United States",

}

Marcozzi, M, Vanhoof, W & Hainaut, J-L 2014, Towards Testing of Full-Scale SQL Applications using Relational Symbolic Execution. Dans Proceedings of 36th International Conference on Software Engineering (ICSE 2014) Workshops: 6th Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA 2014). ACM Press, 6th Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA 2014), Hyderabad, Inde, 31/05/14.

Towards Testing of Full-Scale SQL Applications using Relational Symbolic Execution. / Marcozzi, Michaël; Vanhoof, Wim (Promoteur); Hainaut, Jean-Luc (Promoteur).

Proceedings of 36th International Conference on Software Engineering (ICSE 2014) Workshops: 6th Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA 2014). ACM Press, 2014.

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

TY - GEN

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

AU - Marcozzi, Michaël

A2 - Vanhoof, Wim

A2 - Hainaut, Jean-Luc

PY - 2014/5/31

Y1 - 2014/5/31

N2 - 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.

AB - 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.

M3 - Conference contribution

BT - Proceedings of 36th International Conference on Software Engineering (ICSE 2014) Workshops: 6th Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA 2014)

PB - ACM Press

ER -

Marcozzi M, Vanhoof W, Hainaut J-L. Towards Testing of Full-Scale SQL Applications using Relational Symbolic Execution. Dans Proceedings of 36th International Conference on Software Engineering (ICSE 2014) Workshops: 6th Workshop on Constraints in Software Testing, Verification, and Analysis (CSTVA 2014). ACM Press. 2014