Abstract:
Celem pracy jest zbadanie działania ARJi, narzędzia do ewolucyjnej naprawy programów w Javie, na przykładach uszkodzonych programów współbieżnych. W ramach badania podjęto próbę naprawy uszkodzonej wersji algorytmu Petersona, klasycznego rozwiązania problemu wzajemnego wykluczenia dla dwóch procesów. Przeprowadzono również próby naprawy uszkodzonej wersji tego samego algorytmu zaimplementowanej w sposób sekwencyjny, gwarantujący kontrolę nad wykonywanym przeplotem. Otrzymane wyniki poddano ocenie w celu określenia ich poprawności. Wybrane wygenerowane programy zostały zaprezentowane i omówione. Praca opisuje również dwa błędy w kodzie narzędzia ARJA, znalezione w trakcie przeprowadzania badań.
