Abstract
Ensuring the semantic quality of a conceptual schema is a fundamental goal in conceptual modeling. Conceptual schema testing is an emerging approach that helps to achieve this goal. In this paper, we focus on “what to test” and, more specifically, on the properties that test sets of conceptual schemas should have. We propose and formally define a set of four adequacy criteria which can be automatically checked in order to ensure, by testing, the necessary conditions for schema validity (correctness and relevance). The proposed criteria are independent from the languages of the schema and of the testing program. The criteria have been implemented in a prototype of a test processor able to execute test sets. The criteria have been applied to the test sets of large conceptual schemas.
Keywords
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Lindland, O.I., Sindre, G., Solvberg, A.: Understanding Quality in Conceptual Modeling. IEEE Software 11(2), 42–49 (1994)
Pohl, K.: Requirements Engineering. Fundamentals, principles, and techniques. Springer, Berlin (2010)
Van Lamsweerde, A.: Requirements Engineering: From System Goals to UML Models to Software Specifications. Wiley (2009)
Zhu, H., Hall, P.A.V., May, J.H.R.: Software unit test coverage and adequacy. ACM Computing Surveys 29(4), 366–427 (1997)
Thalheim, B.: Entity-Relationship Modeling: Foundations of Database Technology. Springer (2000)
Tort, A., Olivé, A., Sancho, M.-R.: The CSTL Processor: A Tool for Automated Conceptual Schema Testing. In: De Troyer, O., Bauzer Medeiros, C., Billen, R., Hallot, P., Simitsis, A., Van Mingroot, H. (eds.) ER Workshops 2011. LNCS, vol. 6999, pp. 349–352. Springer, Heidelberg (2011)
Tort, A., Olivé, A.: An approach to testing conceptual schemas. Data Knowl. Eng. 69(6), 598–618 (2010)
Tort, A.: A basic set of test cases for a fragment of the osCommerce conceptual schema. Research Report UPC (2009), http://hdl.handle.net/2117/6130
Tort, A.: Development of the conceptual schema of the osTicket system by applying TDCM. Research Report UPC (2011), http://hdl.handle.net/2117/12369
Berardi, D., Calvanese, D., De Giacomo, G.: Reasoning on UML class diagrams. Artificial Intelligence 168(1-2), 70–118 (2005)
Brambilla, M., Tziviskou, C.: An Online Platform for Semantic Validation of UML Models. In: Gaedke, M., Grossniklaus, M., Díaz, O. (eds.) ICWE 2009. LNCS, vol. 5648, pp. 477–480. Springer, Heidelberg (2009)
Queralt, A., Teniente, E.: Reasoning on UML Conceptual Schemas with Operations. In: van Eck, P., Gordijn, J., Wieringa, R. (eds.) CAiSE 2009. LNCS, vol. 5565, pp. 47–62. Springer, Heidelberg (2009)
Gogolla, M., Kuhlmann, M., Hamann, L.: Consistency, Independence and Consequences in UML and OCL Models. In: Dubois, C. (ed.) TAP 2009. LNCS, vol. 5668, pp. 90–104. Springer, Heidelberg (2009)
Kalyanpur, A., Parsia, B., Sirin, E., Hendler, J.: Debugging unsatisfiable classes in OWL ontologies. Web Semantics: Science, Services and Agents on the World Wide Web 3(4), 268–293 (2005)
Jarrar, M.: Towards Automated Reasoning on ORM Schemes. In: Parent, C., Schewe, K.-D., Storey, V.C., Thalheim, B. (eds.) ER 2007. LNCS, vol. 4801, pp. 181–197. Springer, Heidelberg (2007)
Gogolla, M., Bohling, J., Richters, M.: Validating UML and OCL Models in USE by Automatic Snapshot Generation. Software & Systems Modeling 4(4), 386–398 (2005)
Object Management Group (OMG). Object Constraint Language Specification. Version 2.2., formal/2010-02-01, http://www.omg.org/spec/OCL/2.2/
Pastor, O., Molina, J.C.: Model-Driven Architecture in Practice. Springer (2007)
Halpin, T.A.: Information modeling and relational databases. Morgan Kaufmann (2001)
Olivé, A.: Conceptual Modeling of Information Systems. Springer, Berlin (2007)
Object Management Group (OMG). Action Language for Foundational UML (Alf). FTF-Beta 1, ptc/2010-10-05, http://www.omg.org/spec/ALF/1.0/Beta1/
Meyer, B.: Seven Principles of Software Testing. IEEE Computer 41(8), 99–101 (2008)
Salay, R., Mylopoulos, J.: Improving Model Quality Using Diagram Coverage Criteria. In: van Eck, P., Gordijn, J., Wieringa, R. (eds.) CAiSE 2009. LNCS, vol. 5565, pp. 186–200. Springer, Heidelberg (2009)
Pilskalns, O., Andrews, A., Knight, A., Ghosh, S., France, R.: Testing UML designs. Information and Software Technology 49(8), 892–912 (2007)
Tort, A.: The CSTL Processor website, http://www.essi.upc.edu/~atort/cstlprocessor
Hevner, A.R., March, S.T., Park, J., Ram, S.: Design science in information systems research. MIS Quarterly 28(1), 75–105 (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tort, A., Olivé, A., Sancho, MR. (2012). On Checking Executable Conceptual Schema Validity by Testing. In: Liddle, S.W., Schewe, KD., Tjoa, A.M., Zhou, X. (eds) Database and Expert Systems Applications. DEXA 2012. Lecture Notes in Computer Science, vol 7446. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-32600-4_19
Download citation
DOI: https://doi.org/10.1007/978-3-642-32600-4_19
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-32599-1
Online ISBN: 978-3-642-32600-4
eBook Packages: Computer ScienceComputer Science (R0)