Advertisement

Tool support for detecting defects in object-oriented models

  • Janusz Górski
  • Aleksander Jarzębowicz
  • Rafał Leszczyna
  • Jakub Miler
  • Marcin Olszewski

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.

Key words

UML defect detection inspection object-oriented modeling 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    DRug In Virtual Enterprise, EUIST-DRIVE 1999-12040 research project, http://www.e-mathesis.it/Drive.Google Scholar
  2. [2]
    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.Google Scholar
  3. [3]
    HAZOP Studies on Systems Containing Programmable Electronics, MoD Defence Standard 00-58, issue 2, 2000.Google Scholar
  4. [4]
    Venkatasurbramanian V., Zhao J., Viswanathan S., ‘Intelligent systems for HAZOP analysis of complex process plants’, Computers and chemical engineering 24 (2000).Google Scholar
  5. [5]
    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.Google Scholar
  6. [6]
    Górski J., Jarzębowicz A, Leszczyna R, Miler J., Olszewski M., ‘An approach to trust case development’, Proc. SAFECOMP 2003, Edinbourgh, UK, 2003Google Scholar

Copyright information

© Springer Science+Business Media, Inc. 2005

Authors and Affiliations

  • Janusz Górski
    • 1
  • Aleksander Jarzębowicz
    • 1
  • Rafał Leszczyna
    • 1
  • Jakub Miler
    • 1
  • Marcin Olszewski
    • 1
  1. 1.Department of Software EngineeringGdańsk University of TechnologyGdańsk

Personalised recommendations