Generating test suites with DOMINO

by Abdullah Alsharif, Gregory M. Kapfhammer, and Phil McMinn

Presented at the 11th International Conference on Software Testing, Verification and Validation – Demonstrations Track, 2018

---

---

Abstract

Industrial practitioners advocate the testing of relational database schemas because, for instance, omitting the definition of an integrity constraint (i.e., a PRIMARY KEY or a UNIQUE) in a schema can compromise correctness and increase maintenance costs. For example, forgetting to mark each username as UNIQUE could lead to incorrect data duplication within a database. Also, different database management systems (DBMSs) often interpret integrity constraints differently (e.g., a PRIMARY KEY can accept a NULL value once with SQLite but not with other DBMSs). In this paper and the accompanying demonstration we introduce the use and benefits of DOMINO (DOMain-specific approach to INtegrity cOnstraint test data generation), a new technique that automatically generates a test suite for a database schema.

---

Reference

Alsharif, A., Kapfhammer, G. M., & McMinn, P. (2018). Generating test suites with DOMINO. Presented at the 11th International Conference on Software Testing, Verification and Validation – Demonstrations Track.

---

BibTex Entry

                @misc{Alsharif2018a,
                  author    = {Abdullah Alsharif and Gregory M. Kapfhammer and Phil McMinn},
                  title     = {Generating test suites with DOMINO},
                  booktitle = {Presented at the 11th International Conference on Software Testing, Verification and Validation -- Demonstrations Track},
                  year      = {2018},
                  abstract  = {Industrial practitioners advocate the testing of relational
                               database schemas because, for instance, omitting the definition of an
                               integrity constraint (i.e., a PRIMARY KEY or a UNIQUE) in a schema can
                               compromise correctness and increase maintenance costs. For example,
                               forgetting to mark each username as UNIQUE could lead to incorrect data
                               duplication within a database. Also, different database management
                               systems (DBMSs) often interpret integrity constraints differently (e.g.,
                               a PRIMARY KEY can accept a NULL value once with SQLite but not with
                               other DBMSs). In this paper and the accompanying demonstration we introduce
                               the use and benefits of DOMINO (DOMain-specific approach to INtegrity cOnstraint
                               test data generation), a new technique that automatically generates a test
                               suite for a database schema.},
                  tool      = {https://github.com/schemaanalyst/schemaanalyst},
                  presentation = {https://aalshrif90.github.io/publications/files/Alsharif2018a-presentation.pdf},
                  presented = {true}
                }