検証およびテスト生成の自動化を指向したステートマシン図によるWebナビゲーションのモデル化

カテゴリ: 論文誌(論文単位)

グループ名: 【C】電子・情報・システム部門

発行日: 2016/03/01

タイトル(英語): Modelling Method of Web Navigation for Automatic Verification and Test Generation using State Machine Diagrams

著者名: 横川　智教（岡山県立大学情報工学部），佐藤　洋一郎（岡山県立大学情報工学部），有本　和民（岡山県立大学情報工学部）

著者名(英語): Tomoyuki Yokogawa (Okayama Prefectural University), Yoichiro Sato (Okayama Prefectural University), Kazutami Arimoto (Okayama Prefectural University)

キーワード: Webアプリケーション，画面遷移図，モデル検査，SAL　　web application，page flow diagram，model checking，SAL

要約(英語): We propose a method for modelling navigation structure of web application using state machine diagrams. We assume that the navigation structure is described by a page flow diagram. The navigation structure is modelled as state machine diagrams representing page navigations, authentication and user operations. A model of page navigations is obtained by representing web pages and movement of them as states and transitions, and by representing form controls in web pages as substates. A model of authentication is obtained by representing a condition of authorization as states which changes by events corresponding to user operations. User operations are represented as actions in transitions. We applied the proposed method to an example web application described by a page flow diagram and modelled it as state machine diagrams. We demonstrated automatic verification and test generation for the obtained state machine diagrams using SAL tools. We showed that errors in the page flow diagram can be detected successfully and the generated test case can cover all navigations. Additionally, we applied the method to a practical example and showed that verification and test generation by SAL can be carried out in a small amount of time.

本誌: 電気学会論文誌C（電子・情報・システム部門誌） Vol.136 No.3 （2016） 特集：機械学習が拓くシステムイノベーション

本誌掲載ページ: 423-433 p

原稿種別: 論文／日本語

電子版へのリンク: https://www.jstage.jst.go.jp/article/ieejeiss/136/3/136_423/_article/-char/ja/