An approach to testing conceptual schemas

Conceptual schemas of information systems can be tested. The testing of conceptual schemas may be an important and practical means for their validation. We present a list of five kinds of tests that can be applied to conceptual schemas. Two of them require schemas comprising both the structural and the behavioral parts, but we show that it is possible and useful to test incomplete schema fragments, even if they consist of only a few entity and relationship types, integrity constraints and derivation rules. We present CSTL, a language for writing automated tests of executable schemas written in UML/OCL. CSTL includes language primitives for each of the above kinds of tests. CSTL follows the style of the modern xUnit testing frameworks. We describe a prototype implementation of a test processor, which includes a test manager and a test interpreter that coordinates the execution of the tests. Tests written in CSTL can be executed as many times as needed.

[1]  Robert L. Glass.  An Ancient (but Still Valid?) Look at the Classification of Testing , 2008, IEEE Software.

[2]  Vicente Pelechano,et al.  Conceptual Modeling in the eXtreme , 2002, Inf. Softw. Technol..

[3]  Lionel C. Briand,et al.  A UML-Based Approach to System Testing , 2001, UML.

[4]  Richard F. Paige,et al.  E-Tester: a Contract-Aware and Agent-Based Unit Testing Framework for Eiffel , 2005, J. Object Technol..

[5]  Jon Atle Gulla,et al.  A general explanation component for conceptual modeling in CASE environments , 1996, TOIS.

[6]  Antoni Olivé Tomàs.  Conceptual Schema-Centric Development: A Grand Challenge for Information Systems Research , 2005 .

[7]  Mustafa Jarrar,et al.  Towards Automated Reasoning on ORM Schemes , 2007, ER.

[8]  Hercules Dalianis.  A Method for Validating a Conceptual Model by Natural Language Discourse Generation , 1992, CAiSE.

[9]  Anna Formica.  Satisfiability of object-oriented database constraints with set and bag attributes , 2003, Inf. Syst..

[10]  John Krogstie,et al.  Validating Conceptual Models by Transformational Prototyping , 1993, CAiSE.

[11]  David S. Janzen,et al.  Test-driven development concepts, taxonomy, and future direction , 2005, Computer.

[12]  Martin Gogolla,et al.  Validating UML Models and OCL Constraints , 2000, UML.

[13]  Antoni Olivé.  Derivation Rules in Object-Oriented Conceptual Modeling Languages , 2003, CAiSE.

[14]  Ernest Teniente,et al.  Decidable Reasoning in UML Schemas with Constraints , 2008, JISBD.

[15]  P. Cochat,et al.  Et al , 2008, Archives de pediatrie : organe officiel de la Societe francaise de pediatrie.

[16]  Antoni Olivé.  A method for the definition of integrity constraints in object-oriented conceptual modeling languages , 2006, Data Knowl. Eng..

[17]  Sven Hartmann,et al.  Constraint acquisition for Entity-Relationship models , 2009, Data Knowl. Eng..

[18]  Anna Queralt Calafat,et al.  Validation of UML conceptual schemas with OCL constraints and operations , 2009 .

[19]  Ivar Jacobson,et al.  Unified Modeling Language Reference Manual, The (2nd Edition) , 2004 .

[20]  Vijayan Sugumaran,et al.  A semiotic metrics suite for assessing the quality of ontologies , 2005, Data Knowl. Eng..

[21]  Martin Gogolla,et al.  Validating UML and OCL models in USE by automatic snapshot generation , 2005, Software & Systems Modeling.

[22]  Angelo Gargantini,et al.  Using model checking to generate tests from requirements specifications , 1999, ESEC/FSE-7.

[23]  Kent L. Beck,et al.  Test-driven Development - by example , 2002, The Addison-Wesley signature series.

[24]  Andrew Gemino,et al.  Complexity and clarity in conceptual modeling: Comparison of mandatory and optional properties , 2005, Data Knowl. Eng..

[25]  Daniel L. Moody,et al.  Evaluating the quality of information models: empirical testing of a conceptual model quality framework , 2003, 25th International Conference on Software Engineering, 2003. Proceedings..

[26]  Rogério Carapuça,et al.  Automatic Generation of Documentation for Information Systems , 1992, CAiSE.

[27]  Ina Schieferdecker,et al.  Model-Driven Testing: Using the UML Testing Profile , 2007 .

[28]  Hans Weigand,et al.  Constraint Modelling Using a Conceptual Prototyping Language , 1987, Data Knowl. Eng..

