Abstrakt. I detta dokument presenterar vi ett tillvägagångssätt för att modellera en befintlig webbapplikation med hjälp av att kommunicera finita automatiserade modeller baserade på de användardefinierade egenskaper som ska valideras. Vi utvecklar en metod för automatisk generering av en sådan modell från en inspelad surfning session. Den erhållna modellen kan sedan användas för att verifiera egenskaper med en modellkontroll, samt för regressionstestning och dokumentation. Till skillnad från tidigare försök är vårt tillvägagångssätt inriktat på komplexa multifönster/frame-applikationer. Vi presenterar en implementering av det tillvägagångssätt som använder modellen checker Spin och ge ett exempel.
Haydar m.fl. REF presenterade ett tillvägagångssätt för att modellera och verifiera en webbapplikation med hjälp av att kommunicera ändlig automata.
Formal Verification of Web Applications Modeled by Communicating Automata
{'venue': 'FORTE', 'journal': None, 'mag_field_of_study': ['Computer Science']}