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

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

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

Number of Access:385（2025-09-04 20:29 Counts）

Identifier to cite or link to this item: https://hdl.handle.net/11094/27451

Link to primary information 

File Format Terms of use Size Views Date.Available Description information
itr105_491_073 pdf None 659 KB 134 2014.04.11  

Item Information

Output File Export EndNote Basic Export Mendeley

Title
SPINによるStrutsアプリケーションの動作検証を目的としたモデル生成手法の提案
A Framework to Generate SPIN based Verification Codes for Struts WEB Applications
SPIN ニ　ヨル　Struts アプリケーション　ノ　ドウサ　ケンショウ　ヲ　モクテキ　ト　シタ　モデル　セイセイ　シュホウ　ノ　テイアン
Creator
CreatorName
藤原, 貴之 ; フジワラ, タカユキ ; Fujiwara, Takayuki
NRID
1000070252632 1000070252632
CreatorName
岡野, 浩三 ; オカノ, コウゾウ ; Okano, Kozo
NRID
1000030234438 1000030234438
researchmap permalink
read0013799 read0013799
Scopus Author ID
7102741360 7102741360
CreatorName
楠本, 真二 ; クスモト, シンジ ; Kusumoto, Shinji
Subject
Struts
モデル検査
PROMELA
SPIN
Struts
Model Checking
Abstract
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.
Publisher
電子情報通信学会
The Institute of Electronics, Information and Communication Engineers
デンシ　ジョウホウ　ツウシン　ガッカイ
Source Title
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス
Volume (Issue)
105(491)
Page
73-78
Date of Issued
2005-12-13
Language
Japanese
Handle URL
https://hdl.handle.net/11094/27451
PISSN
09135685
NCID
AN10013287
Access Rights
open access
CopyRight
Copyright © 2005 IEICE
本文データはCiNiiから複製したものである
oaire:version
Version of Record
Category
学術雑誌論文 Journal Article