DSpace

Future University Hakodate Academic Archive >
研究者 >
情報アーキテクチャ学科 >
奥野 拓 >

このアイテムの引用には次の識別子を使用してください: http://hdl.handle.net/10445/6269

タイトル: イベントハンドラを使用したWeb アプリケーションの動作検証
著者: 佐藤, 隆広
奥野, 拓
アブストラクト: This paper proposes a method for a verification of Web applications using event handlers. In addition, we apply the method to three verification objects. Then, we apply Model Checking which one of a method for a verification. Model Checking has three stages. In stages of Model Checking, this paper refers to first and next stages. First, we describe an automaton of a Web application to verify. Then, we describe the automaton based on the process of each event handler’s function. The process of the function is described based on the specification of ECMAScript. Moreover, we describe the automaton with the specification language Promela. Next, based on the assumed specification, we defined the condition of the verification objects behavior with Temporal Logic. We defined that the condition of the verification objects behavior is related to the function call of the event handler. Last, we automatically verify with a model checking machine SPIN.
研究業績種別: 国内学会/Domestic Conference
資料種別: Conference Paper
査読有無: なし/no
単著共著: 共著/joint
発表雑誌名,発表学会名など: 複雑系マイクロシンポジウム
開始ページ: 33
終了ページ: 38
年月日: 2011年3月
出版社: 北海道エージェントスケジュールプロジェクト
出現コレクション:奥野 拓

ファイルダウンロード:

ファイル 記述 サイズフォーマット
okuno_2011_01_fun_sato.pdf596.79 kBAdobe PDF見る/開く

このアーカイブに登録されているコンテンツはすべて著作権により保護されています。
著作権を遵守の上、ご利用ください。

 

Copyright © 2010-2012 FUTURE UNIVERSITY HAKODATE.
Powered by DSpace Software Copyright © 2002-2007 MIT and Hewlett-Packard