Wykrywanie wzorców strukturalno-czasowych w procesie wytwarzania oprogramowania

Prelegent(ci)

Łukasz Puławski

Termin

7 marca 2014 14:15

Pokój

p. 5820

Seminarium

Research Seminar of the Logic Group: Approximate reasoning in data mining

---

         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.

---