Abstrakt. Vi presenterar CoMA (Conformance Monitoring by Abstract State Machines), en specifikationsbaserad metod och dess stödverktyg för körning övervakning av Java programvara. På grundval av den information som erhållits från tillämpning av kod och modellsimulering kontrolleras överensstämmelsen med det konkreta genomförandet med avseende på den formella specifikationen i form av abstrakta statliga maskiner. På runtime, oönskade beteenden av genomförandet, liksom felaktiga specifikationer av systemets beteende erkänns. Den teknik vi föreslår använder sig av Javaanteckningar, som kopplar det konkreta genomförandet till dess formella modell, utan att berika koden med beteendeinformation som endast finns i den abstrakta specifikationen. Metoden främjar separationen mellan genomförande och specifikation och gör det möjligt att återanvända specifikationer för andra ändamål (formell verifiering, simulering, modellbaserad testning osv.).)..............................................................................................
I REF presenterade vi ett tillvägagångssätt för runtime-övervakning av Java-program.
CoMA: Conformance Monitoring of Java programs by Abstract State Machines
{'venue': 'RV', 'journal': None, 'mag_field_of_study': ['Computer Science']}