Abstract-loggning system beteende är en grundläggande utveckling praxis. Ett stort antal kraftfulla modellinferensalgoritmer har föreslagits för att hjälpa utvecklare i logganalys och systemförståelse. Tyvärr är befintliga algoritmer svåra att förstå, utvidga och jämföra. I detta dokument presenteras InvariMint, ett tillvägagångssätt för att specificera modellinferensalgoritmer deklarativt. Vi tillämpade InvariMint till två modeller inference algoritmer och presentera utvärderingsresultat för att illustrera att InvariMint (1) leder till nya grundläggande insikter och bättre förståelse av befintliga algoritmer, (2) förenklar skapandet av nya algoritmer, inklusive hybrider som utökar befintliga algoritmer, och (3) gör det enkelt att jämföra och kontrastera tidigare publicerade algoritmer. Slutligen kan algoritmer som specificeras med InvariMint överträffa deras processuella versioner.
InvariMint Ref föreslår att FSM-baserade modellinferensalgoritmer deklareras.
Unifying FSM-inference algorithms through declarative specification
{'venue': "ICSE '13", 'journal': None, 'mag_field_of_study': ['Computer Science']}