講演抄録/キーワード |
講演名 |
2005-12-20 16:45
SPINによるStrutsアプリケーションの動作検証を目的としたモデル生成手法の提案 ○藤原貴之・岡野浩三・楠本真二(阪大) |
抄録 |
(和) |
WEBアプリケーションの開発において,ページ遷移異常が発生しないように設計することは重要である.開発に広く用いられているフレームワークの一つであるStrutsでは,このような異常を検出するための機能が用意されている.ページ遷移異常の原因として,ユーザ入力のタイムアウトによる紛失や,二重送信による重複などが考えられる.本稿では非決定的に異常を発生する状況下でもシステムが正常動作することを検証するための手法として,ページ遷移異常の原因となる振る舞いを,WEBアプリケーション自身の振る舞いに含めてモデル化する手法を提案する. |
(英) |
We propose methods which model Struts-based WEB application and an assistance tool. For WEB application, designing correct page-transitions is very important. Users occasionally give invalid input such as double-clicking the submit button, time-out and so on. They cause page-transition error. Struts, which is one of the most popular frameworks for WEB application, has functions to detect such errors. In order to detect the error in advance, the tool based on our methods automatically generates a model in PROMELA from struts-config.xml. The code includes WEB application’s behavior as well as functions to detect such page-transition errors. |
キーワード |
(和) |
Struts / モデル検査 / PROMELA / SPIN / / / / |
(英) |
Struts / Model Checking / PROMELA / SPIN / / / / |
文献情報 |
信学技報, vol. 105, no. 491, SS2005-75, pp. 73-78, 2005年12月. |
資料番号 |
SS2005-75 |
発行日 |
2005-12-13 (SS) |
ISSN |
Print edition: ISSN 0913-5685 |
PDFダウンロード |
|