Generating test suites with DOMINO

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.