WEKO3
アイテム
Analyzing the Navigation Behavior and Generating the Operational Profile-based Test Technique in the VR Tourism Systems using Formal Verification and Modeling Tools
https://ipsj.ixsq.nii.ac.jp/records/187683
https://ipsj.ixsq.nii.ac.jp/records/1876831fdead86-7050-40e4-aedc-5073f852be8e
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-Z80-2K-08.pdf (410.0 kB)
|
Copyright (c) 2018 by the Information Processing Society of Japan
|
| Item type | National Convention(1) | |||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2018-03-13 | |||||||||||
| タイトル | ||||||||||||
| タイトル | Analyzing the Navigation Behavior and Generating the Operational Profile-based Test Technique in the VR Tourism Systems using Formal Verification and Modeling Tools | |||||||||||
| 言語 | ||||||||||||
| 言語 | eng | |||||||||||
| キーワード | ||||||||||||
| 主題Scheme | Other | |||||||||||
| 主題 | ソフトウェア科学・工学 | |||||||||||
| 資源タイプ | ||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||||
| 資源タイプ | conference paper | |||||||||||
| 著者所属 | ||||||||||||
| Shinshu University | ||||||||||||
| 著者所属 | ||||||||||||
| Shishu University | ||||||||||||
| 著者所属 | ||||||||||||
| Shishu University | ||||||||||||
| 著者名 |
Amit, Batajoo
× Amit, Batajoo
× Yojiro, Harie
× Katsumi, Wasaki
|
|||||||||||
| 論文抄録 | ||||||||||||
| 内容記述タイプ | Other | |||||||||||
| 内容記述 | This paper shows a behavior based model that provides deep experience about the transitions of navigation through the events or activities illustrated through the example of the VR Tourism Systems is proposed. This research wants to identify the traveler's most common behavior and complex operational properties in the processes of navigation to design and development the better real system under real operation condition. By using Hierarchical Petri Net Simulator (HiPS), a Petri Net design tool we want to model and analyze navigation behavior and also generate Operational Profile-based Test in order to improve the reliability of the VR system. | |||||||||||
| 書誌レコードID | ||||||||||||
| 収録物識別子タイプ | NCID | |||||||||||
| 収録物識別子 | AN00349328 | |||||||||||
| 書誌情報 |
第80回全国大会講演論文集 巻 2018, 号 1, p. 311-312, 発行日 2018-03-13 |
|||||||||||
| 出版者 | ||||||||||||
| 言語 | ja | |||||||||||
| 出版者 | 情報処理学会 | |||||||||||
