Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionLast revisionBoth sides next revision | ||
webapptesting:projects [2009/07/02 21:20] – admin | webapptesting:projects [2012/01/04 19:20] – [Development Projects] admin | ||
---|---|---|---|
Line 1: | Line 1: | ||
+ | ====== Research Projects ====== | ||
+ | If you want to get involved in one of these projects, see [[http:// | ||
+ | |||
+ | ===== Automated test-case generation ===== | ||
+ | |||
+ | Web application code is often large and complicated because it must | ||
+ | handle millions of user requests dynamically and process massive | ||
+ | amounts of information quickly and efficiently. | ||
+ | application code is prone to errors and requires effective testing to | ||
+ | expose errors. | ||
+ | user requests are cheap to record and testing focuses on what users | ||
+ | actually do. In 2005, Sant et al. proposed a promising user-based test | ||
+ | case generation approach. | ||
+ | parameter values were limited to value combinations from the original | ||
+ | user requests, and their evaluation was based on only one application. | ||
+ | |||
+ | The goal of our project is to improve upon Sant et al.'s control and data models to generate more effective test cases that more accurately emulate actual users. | ||
+ | |||
+ | ===== Automated oracle comparators ===== | ||
+ | |||
+ | Software developers need automated techniques to maintain the | ||
+ | correctness of complex, evolving Web applications. | ||
+ | been success in automating some of the testing process for this | ||
+ | domain, there exists little automated support for verifying that the | ||
+ | executed test cases produce expected results. | ||
+ | tedious task by providing a suite of automated oracle comparators for | ||
+ | testing Web applications. | ||
+ | comparator is specialized to particular characteristics of the | ||
+ | possibly nondeterministic Web applications' | ||
+ | responses. | ||
+ | |||
+ | |||
+ | |||
+ | ====== Development Projects ====== | ||
+ | |||
+ | * [[custom_dspace|Customizing DSpace]] - partially completed during the summer of 2011 | ||
+ | * Adding new functionality to [[logic|Symbolic Logic Tutorial]] for Professor Gregory (Philosophy) | ||
+ | |||
+ | ====== Past Undergraduate Research Projects and Their Outcomes ====== | ||
+ | * Analyzing statistical usage-based navigation models for web applications and their resulting test cases (led to an ICST 2011 paper, which received the best research paper award, and an ICST 2012 paper) | ||
+ | |||
+ | * Comparing data models for automatically generating test cases for web applications | ||
+ | |||
+ | * Developing automated oracle comparators for web applications (led to an ISSRE 2007 publication) | ||
+ | |||
+ | * Developing WebVizOr, a tool for viewing the HTML results from executing test cases (led to a TAIC-PART 2008 publication) | ||
+ | |||
+ | * Developing tools for logging user accesses to Web applications, | ||
+ | |||
+ | * Customizing an online digital library, which was later used as a subject application in later testing research (included in several publications) | ||
+ | |||
+ | * Mutating Web application code to enable failure detection experiments (led to a GHC poster) |