Wykrywanie wzorców strukturalno-czasowych w procesie wytwarzania oprogramowania

Speaker(s)

Łukasz Puławski

Date

March 7, 2014, 2:15 p.m.

Room

room 5820

Seminar

Seminarium badawcze Zakładu Logiki: Wnioskowania aproksymacyjne w eksploracji danych

---

         W mojej pracy badawczej zajmuję się wykrywaniem wzorców strukturalnych w kodzie źródłowym programów komputerowych, a także wzorców temporalnych w procesie wytwarzania oprogramowania. Strukturę kodu źródłowego można formalnie przestawić w języku teorii grafów, korzystając z takich konstrukcji jak graf zależności lub drzewo składni. Wydaje się więc, że problem wyszukiwania wzorców strukturalnych, to nic innego niż znajdowanie podgrafów izomorficznych z zadanym grafem-wzorcem. Podejście takie niesie ze sobą dwa ograniczenia: Po pierwsze problem ten jest NP-zupełny, a po drugie wzorce mające praktyczne zastosowania prawie zawsze są przybliżone, nieostre bądź tylko intuicyjne i nie można ich wyrazić w formalnych ramach języka grafów. W moim wystąpieniu chciałbym przedstawić kilka moich propozycji radzenia sobie z takimi wzorcami i wyniki eksperymentów potwierdzających skuteczność zastosowanych metod.

---