Abstrakt. Vi föreslår och utforskar ett formellt tillvägagångssätt för att testa asynkront kommunicerande komponenter i öppna miljöer. Asynkronicitet innebär en utmaning för validering och testning av komponenter. Vi använder Creol, en hög nivå, objektorienterat språk för distribuerade system och presentera ett gränssnitt specifikationsspråk för att ange komponenter i termer av spår av observerbart beteende. Språket möjliggör en koncis beskrivning av en komponents beteende, det är körbart i skriva om logik och vi använder det för att ge testspecifikationer för Creol komponenter. I en specifikation, en ren separation mellan interaktion under kontroll av komponenten eller kommer från miljön är central, vilket leder till en antagande-åtagande stil beskrivning av en komponents beteende. Antagandena schemalägger indata, medan utdata som åtaganden testas för överensstämmelse med specifikationen. Kommunikationens asynkrona karaktär i Creol respekteras genom att testa endast upp till en uppfattning om observerbarhet. Den befintliga kreoltolken kombineras med vår tillämpning av specifikationsspråket för att få en specifikationsdriven tolk för testning.
Ett gränssnittsbeteendespecifikt språk för skådespelarens språk Creol föreslogs i REF.
Executable interface specifications for testing asynchronous Creol components
{'venue': None, 'journal': None, 'mag_field_of_study': ['Computer Science', 'Mathematics']}