Scalable analysis of conceptual data models

2011 International Symposium on Software Testing and Analysis, ISSTA 2011 - Proceedings

Volumn , Issue , 2011, Pages 56-66

  McGill, Matthew J ^a   Dillon, Laura K ^a   Stirewalt, R E K ^b  

^a MICHIGAN STATE UNIVERSITY   (United States)

^b LOGICBLOX INC   (United States)

Author keywords

conceptual modeling; databases; ORM; test data generation

Indexed keywords

CONCEPTUAL DATA MODELS; CONCEPTUAL MODEL; CONCEPTUAL MODELING; EMPIRICAL STUDIES; FOLLOW-UP STUDIES; MODELING NOTATION; MODELING TOOL; ORM; SCALABLE ANALYSIS; TEST DATA; TEST DATA GENERATION;

ALGORITHMS; COMPUTER SOFTWARE SELECTION AND EVALUATION; SOFTWARE TESTING;

MODELS;

EID: 80051920135     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2001420.2001428     Document Type: Conference Paper

References (22)

1. A. Artale et al. Reasoning over extended ER models. In Proc. 26th International Conference on Conceptual Modeling, pages 277-292. Springer-Verlag, 2007.
2. D. Berardi, D. Calvanese, and G. D. Giacomo. Reasoning on UML class diagrams. Artificial Intelligence, 168(1-2):70-118, 2005.
3. C. Binnig, D. Kossmann, and E. Lo. Reverse query processing. Proc. International Conference on Data Engineering, pages 506-515, 2007.
4. C. Binnig, D. Kossmann, E. Lo, and M. T. Özsu. QAGen: Generating query-aware test databases. In Proc. ACM SIGMOD International Conference on Management of Data, pages 341-352, 2007.
5. D. Chays et al. An AGENDA for testing relational database applications. Software Testing, Verification and Reliability, 14(1):17-44, 2004.
6. P. P.-S. Chen. The entity-relationship model-toward a unified view of data. ACM Transactions on Database Systems, 1(1):9-36, 1976.
7. M. Curland and T. Halpin. Model driven development with NORMA. In Proc. 40th Hawaii International Conference on System Sciences, page 286a, 2007.
8. G. Engels et al. Conceptual modeling of database applications using an extended ER model. Data & Knowledge Engineering, 9(2):157-204, 1992. (Pubitemid 23634687)
9. M. Fowler and K. Scott. UML distilled: A brief guide to the standard object modeling language. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 2000.
10. T. Halpin. Objectification. In Proc. 10th International Workshop on Exploring Modeling Methods in Systems Analysis and Design, volume 5, pages 106-123, 2005.
11. T. Halpin. ORM 2. In On the Move to Meaningful Internet Systems: OTM Workshop, volume 3762 of LNCS, pages 676-687. Springer, 2005.
12. T. Halpin and T. Morgan. Information Modeling and Relational Databases. Morgan Kaufmann, 2nd edition, 2008.
13. S. Hartmann. On interactions of cardinality constraints, key, and functional dependencies. In Foundations of Information and Knowledge Systems, volume 1762, pages 136-155. Springer Berlin, 2000.
14. K. Houkjær, K. Torp, and R. Wind. Simple and realistic data generation. In Proc. 32nd International Conference on Very Large Data Bases, pages 1243-1246, 2006.
15. M. Jarrar. Towards automated reasoning on ORM schemes. In Proc. 26th International Conference on Conceptual Modeling, pages 181-197. Springer-Verlag, 2007.
16. R. M. Karp. Reducibility among combinatorial problems. In R. E. Miller and J. W. Thatcher, editors, Complexity of Computer Computations, pages 85-103. Plenum, 1972.
17. S. A. Khalek, B. Elkarablieh, Y. O. Laleye, and S. Khurshid. Query-aware test generation using a relational constraint solver. In Proc. 23rd IEEE/ACM International Conference on Automated Software Engineering, pages 238-247, 2008.
18. M. J. McGill, R. E. K. Stirewalt, and L. K. Dillon. Automated test input generation for software that consumes ORM models. In On the Move to Meaningful Internet Systems: OTM Workshop, volume 5872, pages 704-713. 2009.
19. A. Neufeld, G. Moerkotte, and P. C. Lockemann. Generating consistent test data: restricting the search space by a generator formula. The VLDB Journal, 2(2):173-214, 1993.
20. Y. Smaragdakis, C. Csallner, and R. Subramanian. Scalable satisfiability checking and test data generation from modeling diagrams. Automated Software Engineering, 16:73-99, 2009.
21. A. Zamperoni and P. Löhr-Richter. Enhancing the quality of conceptual database specifications through validation. In Proc. Entity-Relationship Approach, volume 823, pages 85-98. Springer Berlin, 1994.
22. J. Zhang, C. Xu, and S. C. Cheung. Automatic generation of database instances for white-box testing. In Proc. 25th International Computer Software and Applications Conference Invigorating Software Development, pages 161-165, 2001.