Publication: Graphical high level analysis of communication in distributed virtual reality applications
Loading...
Date
Advisor
Coadvisor
Graduate program
Undergraduate course
Journal Title
Journal ISSN
Volume Title
Publisher
Type
Work presented at event
Access right
Acesso aberto
Abstract
Analysing distributed virtual reality applications communicating through message-passing is challenging. Their development is complex, and knowing if something is wrong depends on the states of each process, defects (bugs) cause software crashes, hangs, and generation of incorrect results. To address this daunting problem we specify functional behavior models (for example, using synchronization barriers and shared variables) for these applications that ensures correctness. We also developed the GTracer tool, which compares the functional behavior models developed with the messages transmitted among processes. GTracer checks for violations of these models automatically and displays the message traffic graphically. It is a tool made for libGlass, a message library for distributed computing. We have been able to find several non-trivial defects during the tests of this tool.
Description
Keywords
Analysis, Bug, Defects, Distributed computing, Message passing, Virtual reality
Language
English
Citation
Procedia Computer Science, v. 51, n. 1, p. 1373-1382, 2015.
