Automatic extraction and verification of page transitions in a web application

研究成果: Conference contribution

7 被引用数 (Scopus)

抄録

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-che eking tools. Using the proposed technique, Web application developers will be able to reduce the preparation and application costs of introducing model-checking techniques.

本文言語English
ホスト出版物のタイトルProceedings - 14th Asia-Pacific Software Engineering Conference, APSEC 2007
ページ350-357
ページ数8
DOI
出版ステータスPublished - 2007 12 1
イベント14th Asia Pacific Software Engineering Conference, ASPCE 2007 - Nagoya, Japan
継続期間: 2007 12 42007 12 7

出版物シリーズ

名前Proceedings - Asia-Pacific Software Engineering Conference, APSEC
ISSN(印刷版)1530-1362

Conference

Conference14th Asia Pacific Software Engineering Conference, ASPCE 2007
CountryJapan
CityNagoya
Period07/12/407/12/7

ASJC Scopus subject areas

  • Engineering(all)

フィンガープリント 「Automatic extraction and verification of page transitions in a web application」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル