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
Additional information
- Category
- Aktywność konferencyjna
- Type
- publikacja w wydawnictwie zbiorowym recenzowanym (także w materiałach konferencyjnych)
- Language
- angielski
- Publication year
- 2005
