2K-08
Analyzing the Navigation Behavior and Generating the Operational Profile-based Test Technique in the VR Tourism Systems using Formal Verification and Modeling Tools
○Amit Batajoo（Shinshu University），Yojiro Harie，Katsumi Wasaki（Shishu University）
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.
footer 著作権について 倫理綱領 プライバシーポリシー セキュリティ 情報処理学会