Abstract
The chapter presents a general method and software implementation for checking inconsistencies in UML design of a software project. The proposed method uses its own model and first order predicate logic to specify relations between components of the design. Unlike various existing methods the proposed one is focused mostly on cross-diagram inconsistencies and strong adhering to object-oriented principles. The model used in the method is based on the unified graph representation of UML diagrams.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Andrews, A., France, R.B., Ghosh, S., Craig, G.: Test Adequacy Criteria for UML Design Models. Journal of Software Testing, Verification and Reliability 13(2), 95–127 (2003)
Fischer, G., et al.: The Role of Critiquing in Cooperative Problem Solving. ACM Transactions of Information Systems 9(3), 123–151 (1999)
Briand, L., Labiche, Y.: A UML-based approach to system testing. Software and System Modeling 1(1), 10–42 (2004)
Souza, C.R.B., et al.: Using Critiquing Systems for Inconsistency Detection in Software Engineering Models. In: Proceedings of the Fifteenth International Conference on Software Engineering and Knowledge Engineering (SEKE 2003), San Francisco Bay, pp. 196–203 (2003)
Souza, C.R.B., et al.: A Group Critic System for Object-Oriented Analysis and Design. In: Proceedings of the 15th IEEE International Conference on Automated Software Engineering (ASE 2000), pp. 313–316 (2000)
Ghosh, S., France, R.B., Braganza, C., Kawane, N., Andrews, A., Pilskalns, O.: Test Adequacy Assessment for UML Design Model Testing. In: Proceedings of the International Symposium on Software Reliability Engineering, pp. 332–343. Denver, Co. (2003)
del Mar Gallardo, M., Merino, P., Pimentelis, E.: Debugging UML Designs with Model Checking. Journal of Object Technology 1(2), 101–117 (2002)
Gogolla, M., Bohling, J., Richters, M.: Validation of UML and OCL Models by Automatic Snapshot Generation. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol. 2863, pp. 265–279. Springer, Heidelberg (2003)
Kawane, N.: Fault Detection Effectiveness of UML Design, Model Test Adequacy Criteria. In: Supplementary Proceedings of the International Symposium on Software Reliability Engineering, pp. 327–328. Denver, Co. (2003)
Kawane, N.: EPTUD: An Eclipse plug-in for testing UML design models. Master’s of science thesis, Colorado State University, Fort Collins, Colorado (2005)
Mellor, S., Balcer, M.: Executable UML: A Foundation for Model Driven Architecture. Addison Wesley Professional (2002)
Dinh-Trong, T., Kawane, N., Ghosh, S., France, R.B., Andrews, A.A.: A Tool-Supported Approach to Testing UML Design Models. In: Proceedings of 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2005), Shanghai, China (2005)
Object Management Group: UML 2.0 Superstructure Specification (2005), http://www.uml.org/
Pender. T.: UML Bible. Wiley Published Inc. (2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Zaretska, I., Kulankhina, O., Mykhailenko, H. (2013). Cross-Diagram UML Design Verification. In: Ermolayev, V., Mayr, H.C., Nikitchenko, M., Spivakovsky, A., Zholtkevych, G. (eds) ICT in Education, Research, and Industrial Applications. ICTERI 2012. Communications in Computer and Information Science, vol 347. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-35737-4_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-35737-4_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-35736-7
Online ISBN: 978-3-642-35737-4
eBook Packages: Computer ScienceComputer Science (R0)