Att modellera samtidiga system och testa multitrådade implementationer mot modellen är en spännande studielusta. I detta dokument presenteras arbetet med att bygga och genomföra testfall för en industriell storlek flertrådig ansökan mot en modell skriven på det kreoliska modellspråket. Modeller skrivna i Creol, ett objektorienterat, samtidigt modellering språk, kan vara strukturellt liknar den möblerade genomförandet; vi visar hur man behåller denna önskvärda egenskap när återanvända Creol modeller som test oracles. Dessutom presenteras ett överensstämmelseförhållande mellan modell och system under provning som kräver mindre kontroll än andra relationer som är baserade på automata. Som modellspråk används Creol [13]. Creol är ett objektorienterat, distribuerat modelleringsspråk som enligt vår erfarenhet har visat sig kunna modellera beteendet hos stora parallella programvarusystem. På grund av Creols uttrycksfullhet kan modellerna ha liknande kodstruktur som genomförandet (t.ex. När det gäller denna forskning genomfördes som en del av EU:s sjätte ramprograms projekt Credo: Modellering och analys av utvecklingsstrukturer för distribuerade tjänster (IST-33826). Denna förordning träder i kraft den tjugonde dagen efter det att den har offentliggjorts i Europeiska unionens officiella tidning.
Vårt tidigare arbete REF visar också hur man använder en kreolmodell som ett orakel för en testkörning på genomförandet.
Modeling and Testing Multi-Threaded Asynchronous Systems with Creol
{'venue': 'Electron. Notes Theor. Comput. Sci.', 'journal': 'Electron. Notes Theor. Comput. Sci.', 'mag_field_of_study': ['Computer Science']}