DETECTING DEFECTS IN OBJECT-ORIENTED DIAGRAMS USING UML-HAZOP

摘要

The paper presents a method supporting detection of defects in UML based software documentation. The method named UML-HAZOP is the adoption of HAZOP (Hazard and Operability Studies) ― a technique widely applied to safety-related systems, and concentrates on analysing "flows" between system's components in order to detect anomalies related to these flows. The adoption of HAZOP to UML diagram analysis required defining proper interpretations of "flows" and "anomalies" with respect to each UML diagram. At present, UML-HAZOP has been defined and checked in some industrial case studies for class diagrams. Further works aim to extend it to other UML diagrams. This paper describes the method and the results of some experiments related to its application to two real systems: a billing system of a telephone exchange and a management support system.