Search
Search results for: WYKRYWANIE DEFEKTÓW
-
Tool support for detecting defects in object-oriented models
PublicationArtykuł 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.
-
Development and validation of a HAZOP-based inspection of UML models
PublicationArtykuł 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...
-
Detecting defects in object-oriented diagrams using UML-HAZOP
PublicationArtykuł dotyczy metody wykrywania defektów w dokumentacji oprogramowania wykonywanego z zastosowaniem notacji UML. Metoda ta, nazwana UML-HAZOP, jest adaptacją metody HAZOP szeroko stosowanej w stosunku do systemów związanych z bezpieczeństwem. Metoda ta jest ukierunkowana na wykrywanie anomalii w dokumentacji projektowej na drodze analizy ''przepływów'' pomiędzy komponentami badanego systemu. Adaptacja metody do badania oprogramowania...
-
Metoda wykrywania anomalii w wybranych modelach systemów informatycznych
PublicationW 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...
-
Application of wavelet analysis in damage detection and localization
PublicationWykrywanie i lokalizacja uszkodzeń w konstrukcjach inżynierskich są przedmiotem intensyw-nych badań z powodu ich praktycznego znaczenia. Niezwykle istotne jest wczesne wykrycie uszko-dzeń w konstrukcjach inżynierskich o szczególnym znaczeniu, ponieważ ich propagacja może do-prowadzić do katastrofy budowlanej. Stosunkowo nową dziedziną badań w wykrywaniu zniszczeń jest zastosowanie analizy falkowej. Metoda ta bazuje na postaciach...
-
Lokalizacja wycieków w sieciach dystrybucji wody
PublicationSieć wodociągowa, podobnie jak każdy duży obiekt, w którym prowadzony jest złożony proces, wymaga odpowiedniego systemu monitorującego. Jednym z poważnych i wciąż aktualnych problemów są niekontrolowane straty wody w sieci. Jednym z możliwych sposobów szybkiego wykrywania wycieków z sieci jest umieszczenie czujników pomiarowych na każdej rurze i w każdym węźle. Oczywistym jest, że takie rozwiązanie wiaże się z olbrzymimi kosztami....
-
Modelowanie propagacji fal sprężystych w tarczy typu T w kontekście możliwości diagnostycznych
PublicationTematem pracy są symulacje przebiegu fal sprężystych w płaskiej tarczy o kształcie przypominającym literę T. Obliczenia wykonano, stosując metodę elementów spektralnych. Porównawcze rozwiązania numeryczne wykonane zostały dla tarczy nieuszkodzonej, jak również dla tarczy z wprowadzonym uszkodzeniem. Zadaniem rejestrowanych sygnałów czasowych przyspieszeń fal sprężystych jest próba wykrycia i zlokalizowania uszkodzenia. W pracy...
-
Neuro-wavelet damage detection technique in beam, plate and shell structures with experimental validation
PublicationNiniejsza praca poświęcona jest technice diagnostyki konstrukcji bazującej na transfor-macie falkowej oraz sztucznych sieciach neuronowych (tzw. system neuro-wavelet). Zastosowanie analizy falkowej pozwala na lokalizację uszkodzeń wymagającą mini-malnej ilości danych wejściowych. W tym celu niezbędna jest tylko odpowiedź kon-strukcji pomierzona w wielu punktach. Poprawę efektywności lokalizacji zniszczeń uzyskano poprzez użycie...
-
Zastosowania metody HAZOP w inżynierii oprogramowania.
PublicationArtykuł przedstawia HAZOP - metodę analizy modeli systemów oraz jej zastosowania w dziedzinie inżynierii oprogramowania do identyfikacji błędów obecnych w modelach. Omawiane są różne obszary stosowalności związane z różnymi klasami błędów: defektów modelowania, zdarzeń niebezpiecznych dla otoczenia systemu oraz zagrożeń związanych z zabezpieczeniem systemu. Artykuł prezentuje również dotychczasowy stan badań związanych...
-
Wspomaganie wykrywania defektów w modelach obiektowych.
PublicationModelowanie z zastosowaniem metodyki obiektowej jest powszechnie wykorzystywane w projektach informatycznych i stanowi jeden z kluczowych etapów procesu wytwarzania oprogramowania. Problemem związanym z modelowaniem jest łatwość wprowadzenia do modeli obiektowch defektów wynikających np. ze złego rozpoznania dziedziny problemowej, przyjmowania nieświadomych założeń lub zwykłych pomyłek edycyjnych. Istotne jest szybkie wykrycie...
-
Eksperymentalne porównanie inspekcji UML-HAZOP z przeglądem niestrukturalnym.
PublicationArtykuł 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....