Automatic Extraction and Verification of Page Transitions in aWeb Application

Demand for reliability in Web applications has increased greatly in recent years as they have begun to be used more for enterprise applications. Model checking is an effective way to increase software reliability, but because most Web applications have short delivery times, preparation and applicati...

Full description

Saved in:
Bibliographic Details
Published in14th Asia-Pacific Software Engineering Conference (APSEC'07) pp. 350 - 357
Main Authors Kubo, A., Washizaki, H., Fukazawa, Y.
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.12.2007
Subjects
Application software
Automata
Computer science
Costs
File servers
Java
Logic
Software engineering
Transport protocols
Web server
Online AccessGet full text

Cover

More Information
Summary:Demand for reliability in Web applications has increased greatly in recent years as they have begun to be used more for enterprise applications. Model checking is an effective way to increase software reliability, but because most Web applications have short delivery times, preparation and application costs make it difficult to introduce model-checking techniques into the development process. In this paper, we propose a technique for automatically extracting page transitions from a Web application that has been developed using a Web application framework, such as Struts configuration files and Java Server Page templates, and transforming it into a format that can be used by existing model-checking tools. Using the proposed technique, Web application developers will be able to reduce the preparation and application costs of introducing model-checking techniques.
ISBN:0769530575
9780769530574
ISSN:1530-1362
2640-0715
DOI:10.1109/ASPEC.2007.57