Refactoring of Sequence Chart Studio
Ondřej Bouda · 2013
Sequence Chart Studio je nastroj pro formalni modelovani a verifikaci komunikacnich protokolů specifikovaných ve formalismu Message Sequence Chart. Nabizi pohodlne graficke uživatelske rozhrani a algoritmy pro kontrolu vlastnosti diagramů, výpocty rozdilů mezi specifikaci a realně zachycenou komunikaci, algorithmus pro automaticke uspořadani diagramů, a několik dalsich funkci. Vsechny casti byly implementovany jako studentske prace. Tento nastroj byl od pocatku navržen pouze pro praci se zpravami coby jediným typem udalosti modelovaných komunikujicich stran a rozsiřeni pro dalsi typy nebylo prakticky možne. Cilem teto prace bylo refaktorovat jadro aplikace, aby bylo možne jej dale rozsiřit. V důsledku musely být upraveny vsechny algoritmy i ostatni zavislý kod, ovsem beze změny jejich vnějsiho chovani. Byla provedena posloupnost několika kroků, jejichž výsledkem bylo uspěsně přepracovane jadro aplikace. Uspěsnost refaktorovani byla prověřena vlastnim rozsiřenim Sequence Chart Studia o původně požadovane nove typy udalosti: lokalni akce a podminky. Přestože vývojový tým aplikace klade důraz na dodržovani standardu Message Sequence Chart, v připadě podminek byl tento standard shledan poněkud neobratný. Pro podminky tak byla navržena rozsiřena syntaxe a mirně odlisna semantika. V ramci prace bylo revidovano cele aplikacni jadro, objektový model byl mirně zjednodusen a v netrivialni miře byly redukovany problemy s paměti.