Webbskript kraschar och missbildade dynamiskt genererade webbsidor är vanliga fel, och de allvarligt påverkar användbarheten av webbprogram. Nuvarande verktyg för webbsidevalidering kan inte hantera de dynamiskt genererade sidorna som är allestädes närvarande på dagens Internet. I detta arbete tillämpar vi en dynamisk testgenereringsteknik, baserad på kombinerad betong och symbolisk exekvering, på domänen för dynamiska webbapplikationer. Tekniken genererar tester automatiskt, använder testerna för att upptäcka fel, och minimerar villkoren för indata som exponerar varje fel, så att de resulterande felrapporterna är små och användbara för att hitta och rätta de underliggande felen. Vårt verktyg Apollo implementerar tekniken för PHP. Apollo genererar testingångar för webbapplikationen, ö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 214 fel i 4 PHP Web-program.
Slutligen, inom området för testning av webbapplikationer, gör Apollo REF-verktyget det möjligt att generera testdata för PHP-program genom kodanalys.
Finding bugs in dynamic web applications
{'venue': "ISSTA '08", 'journal': None, 'mag_field_of_study': ['Computer Science']}