Abstract
Object-oriented models are commonly used in software projects. They may be affected, however, by various defects introduced easily due to e.g. wrong understanding of modelled reality, making wrong assumptions or editorial mistakes. The defects should be identified and corrected as early as possible, preferably before the model is used as the basis for the subsequent representations of the system. To assure the effectiveness of the defect detection process we need both, better analysis methods and effective tool support. The paper introduces a new analytical method called UML-HAZOP and presents a tool supporting the application of this method.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
DRug In Virtual Enterprise, EUIST-DRIVE 1999-12040 research project, http://www.e-mathesis.it/Drive.
Górski J., Jarzębowicz A., ‘Detecting defects in object-oriented diagrams using UML-HAZOP’, Foundations of Computing and Decision Sciences, vol. 27 (2002) no. 4.
HAZOP Studies on Systems Containing Programmable Electronics, MoD Defence Standard 00-58, issue 2, 2000.
Venkatasurbramanian V., Zhao J., Viswanathan S., ‘Intelligent systems for HAZOP analysis of complex process plants’, Computers and chemical engineering 24 (2000).
Winther R., Johnsen O., Gran B., ‘Security assessments of safety critical systems using HAZOPs’, Proceedings of Computer Safety, Reliability and Security, 20th International Conference SAFECOMP 2001, Springer Lecture Notes in Computer Science 2187.
Górski J., Jarzębowicz A, Leszczyna R, Miler J., Olszewski M., ‘An approach to trust case development’, Proc. SAFECOMP 2003, Edinbourgh, UK, 2003
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer Science+Business Media, Inc.
About this paper
Cite this paper
Górski, J., Jarzębowicz, A., Leszczyna, R., Miler, J., Olszewski, M. (2005). Tool support for detecting defects in object-oriented models. In: Pejaś, J., Piegat, A. (eds) Enhanced Methods in Computer Security, Biometric and Artificial Intelligence Systems. Springer, Boston, MA. https://doi.org/10.1007/0-387-23484-5_10
Download citation
DOI: https://doi.org/10.1007/0-387-23484-5_10
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4020-7776-0
Online ISBN: 978-0-387-23484-7
eBook Packages: Computer ScienceComputer Science (R0)