Abstract-Web-skript kraschar och missbildade dynamiskt genererade webbsidor är vanliga fel, och de allvarligt påverkar användbarheten av webbprogram. Nuvarande verktyg för validering av webbplatser kan inte hantera dynamiskt genererade sidor som är allmänt förekommande på dagens Internet. Vi presenterar en dynamisk testgenereringsteknik för domänen dynamiska webbapplikationer. Tekniken använder både kombinerad betong och symbolisk utförande och explicit-state modellkontroll. Tekniken genererar tester automatiskt, kör tester fånga logiska begränsningar på ingångar, och minimerar villkoren för indata till misslyckade tester så att de resulterande felrapporter är små och användbara för att hitta och fixa de underliggande fel. Vårt verktyg Apollo implementerar tekniken för PHP programmeringsspråket. Apollo genererar testingångar för ett webbprogram, övervakar programmet för krascher och validerar att utdatan överensstämmer med HTML-specifikationen. Detta dokument presenterar Apollos algoritmer och implementering, och en experimentell utvärdering som avslöjade 673 fel i sex PHP Web-program.
Artzi m.fl. REF föreslog en explicit modellkontroll för PHP-webbapplikationer.
Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking
{'venue': 'IEEE Transactions on Software Engineering', 'journal': 'IEEE Transactions on Software Engineering', 'mag_field_of_study': ['Computer Science']}