Propozycje tematów prac magisterskich.
2006/2007
Kolejno¶ć propozycji jest przypadkowa (docelowo, obecnie - jedna propozycja - jest
najlepsza z możliwych). Daty w prostok±tnych nawiasach oznaczaj±
daty dopisania propozycji do listy.
- Metryki dla programowania obiektowego [20.05.2007]
- Problem mierzenie jako¶ci oprogramowania jest niemal tak stary jak samo
programowanie i nie doczekał się jeszcze definitywnego rozwi±zania i być
może nigdy się go nie doczeka.
Tym nie mniej jest to jednak bardzo ważny problem i prowadzone s± liczne
badania maj±ce na celu podanei metod pozwalaj±cych jako¶ szacować jako¶ć
tworzonego oprogramowania.
Programowanie obiektowe ze względu na swoj± specyfikę wymaga specjalnych
miar.
Celem pracy byłoby zbadanie sposobów mierzenia jako¶ci oprogramowania
obiektowego.
Tematyka ta ma już bardzo bogat± literaturę, więc pracę należałoby zacz±ć
od gruntownego zapoznania się z ni±. Dalsze kierunki prac mogłyby być różne: zbadanie
działania wybranych metryk dla wybranych rodzajów programów, zaproponowanie
własnych metryk lub próba modyfikacji metryk już istniej±cych, tak by lepiej
je dopasować do pewnej klasy programów.
A to gar¶ć przykładów pomysłów na prace magisterskie w ramach seminarium ZPO
- wnioskowanie o programach obiektowych (dowodzenie poprawności),
- statyczna analiza kodu programów obiektowych (wykrywanie błędów, sygnalizowanie
możliwych usprawnień kodu),
- implementacja nowych/nietypowych cech języków obiektowych (np. teraz [2007] gor±cym
tematem s± domknięcia),
- miary jako¶ci oprogramowania obiektowego (p. wyżej),
- narzędzia (np. wtyczki) do programowania/analizowania kodu obiektowego,
- narzędzia do analizy/tworzenia/zarz±dzania/wykrywania wzorców projektowych,
- maszyny wirtualne dla języków obiektowych,
- narzędzia wspomagaj±ce nauczanie programowania obiektowego (np. dla ważniaka),
- ...
