Posudek oponenta diplomové práce
Autor: Václav Vacek
Název práce: New Checkers for Sequence Chart Studio
Oponent: Ing. Petr Gotthard
Cílem předložené práce bylo detailně revidovat stávající kontrolní algoritmy programu
SCStudio a odstranit zjištěné nedostatky (včetně doplnění dokumentace a testovacích
příkladů) a dále navrhnout a implementovat nové verifikační algoritmy a exportní filtr do
formátu DiVinE.
Práce je psána v angličtině. Má celkem 6 kapitol na 49 stranách a 8 stran příloh.
V úvodní kapitole autor představuje MSC diagramy a program Sequence Chart Studio
(SCStudio). Text je přehledný a srozumitelný, avšak některé v práci používané termíny zde
nejdou představeny (například traversery).
Následující kapitola popisuje obecnější konstrukce používané při psaní kontrolních algoritmů
SCStudia. Z textu není příliš patrné jak/zdali tyto souvisejí s obsahem dalších kapitol.
Některé části (NodeFinder) popisují pouze změny oproti původní implementaci, takže text
není samostatně pochopitelný.
Třetí kapitola popisuje úpravy a opravy existujících kontrolních algoritmů. Čtvrtá kapitola pak
popisuje nové kontrolní algoritmy. Autor v textu vůbec nezmiňuje testování, resp. testovací
příklady požadované v zadání.
Otázka k obhajobě: Jakým způsobem byly testovací příklady zvoleny? Jak hodnotíte kvalitu
testů? Byly otestovány všechny možnosti?
Pátá kapitola popisující převod do DiVinE formátu opět pracuje pojmy (BMsc graphs), které
nebyly popsány v žádné z předchozích kapitol (nebo aspoň na ně chybí odkaz). Opět není
zřejmé zda a jak byla výsledná implementace otestována.
Přes všechny výše zmíněné drobné nedostatky hodnotím předloženou diplomovou práci jako
velmi zdařilou. Za největší nedostatek práce považuji útržkovitý styl, neustále se odkazující
na další prameny. Uznávám však, že to je do jisté míry způsobeno zvoleným zadáním.
Implementace je funkční a obsahuje i nějaké testovací příklady. Nicméně mi není jasné, zdali
jsou dílem autora práce, nebo dalších studentů podílejících se na vývoji programu SCStudio.
Výsledek odpovídá původním představám a požadavkům. Navrhuji proto, aby předložená
práce byla uznána jako diplomová práce klasifikována práci známkou chvalitebně (B).
V Brně, dne 3.2.2011. Ing. Petr Gotthard