Abstrakt
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.
Autorzy (2)
Cytuj jako
Pełna treść
pełna treść publikacji nie jest dostępna w portalu
Słowa kluczowe
Informacje szczegółowe
- Kategoria:
- Aktywność konferencyjna
- Typ:
- publikacja w wydawnictwie zbiorowym recenzowanym (także w materiałach konferencyjnych)
- Język:
- angielski
- Rok wydania:
- 2005
- Opis bibliograficzny:
- Górski J., Jarzębowicz A.: Development and validation of a HAZOP-based inspection of UML models// / : , 2005,
- Weryfikacja:
- Politechnika Gdańska
wyświetlono 76 razy