Tool support for detecting defects in object-oriented models
暂无分享,去创建一个
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.
[1] Janusz Górski,et al. Detecting defects in object-oriented diagrams using UML-HAZOP , 2002 .
[2] Rune Winther,et al. Security Assessments of Safety Critical Systems Using HAZOPs , 2001, SAFECOMP.
[3] Venkat Venkatasubramanian,et al. Intelligent systems for HAZOP analysis of complex process plants , 2000 .
[4] Rafal Leszczyna,et al. An Approach to Trust Case Development , 2003, SAFECOMP.