Abstrakt

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.

Autor (1)