Abstrakt. I detta arbete föreslår vi MOPBox, en biblioteksbaserad metod för körtidskontroll. MOPBox är ett Java-bibliotek för att definiera och utvärdera parametriska runtime monitorer. En användare kan definiera monitorer genom en enkel uppsättning API-samtal. När en monitor har definierats är den redo att acceptera händelser. Händelser kan komma från AspectJ-aspekter eller från andra källor, och de kan vara parametriska, d.v.s., kan innehålla variabla bindningar som binder abstrakta specifikationsvariabler till konkreta programvärden. När en monitor når ett feltillstånd för en bindande v = o, MOPBox meddelar klienter för en match för v = o genom en call-back gränssnitt. För att kartlägga variabla bindningar till monitorer använder MOPBox omimplementeringar av effektiva indexeringsalgoritmer som Chen et al. utvecklad för JavaMOP. Vi var noga med att hålla MOPBox så generisk som möjligt. Stater, övergångar och variabel bindningar kan märkas inte bara med strängar utan med generella Java Objekt vars typer kontrolleras genom Java Generics. Detta möjliggör enkel integrering i befintliga verktyg. Vi presenterar till exempel pågående arbete med att integrera MOPBox med en Java-avlusare. I detta arbete är övergångar märkta med brytpunkter. MOPBox är också ett bra verktyg för undervisning: dess implementationer av monitor indexering algoritmer är mycket lättare att förstå än koden som genereras av verktyg som JavaMOP. Indexeringsalgoritmer använder Strategi Design Mönster, vilket gör dem lätt utbytbara. MOPBox är därför också det perfekta verktyget för att utforska och testa nya algoritmer för att övervaka indexering utan att bry sig om de komplexa intractacies av kodgenerering. I framtiden planerar vi ytterligare att integrera MOPBox med Clara-ramverket för statisk utvärdering av runtime monitorer i förväg.
MopBox REF är ett modulärt Java-bibliotek för övervakning och implementering av Mops algoritmer.
MOPBox: a library approach to runtime verification
{'venue': 'RV', 'journal': None, 'mag_field_of_study': ['Computer Science']}