WEKO3
アイテム
イベントハンドラを使用したWeb アプリケーションの動作検証
http://hdl.handle.net/10445/6269
http://hdl.handle.net/10445/6269943e5d95-aaa7-432c-9ab4-54480344ca84
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
okuno_2011_01_fun_sato.pdf (611.1 kB)
|
|
| Item type | 会議発表論文 / Conference Paper(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2011-04-19 | |||||
| タイトル | ||||||
| タイトル | イベントハンドラを使用したWeb アプリケーションの動作検証 | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||
| 資源タイプ | conference paper | |||||
| 著者 |
佐藤, 隆広
× 佐藤, 隆広× 奥野, 拓 |
|||||
| 抄録 | ||||||
| 内容記述タイプ | Abstract | |||||
| 内容記述 | 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. |
|||||
| 書誌情報 |
複雑系マイクロシンポジウム p. 33-38, 発行日 2011-03 |
|||||
| 査読有無 | ||||||
| 値 | なし/no | |||||
| 研究業績種別 | ||||||
| 値 | 国内学会/Domestic Conference | |||||
| 単著共著 | ||||||
| 値 | 共著/joint | |||||
| 権利 | ||||||
| 権利情報 | ここに掲載した著作物の利用に関する注意 本著作物の著作権は北海道エージェントスケジュールプロジェクトに帰属します。本著作物は著作権者である北海道エージェントスケジュールプロジェクトの許可のもとに掲載するものです。All Rights Reserved, Copyright (C) Hokkaido Schedule Project. | |||||
| 著者版フラグ | ||||||
| 出版タイプ | AM | |||||
| 出版タイプResource | http://purl.org/coar/version/c_ab4af688f83e57aa | |||||
| 出版者 | ||||||
| 出版者 | 北海道エージェントスケジュールプロジェクト | |||||
