Formal modelling of dynamic instantiation of input devices and interaction techniques

Hamon, Arnaud; Palanque, Philippe; Cronel, Martin; André, Raphaël; Barboni, Éric; Navarre, David

doi:10.1145/2607023.2610286

Cited by 5 publications

(3 citation statements)

References 18 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…CIRCUS allows human factor experts to gather information during the task analysis phase as well as to check the behavior through the simulation of task models using the HAMSTERS tool. The tool also enables, using the ICO notation, modeling of the entire interactive system from drivers of the input devices [1], interaction techniques [39] to interactive applications [69]. User interface prototyping capabilities are provided by the NetBeans IDE and therefore limited to high-delity prototyping of WIMP interactions.…”

Section: Evaluation Of Circus 51 General Aspects Of the Toolmentioning

confidence: 99%

See 1 more Smart Citation

Supporting the Analysis of Safety Critical User Interfaces

Campos

Fayollas

Harrison

et al. 2020

ACM Trans. Comput.-Hum. Interact.

Self Cite

View full text Add to dashboard Cite

Use error due to user interface design defects is a major concern in many safety critical domains, for example avionics and healthcare. Early detection of latent user interface problems can be facilitated by user centered design methods that integrate formal verication technologies. This paper considers the role that formal verication technologies can play in the context of user centered design by considering three existing tools: CIRCUS, PVSio-web, and IVY. These tools have been developed to support the model based analysis of critical user interfaces. They have their foundations in existing formal verication technologies, but each of them is focused towards particular issues relating to user interface design. The paper explores the dierent phases of the user centered design process and the extent to which each of these tools supports these phases. Criteria are developed for assessing their role at each stage of the design process. The results of the evaluation provide guidance to developers to help choose the most appropriate tool based on their analysis needs while at the same time setting challenges for future developments. CCS Concepts: • Software and its engineering ! Integrated and visual development environments.

show abstract

Section: Evaluation Of Circus 51 General Aspects Of the Toolmentioning

confidence: 99%

“…Formal modeling is achieved using the ICO notation. The formal models can embed qualitative and quantitative time and, use the underlying Petri nets to describe concurrent behavior and dynamic instantiation [39].…”

Section: Evaluation Of Circus 51 General Aspects Of the Toolmentioning

confidence: 99%

Supporting the Analysis of Safety Critical User Interfaces

Campos

Fayollas

Harrison

et al. 2020

ACM Trans. Comput.-Hum. Interact.

Self Cite

View full text Add to dashboard Cite

show abstract

“…Other contributory factors for designing games involve making formal descriptions for user interface design , the behavioral aspects of interactive systems , and the behavior of multitouch systems . These approaches adopt an interactive cooperative objects (ICO) language recommended by Navarre et al , which focuses on the user interface design.…”

Section: Related Workmentioning

confidence: 99%

An automated functional testing approach for virtual reality applications

Souza

Nunes

Delamaro

2018

Software Testing Verif & Rel

View full text Add to dashboard Cite

Software testing is regarded as an important method for fault revealing. Despite this advantage, it has been poorly used within the scope of virtual reality (VR) applications because they are highly complex and have peculiar features. Most testing performed of this VR applications are usability, which is conducted manually and only at final of the development process. Although some works try to propose criteria for this domain, there are no approaches that automatize the generation of test data from requirements specification in the VR domain. This paper proposes an approach called virtual reality-requirements specification and testing (VR-ReST) to assist the requirements specification through a semiformal language and uses structural test criteria to generate test requirements and test data automatically for VR applications using scene graph concepts. The paper also examines the empirical results concerning the cost-effectiveness of the approach for three different VR applications through two experiments. Mutation testing was used to evaluate effectiveness. We found that the approach achieved a high mutation score outperforming random testing, by 20%, on average. Our results also demonstrate that the approach is promising since it assists in writing and validating the requirements, as well as in reducing the risks of requirement specification by adopting a semiformal language. KEYWORDS requirements engineering, software testing, virtual reality INTRODUCTIONFor several years, effort has been put into this research area in tasks such as development of techniques, testing criteria [1,2], and automation of the testing activity [3,4,5]. Some studies are dedicated to changing, adapting, and improving traditional techniques to accommodate peculiarities of specific software domains, such as WEB applications [6,7,8], database applications [9, 10], and GUI testing [11,12]. Our interest here lies in the domain of virtual reality (VR) applications, with their specific characteristics and high complexity.VR systems are three-dimensional (3D) virtual environments (VEs), as opposed to traditional two-dimensional environments considered over the years in computational applications. Features such as interaction, immersion, and the importance of using conventional and unconventional input/output devices make VR programs highly complex [13]. Such features also add difficulty to the process of software development, in particular, requirements specification and software testing activities.VR applications have a powerful interface that allows advanced human-computer interaction by using human senses. Such interfaces enable the user to immerse, navigate, and interact in a three-dimensional environment using multi-sensory devices [14]. VR is being increasingly used, and it is regarded as a technology that considerably contributed to several application areas such as medicine [15,16], archeology [17], entertainment [18,19], and education [20].VR applications, like other complex systems, may involve features such as parallelism and synch...

show abstract