Inferences for numerical dependencies
Theoretical Computer Science
Conceptual schema and relational database design: a fact oriented approach
Conceptual schema and relational database design: a fact oriented approach
A fact-oriented approach to schema transformation
MFDBS 91 Proceedings of the 3rd symposium on Mathematical fundamentals of database and knowledge base systems
Information modeling and relational databases: from conceptual analysis to logical design
Information modeling and relational databases: from conceptual analysis to logical design
On XML integrity constraints in the presence of DTDs
Journal of the ACM (JACM)
Generating consistent test data: restricting the search space by a generator formula
The VLDB Journal — The International Journal on Very Large Data Bases
On the Interaction Between ISA and Cardinality Constraints
Proceedings of the Tenth International Conference on Data Engineering
Database Schema Transformation and Optimization
OOER '95 Proceedings of the 14th International Conference on Object-Oriented and Entity-Relationship Modelling
Consistency management with repair actions
Proceedings of the 25th International Conference on Software Engineering
Exploring the Design of an Intentional Naming Scheme with an Automatic Constraint Analyzer
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
Inferring Specifications to Detect Errors in Code
Proceedings of the 19th IEEE international conference on Automated software engineering
Testing database transactions with AGENDA
Proceedings of the 27th international conference on Software engineering
An intensional approach to the specification of test cases for database applications
Proceedings of the 28th international conference on Software engineering
Instant consistency checking for the UML
Proceedings of the 28th international conference on Software engineering
Software Abstractions: Logic, Language, and Analysis
Software Abstractions: Logic, Language, and Analysis
An Automated Formal Approach to Managing Dynamic Reconfiguration
ASE '06 Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering
Fixing Inconsistencies in UML Design Models
ICSE '07 Proceedings of the 29th international conference on Software Engineering
Automating component-based system assembly
Proceedings of the 2007 international symposium on Software testing and analysis
Scalable satisfiability checking and test data generation from modeling diagrams
Automated Software Engineering
Query-Aware Test Generation Using a Relational Constraint Solver
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Automated Test Input Generation for Software That Consumes ORM Models
OTM '09 Proceedings of the Confederated International Workshops and Posters on On the Move to Meaningful Internet Systems: ADI, CAMS, EI2N, ISDE, IWSSA, MONET, OnToContent, ODIS, ORM, OTM Academy, SWWS, SEMELS, Beyond SAWSDL, and COMBEK 2009
Hi-index | 0.00 |
We explore the automatic generation of test data that respect constraints expressed in the Object-Role Modeling(ORM) language. ORM is a popular conceptual modelinglanguage, primarily targeting database applications, withsignificant uses in practice. The general problem of evenchecking whether an ORM diagram is satisfiable is quitehard: restricted forms are easily NP-hard and the problemis undecidable for some expressive formulations of ORM.Brute-force mapping to input for constraint and SAT solversdoes not scale: state-of-the-art solvers fail to find data to satisfy uniqueness and mandatory constraints in realistic time even for small examples. We instead define a restricted subset of ORM that allows efficient reasoning yet contains most constraints overwhelmingly used in practice. We show that the problem of deciding whether these constraints are consistent (i.e., whether we can generate appropriate test data) is solvable in polynomial time, and we produce a highly efficient (interactive speed) checker. Additionally, we analyze over 160 ORM diagrams that capture data models from industrial practice and demonstrate that our subset of ORM is expressive enough to handle their vast majority