[29]  Alan Hartman,et al.  The AGEDIS tools for model based testing , 2004, ISSTA '04.

[30]  Martin Gogolla,et al.  USE: A UML-based specification environment for validating UML and OCL , 2007, Sci. Comput. Program..

[31]  D. A Jardine,et al.  Concepts and terminology for the conceptual schema and the information base , 1984 .

[32]  Clémentine Nebut,et al.  Automatic test generation: a use case driven approach , 2006, IEEE Transactions on Software Engineering.

[33]  Colette Rolland,et al.  A Natural Language Approach for Requirements Engineering , 1992, CAiSE.

[34]  Antoni Olivé,et al.  Validating Conceptual Specifications Through Model Execution , 1996, Inf. Syst..

[35]  Martin Gogolla,et al.  A Development Environment for an Object Specification Language , 1995, IEEE Trans. Knowl. Data Eng..

[36]  Albert Tort.  Testing the osCommerce conceptual schema by using CSTL , 2009 .

[37]  Mario Piattini,et al.  Defining and validating metrics for assessing the understandability of entity-relationship diagrams , 2008, Data Knowl. Eng..

[38]  Ernest Teniente,et al.  Validation of UML Conceptual Schemas with Operations , 2008, CAiSE Forum.

[39]  Jon Atle Gulla,et al.  Using Explanations to Improve the Validation of Executable Models , 1993, CAiSE.

[40]  Ivar Jacobson,et al.  The unified modeling language reference manual , 2010 .

[41]  Stephen J. Mellor,et al.  Executable UML - A Foundation for Model-Driven Architecture , 2002, Addison Wesley object technology series.

[42]  Jean-Marc Jézéquel,et al.  Test Synthesis from UML Models of Distributed Software , 2007, IEEE Transactions on Software Engineering.

[43]  Craig Larman,et al.  Applying UML and patterns , 1997 .

[44]  Mustafa Jarrar.  Towards Automated Reasoning on ORM Schemes - Mapping ORM into the DLRidf Description Logic , 2007, ER 2007.

[45]  Axel van Lamsweerde,et al.  Requirements Engineering: From System Goals to UML Models to Software Specifications , 2009 .

[46]  Jeremy Dick,et al.  Making the Most of Formal Specification Through Animation, Testing and Proof , 1997, Sci. Comput. Program..

[47]  Marco Brambilla,et al.  An Online Platform for Semantic Validation of UML Models , 2009, ICWE.

[48]  Ernest Teniente,et al.  Reasoning on UML Conceptual Schemas with Operations , 2009, CAiSE.

[49]  Theo P. van der Weide,et al.  Information modeling: The process and the required competencies of its participants , 2006, Data Knowl. Eng..

[50]  Rance Cleaveland,et al.  Using formal specifications to support testing , 2009, CSUR.

[51]  Oscar Pastor,et al.  Model-driven architecture in practice - a software production environment based on conceptual modeling , 2007 .

[52]  Bernhard Thalheim,et al.  Conceptual modelling of web information systems , 2005, Data Knowl. Eng..

[53]  Theo P. van der Weide,et al.  Information modeling: The process and the required competencies of its participants , 2004, Data Knowl. Eng..

[54]  Elisabeth Métais.  Enhancing information systems management with natural language processing techniques , 2002, Data Knowl. Eng..

[55]  Diego Calvanese,et al.  Reasoning on UML class diagrams , 2005, Artif. Intell..

[56]  Vjeran Strahonja.  Modeling Legislation by using UML State Machine Diagrams , 2006, 2006 Canadian Conference on Electrical and Computer Engineering.

[57]  Alexander Borgida,et al.  Conceptual Modeling of Information Systems , 1985, On Knowledge Base Management Systems.

[58]  Pedro de Alcântara dos Santos Neto,et al.  A Method for Information Systems Testing Automation , 2005, CAiSE.

[59]  Arne Sølvberg,et al.  Understanding quality in conceptual modeling , 1994, IEEE Software.

[60]  Bertrand Meyer,et al.  Seven Principles of Software Testing , 2008, Computer.

[61]  Antoni Olivé,et al.  Modeling events as entities in object-oriented conceptual modeling languages , 2006, Data Knowl. Eng..

[62]  Yuefeng Zhang.  Test-Driven Modeling for Model-Driven Development , 2004, IEEE Softw..