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.