Paper Info
Title
Weave: Web Applications Validation Environment
Abstract
Ensuring software quality in the presence of multiple software development methodologies such as agile and waterfall models is a challenging task. Web applications are released to customers in "Beta" mode due to tremendous pressure on "time-to-market". In order to check end-to-end functional behavior of web applications, conventional testing tools have not matched short release cycles and have not kept lip with agile software methodologies. In this paper we present a tool framework called WEb Applications Validation Environment (WEAVE) for checking functional behavior such as business logic and security of web applications. We have used WEAVE for finding defects in large Java-centric commercial-strength Web applications. As part Of WEAVE, we have developed (1) a semi-automatic method for environment generation to constrain the behavior of the application for scalability, (2) an intuitive interface for engineers to construct requirements that are compiled into temporal logic to address the issue of usability, and (3) symbolic execution tailored to finding business logic and security defects. We describe how we have architected WEAVE as a web service for company's internal software teams to improve software quality without an upfront investment in licenses and computing infrastructure.
Year
DOI
Venue
2009
10.1109/ICSE-COMPANION.2009.5070968
2009 31ST INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, COMPANION VOLUME
Keywords
Field
DocType
web services,programming,web service,data mining,software development methodology,software methodologies,logic,business,software testing,application software,software development,security,java,software quality,databases,scalability,temporal logic
Software engineering,Systems engineering,Computer science,Web engineering,Web modeling,Web application security,Software development process,Web application,Software quality,Web service,Software development
Conference
ISSN
Citations 
PageRank 
0270-5257
6
0.63
References 
Authors
7
6
Name
Order
Citations
PageRank
Sreeranga P. Rajan125918.23
Oksana Tkachuk222515.83
Mukul R. Prasad370835.18
Indradeep Ghosh440743.54
Nitin Goel581.72
Tadahiro Uehara61159.66