Automated test input generation and test execution for websites

This report presents a framework for automating test input generation, test execution and validation of websites. The framework leverages popular libraries available for the Java language to perform functions such as interacting with a website, parsing the content of a webpage and writing unit tests. Formal methods for software verification are incorporated using Java Pathfinder (JPF), a model checker built using Java. A working prototype of this framework has been created and tested on a sample website built as part of the work presented in this report. The framework presented in this report can provide full round-trip coverage of user interactions with a website validating website front-end as well as backend execution paths. How this testing framework can be run as part of a continuous integration solution is also presented in this report and has been prototyped. The framework presented in this report can be applied to a variety of real-world websites that involve user interaction.