Return to search

Trace Visualization with Java Pathfinder using Theia Trace Viewer

Java Pathfinder (JPF) is a tool to debug Java-based software running multiple threads or processes, with a textual output that be may hard to understand. Recent development introduced the possibility to generate a trace from JPF and visualize it in Trace Compass (TC), a general-purpose trace viewing application. Due to difficulties in maintaining and developing new features for TC, Theia Trace Viewer (TTV) has emerged as the replacement for TC. TTV is a browser-based trace viewer and makes it possible to visualize traces without any download or installation by the user. In this work, we migrate the existing functionality of JPF Trace from TC to TTV and conduct a user study on how TTV supports users analyzing JPF traces. Our results show that TTV is a good start and has great potential, but requires further development before replacing JPF results in textual format. / Java Pathfinder (JPF) är ett verktyg för att hitta fel i Javabaserad mjukvara som exekverar med flera trådar eller processer, där resultat skickas ut som text och kan vara svårt att förstå. Nyligen utvecklades möjligheten att generera ett spår och visualisera i Trace Compass (TC), ett program som kan visualisera olika typer av spårformat. På grund av svårigheter med att underhålla och utveckla nya funktioner för TC, så har Theia Trace Viewer (TTV) vuxit fram som ersättaren för TC. TTV är en webbläsare-baserad traceviewer, där det är möjligt att visualisera spår utan att användaren behöver ladda ner eller installera något. I detta arbete, migrerar vi den befintliga funktionaliteten för JPF Trace i TC till TTV och genomför en användarstudie för att ta reda på hur TTV hjälper användare analysera JPF spår. Vårat resultat visar att TTV är en bra början med god potential, men behöver utvecklas vidare innan det går att ersätta JPF resultat i textformat.

Identiferoai:union.ndltd.org:UPSALLA1/oai:DiVA.org:kth-321541
Date January 2022
CreatorsBesseling, Johan
PublisherKTH, Skolan för elektroteknik och datavetenskap (EECS)
Source SetsDiVA Archive at Upsalla University
LanguageEnglish
Detected LanguageSwedish
TypeStudent thesis, info:eu-repo/semantics/bachelorThesis, text
Formatapplication/pdf
Rightsinfo:eu-repo/semantics/openAccess
RelationTRITA-EECS-EX ; 2022:730

Page generated in 0.0013 seconds