Abstract
Artykuł prezentuje technikę inspekcji ukierunkowaną na wykrywanie defektów w modelach UML. Technika ta została opracowana poprzez adaptację HAZOP - metody szeroko stosowanej w dziedzinie systemów związanych z bezpieczeństwem. Wykorzystano podstawową koncepcję HAZOP (zastosowanie ogólnych słów kluczowych do wykrywania pełnej listy anomalii związanych z danym fragmentem modelu) do systematycznego wygenerowania list kontrolnych dla poszczególnych diagramów UML. Listy kontrolne wraz ze zdefiniowanym procesem ich zastosowania w inspekcji stanowią fundament inspekcji UML-HAZOP. Artykuł przedstawia UML-HAZOP oraz wyniki walidacji tej techniki na drodze studiów przypadków oraz kontrolowanych eksperymentów.
Authors (2)
Cite as
Full text
full text is not available in portal
Keywords
Details
- Category:
- Conference activity
- Type:
- publikacja w wydawnictwie zbiorowym recenzowanym (także w materiałach konferencyjnych)
- Language:
- English
- Publication year:
- 2005
- Bibliographic description:
- Górski J., Jarzębowicz A.: Development and validation of a HAZOP-based inspection of UML models// / : , 2005,
- Verified by:
- Gdańsk University of Technology
seen 76 times