Nothing Special   »   [go: up one dir, main page]

Information and Media Technologies
Online ISSN : 1881-0896
ISSN-L : 1881-0896
Computing
Web Automata: A Behavioral Model of Web applications based on the MVC model
Shoji YuenKeishi KatoDaiju KatoKiyoshi Agusa
Author information
JOURNAL FREE ACCESS

2006 Volume 1 Issue 1 Pages 66-79

Details
Abstract

We propose a behavioral model of web applications, called `Web Automata', based on the MVC(Model View and Control) model architecture. The MVC model architecture separates design concerns to improve the overall software quality. Since the architecture only defines the abstract outline of the configurations, there is a broad gap between web application codes and their behavioral properties.
We model the behavior of a web application with dynamic contents as an extension of links-automata proposed by Stotts et al. with the constraint-logic feature of the Extended Finite Automata, EFA for short, by Sarna-Starosa and Ramakrishna. As extended in the model checking techniques, we view a web application as a data-independent system, where variables appearing in link parameters and form inputs are attached to each page.
We present a testing framework for web applications based on the behavioral model. We show it provides reasonable testing criteria for web applications when we focus on the loops in the Web automaton model. We apply our framework to the Jakarta Struts by presenting the extended configuration schema of Struts in order to describe the web automata directly.

Content from these authors
© 2006 by Japan Society for Software Science and Technology
Previous article Next article
feedback
Top