SPINによるStrutsアプリケーションの動作検証を目的としたモデル生成手法の提案

藤原, 貴之; 岡野, 浩三; 楠本, 真二

電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス, 2005, 105(491), 73-78

アクセス数:384件（2025-08-16 09:40 集計）

固定URL: https://hdl.handle.net/11094/27451

閲覧可能ファイル 

ファイル フォーマット 利用条件 サイズ 閲覧回数 利用開始日 説明 information
itr105_491_073 pdf なし 659 KB 132 2014.04.11  

論文情報

ファイル出力 EndNote Basic出力 Mendeley出力

タイトル
SPINによるStrutsアプリケーションの動作検証を目的としたモデル生成手法の提案
A Framework to Generate SPIN based Verification Codes for Struts WEB Applications
SPIN ニ　ヨル　Struts アプリケーション　ノ　ドウサ　ケンショウ　ヲ　モクテキ　ト　シタ　モデル　セイセイ　シュホウ　ノ　テイアン
著者
著者名
藤原, 貴之 ; フジワラ, タカユキ ; Fujiwara, Takayuki
NRID
1000070252632 1000070252632
著者名
岡野, 浩三 ; オカノ, コウゾウ ; Okano, Kozo
NRID
1000030234438 1000030234438
researchmap permalink
read0013799 read0013799
Scopus Author ID
7102741360 7102741360
著者名
楠本, 真二 ; クスモト, シンジ ; Kusumoto, Shinji
キーワード等
Struts
モデル検査
PROMELA
SPIN
Struts
Model Checking
抄録
WEBアプリケーションの開発において, ページ遷移異常が発生しないように設計することは重要である.開発に広く用いられているフレームワークの1つである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.
出版者
電子情報通信学会
The Institute of Electronics, Information and Communication Engineers
デンシ　ジョウホウ　ツウシン　ガッカイ
収録物名
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス
巻(号)
105(491)
ページ
73-78
刊行年月
2005-12-13
言語
日本語
ハンドルURL
https://hdl.handle.net/11094/27451
PISSN
09135685
NCID
AN10013287
アクセス権
open access
権利情報
Copyright © 2005 IEICE
本文データはCiNiiから複製したものである
出版タイプ
Version of Record
カテゴリ
学術雑誌論文 Journal Article