Publikace na Matematicko-fyzikální fakulta |
2010
Abstrakt
Škálovatelnost metod softwarového inženýrství může být zlepšena aplikací metod na jednotlivé komponenty. To je možné pouze když je k dispozici model interakce mezi komponentou a prostředím.
Techniky a nástroje pro automatickou konstrukci modelů jsou potřebné. Prezentujeme techniku pro automatickou extrakci modelů interakce z multi-vláknových systémů implementovaných v jazyce Java, která je založena na průchodu stavovým prostorem.
Modely jsou vyjádřeny ve formalismu behavior protocols, který umožnuje explicitně vyjádřit paralelní chování. Nástroj Java PathFinder je použit pro průchod stavovým prostorem.