Automatic Extraction and Verification of Page Transitions in a Web Application

Struts アプリケーションのページ遷移を SPIN を使って検証する話。JSP と Struts 設定ファイルからページ遷移を抽出して promela 記述に落として SPIN へ。ページ遷移のノードは JSP とアクション、遷移は html:form, forward, global-forward などで、いたって普通。

author="Atsuto Kubo and Hironori Washizaki and Yoshiaki Fukazawa",
title="{Automatic Extraction and Verification of Page Transitions in a Web Application}",
booktitle="APSEC 2007",
publisher="IEEE Computer Society Press",
pages="350--357",
year="2007"