Abstrakt. Forskare och praktiker försöker fortfarande hitta effektiva sätt att modellera och testa webbapplikationer. I detta dokument föreslås en testteknik på systemnivå som kombinerar testgenerering baserad på ändliga tillståndsmaskiner med begränsningar. Vi använder ett hierarkiskt tillvägagångssätt för att modellera potentiellt stora webbapplikationer. Tillvägagångssättet bygger hierarkier av Finite State Machines (FSM) som modellerar delsystem av webbapplikationer, och sedan genererar testkrav som undersekvenser av stater i FSM. Dessa undersekvenser kombineras sedan och förfinas för att bilda kompletta körbara tester. Begränsningarna används för att välja en reducerad uppsättning ingångar med målet att minska den tillståndsrymdexplosion som annars ingår i användningen av FSM. Papperet illustrerar tekniken med ett löpande exempel på ett webbaserat kursinformationssystem och introducerar en prototypimplementation för att stödja tekniken.
Andrews, och så vidare. REF illustrerade ett tillvägagångssätt för modellering och testning av webbapplikationer baserade på FSM efter att ha analyserat åtta typer av anslutningar bland webbsidor och programvarukomponenter i webbapplikationer.
Testing Web applications by modeling with FSMs
{'venue': 'Software & Systems Modeling', 'journal': 'Software & Systems Modeling', 'mag_field_of_study': ['Computer Science']}