Search results for: INSPEKCJE OPROGRAMOWANIA

• Empirical evaluation of reading techniques for UML models inspection

  Publication

  • A. Jarzębowicz
  • J. Górski

  - International Transactions on Systems Science and Applications - Year 2006

  Artykuł przedstawia eksperyment, w ramach którego porównane zostały trzy techniki czytania (ad hoc, UML-HAZOP oraz podejście scenariuszowe) zastosowane do inspekcji modeli obiektowych. UML-HAZOP jest techniką czytania wywodzącą się z dziedziny systemów krytycznych, związanych z bezpieczeństwem. W publikacji opisano technikę UML-HAZOP oraz jej różne warianty wykorzystane w eksperymencie. Przedstawiono projekt, sposób przeprowadzenia...

  Full text to download in external service

• Metoda wykrywania anomalii w wybranych modelach systemów informatycznych

  Publication

  • A. Jarzębowicz

  - Year 2007

  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...

• Eksperymentalne porównanie inspekcji UML-HAZOP z przeglądem niestrukturalnym.

  Publication

  • A. Jarzębowicz
  • J. Górski

  - Year 2004

  Artykuł opisuje eksperyment przeprowadzony w warunkach akademickich, z udziałem studentów Politechniki Gdańskiej. Celem eksperymentu było porównanie dwóch technik przeglądowych: inspekcji opartej na metodzie UML-HAZOP oraz zwykłego przeglądu niestrukturalnego. W ramach porównania obu technik dokonano oceny ich skuteczności i wydajności. Metodę UML-HAZOP poddano ponadto dodatkowej ocenie uczestników za pomocą anonimowych ankiet....

• Tool support for detecting defects in object-oriented models

  Publication

  • J. Górski
  • A. Jarzębowicz
  • R. Leszczyna
  • J. Miler
  • M. (. Olszewski

  - Year 2003

  Artykuł przedstawia nową metodę analityczną UML-HAZOP oraz narzędzie wspomagające jej stosowanie. Metoda ukierunkowana jest na wykrywanie defektów we wczesnych fazach wytwarzania oprogramowania i koncentruje się na powszechnie stosowanych modelach opartych na metodyce obiektowej.

• Experimental comparison of UML-HAZOP inspection and non-structured review

  Publication

  • A. Jarzębowicz
  • J. Górski

  - Year 2005

  Artykuł przedstawia eksperyment przeprowadzony na Politechnice Gdańskiej mający na celu porównanie dwóch technik przeglądowych. Poszczególne rozdziały zawierają: ogólne omówienie tematyki przeglądów i inspekcji, przedstawienie metody UML-HAZOP, opis przebiegu eksperymentu oraz uzyskanych rezultatów.

• Development and validation of a HAZOP-based inspection of UML models

  Publication

  • J. Górski
  • A. Jarzębowicz

  - Year 2005

  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...