Abstrakt. Vi presenterar en ny algoritm för gränssnittsgenerering av programvarukomponenter. Med tanke på en komponent använder vår algoritm inlärningstekniker för att beräkna ett tillåtande gränssnitt som representerar laglig användning av komponenten. Till skillnad från vårt tidigare arbete kräver denna algoritm inte kunskap om komponentens miljö. Dessutom, i motsats till andra relaterade tillvägagångssätt, beräknar våra algoritmer tillåtande gränssnitt även i närvaro av icke-determinism i komponenten. Vår algoritm är implementerad i JavaPathfinder modell kontroll ram för UML statechart komponenter. Vi har också lagt till stöd för automatiskt antagande-garanti stil kompositionsverifiering i JavaPathfinder, med hjälp av komponentgränssnitt. Vi rapporterar om tillämpningen av metoden för gränssnittsgenerering för flyg-programkomponenter. Det är Errata. Det gränssnitt som presenteras här är inte garanterat att producera det mest eftergivna gränssnittet, trots att vår utforskning fortsätter efter att ha upptäckt falska motexempel. Anledningen är att det kanske finns alternativa vägar som borde vara tillåtna men som maskerades av statsmatchning. Tack vare Chang-Seo Park, som vi arbetar med att ta itu med detta problem.
En algoritm för gränssnittsgenerering av programvarukomponenter som använder inlärningstekniker presenteras i REF och implementeras i JavaPathfinder modellkontrollramverket.
Interface Generation and Compositional Verification in JavaPathfinder
{'venue': 'FASE', 'journal': None, 'mag_field_of_study': ['Computer Science']}