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),
- ...