Abstrakt. Vi visar hur paradigmet för inlärningsbaserad testning (LBT) kan användas för att automatisera specifikationsbaserad svart-box-testning av reaktiva system. Eftersom reaktiva system kan modelleras som Kripke strukturer, introducerar vi en effektiv inkrementell inlärningsalgoritm IKL för sådana strukturer. Vi visar hur en implementering av denna algoritm kombinerat med en effektiv modellkontroll som NuSMV ger en effektiv inlärningsbaserad testarkitektur för automatiserad testfallsgenerering (ATCG), utförande och utvärdering, med utgångspunkt i tidslogiska krav.
I REF användes LBT för att testa reaktiva system som modellerades som Booleska Kripke-strukturer.
Incremental Learning-Based Testing for Reactive Systems
{'venue': 'TAP', 'journal': None, 'mag_field_of_study': ['Computer Science']}