2024-03-28T20:04:21Zhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_oaipmhoai:ipsj.ixsq.nii.ac.jp:001876832023-11-17T02:17:36Z06504:09465:09472
Analyzing the Navigation Behavior and Generating the Operational Profile-based Test Technique in the VR Tourism Systems using Formal Verification and Modeling Toolsengソフトウェア科学・工学http://id.nii.ac.jp/1001/00187595/Conference Paperhttps://ipsj.ixsq.nii.ac.jp/ej/?action=repository_action_common_download&item_id=187683&item_no=1&attribute_id=1&file_no=1Copyright (c) 2018 by the Information Processing Society of JapanShinshu UniversityShishu UniversityShishu UniversityAmit, BatajooYojiro, HarieKatsumi, WasakiThis 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.AN00349328第80回全国大会講演論文集201813113122018-03-132018-05-01