Metoda wykrywania anomalii w wybranych modelach systemów informatycznych - Publication - Bridge of Knowledge

Search

Metoda wykrywania anomalii w wybranych modelach systemów informatycznych

Abstract

W pracy zaproponowano nową metodę inspekcji ukierunkowaną na wykrywanie defektów w diagramach UML powstających we wczesnych etapach procesu wytwarzania oprogramowania. Mechanizm detekcji defektów został oparty na pomyśle wykorzystania podejścia HAZOP (ang. Hazard and Operability Study) znanego z dziedziny systemów związanych z bezpieczeństwem. Podstawowymi elementami tego mechanizmu są systematyka procesu kontroli i wykrywania defektów oraz zastosowanie tzw. słów kluczowych, które w ogólny sposób sugerują różne rodzaje odchyleń od stanu prawidłowego.W rozprawie zaprezentowano ogólny kontekst problemu wykrywania anomalii w kodzie i dokumentacji systemów informatycznych oraz bardziej szczegółowo scharakteryzowano aktualny stan badań w dziedzinie przeglądów i inspekcji. Omówiono również metodę HAZOP, jej genezę oraz zastosowania w różnych obszarach inżynierii systemów. W głównej części rozprawy zaprezentowano podstawowy wkład badawczy - metodę inspekcji modeli UML, nazwaną UML-HAZOP, której podstawowymi częściami składowymi są mechanizm detekcji i proces inspekcji. Dla metody tej opracowany został również system informatyczny wspomagający jej stosowanie. Omówienie systemu wspomagającego stanowi jeden z rozdziałów rozprawy. W rozprawie zamieszczono także wyniki empirycznej walidacji i oceny zaproponowanych rozwiązań na drodze studiów przypadków oraz kontrolowanych eksperymentów.

Cite as

Full text

full text is not available in portal

Keywords

Details

Category:
Thesis, nostrification
Type:
praca doktorska pracowników zatrudnionych w PG oraz studentów studium doktoranckiego
Language:
Polish
Publication year:
2007
Verified by:
Gdańsk University of Technology

seen 162 times

Recommended for you

Meta Tags