Sammanfattning Med hjälp av en välkänd industriell fallstudie från verifieringslitteraturen, det avgränsade retransmissionsprotokollet, visar vi hur aktivt lärande kan användas för att fastställa riktigheten av protokoll implementering I jämfört med en given referensimplementation R. Med hjälp av aktivt lärande, lär vi oss en modell M R referensimplementation R, som fungerar som input för en modellbaserad testverktyg som kontrollerar överensstämmelse av genomförandet I till M R. Dessutom utforskar vi också en alternativ metod där vi lär oss en modell M I av implementation I, som jämförs med modell M R med hjälp av en likvärdighetskontroll. Vårt arbete använder en unik kombination av programvaruverktyg för modellkonstruktion (Uppaal), aktivt lärande (LearnLib, Tomte), modellbaserad testning (JTorX, TorXakis) och verifiering (CADP, MRMC). Vi visar hur dessa verktyg kan användas för att lära modeller av och avslöja fel i genomförandet, presentera det nya begreppet överensstämmelse orakel, och visa hur överensstämmelse orakel kan användas för att påskynda kontrollen av överensstämmelse.
Arbetet inom Ref avser en tillämpning av aktivt lärande vars syfte är att fastställa riktigheten i protokollets genomförande i förhållande till ett givet referensgenomförande.
Improving active Mealy machine learning for protocol conformance testing