Customizable verifiers for web applications and their implementation

  • Authors:

  • Takao Shimomura;Kenji Ikeda;Quan Liang Chen;Nhor Sok Lang;Muneo Takahashi

  • Affiliations:

  • University of Tokushima, Dept. of Info Sci. & Intel. Syst., Tokushima, Japan;University of Tokushima, Dept. of Info Sci. & Intel. Syst., Tokushima, Japan;University of Tokushima, Dept. of Info Sci. & Intel. Syst., Tokushima, Japan;University of Tokushima, Dept. of Info Sci. & Intel. Syst., Tokushima, Japan;Toin Univ. of Yokohama, Dept. of Control & SE, Yokohama, Japan

  • Venue:
  • CEA'07 Proceedings of the 2007 annual Conference on International Conference on Computer Engineering and Applications
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper presents a method that enables programmers to easily define and customize verification items for Web applications. In this method, we first specify verification conditions using regular expressions to indicate a part of code of interest, and if it is against a verification item, this method provides a mechanism to automatically correct that code using another expression. In addition, to make it possible to easily define complicated verification items that check a sequence of the pieces of program code that appear at multiple locations of the programs, the method provides several program interfaces with which we can check the part of the program code of interest in more detail.