För att utveckla eller underhålla mjukvara krävs en viss nivå av programförståelse. För att underlätta denna förståelse används olika typer av verktyg. Denna studie fokuserar på två olika verktyg som använder sig av dynamisk analys: enkla och multipla loggar. Studiens syfte är att undersöka om multipla loggar kan bidra till en ökad programförståelse vid programutveckling. Eclipse är en utvecklingsmiljö som används för att visa programmets källkod. Trace Compass är ett verktyg som används för att inspektera loggar. Denna studie utfördes i två moment: experiment och intervjuer. Experimentet bestod av 10 typiska förståelseuppgifter i ett program-utvecklingssammanhang. Efter experimentet utfördes en intervju med samtliga deltagare.  Resultatet av undersökningen blev att multipla loggar skulle kunna vara lämpligare att använda vid problem som var relaterade till två eller fler komponenter i ett system.  En av begränsningarna i denna studie var att studien hade för få deltagare för ett generellt ställningstagande. / To develop or maintain a piece of code requires a certain level of comprehension of the developed or maintained software itself. To achieve this goal the developer uses a set of different tools. This report will focus on two types of debug tools: single trace and multiple traces. The purpose of the study is to examine how multiple traces can contribute to an improved program comprehension. The study was carried out through experiments and interviews. The experiment consisted of 10 typical comprehension tasks in a development context. Eclipse and Trace Compass were used to display the logs. Eclipse is a development environment that shows the source code. Trace Compass is a tool for inspecting traces.  After the experiment, an interview was carried out with the subjects of the experiment. The results of this study indicated that multiple traces could have an advantage over a single trace when the task is to understand the interactions between code components in a software system. One of the limitations of the study was due to the limited number of subjects taken part in the study and cannot be used to draw a more general conclusion.

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.

Multi-threading is commonly applied in modern computer programs, bringing many conveniences but also causing concurrency issues. Among the various error debugging tools, Java Pathfinder (JPF) can detect latent errors of multithreaded Java programs through model checking. However, the text-based format of the output trace is hard to read, and previous attempts in visualizing JPF traces show limitations. For long-term development, popular trace analytic platform such as Trace Compass (TC) is extended to adapt to JPF traces. In this thesis, the development of JPF and TC makes it possible to analyze JPF traces on TC with a user interface including visual diagrams. The development solves the conceptual differences between the tools and successfully visualize important trace data. The implementation can help provide a generic approach for analyzing JPF traces with visualization. / Multitrådning används ofta i moderna datorprogram, vilket har många fördelar men kan också orsaka samtidighetsproblem. Bland olika felsökningsverktyg kan Java Pathfinder (JPF) upptäcka latenta fel hos multitrådade Javaprogram genom modellkontroll. Spårningsinformationen i form av text har låg läsbarhet, och tidigare försök att visualsera JPF-spår har visat begränsningar. För långsiktig utveckling har populära spårningsanalysplattformar som Trace Compass (TC) utvidgats för att anpassas till JPF-spår. I examensprojektet gör utvecklingen av JPF och TC det möjligt att analysera JPF-spår på TC med ett användargränssnitt baserat på visuella diagram. Utvecklingen löser den konceptuella skillnaden mellan verktygen och visualiserar spårdata på ett framgångsrikt sätt. Implementeringen bidrar med ett generiskt tillvägagångssätt för att analysera JPF spår med hjälp av visualisering.

The Radio Access Network (RAN) plays a vital role in enabling mobile network connectivity using radio waves. Gaining a comprehensive understanding of RAN applications is crucial, and trace analysis provides valuable insights into their operations. Modern RAN applications can be deployed on different platforms and this can lead to the generation of different trace formats, which complicates the analysis process. Trace analysis and visualization tools, such as Trace Compass, can be used to ease the process, but for each new trace format the user often needs to create new code and visualizations. This is needed also when different trace formats generated by the same application contain similar information. To overcome this limitation, this thesis introduces an innovative approach to generalize the interpretation of traces, enabling to reuse existing analysis and visualization independently of the trace format. Moreover, a Domain Specific Language (DSL) is introduced to simplify the trace analysis procedure. The proposed thesis contributes to a generic approach for analyzing different trace formats, thereby facilitating the analysis of RAN applications deployed across diverse platforms. / Radio Access Network (RAN) spelar en viktig roll när det gäller att möjliggöra anslutning till mobilnät med hjälp av radiovågor. Att få en omfattande förståelse för RAN-applikationer är avgörande, och trace-analys ger värdefulla insikter i deras verksamhet. Moderna RAN-applikationer kan driftsättas på olika plattformar, vilket kan leda till att olika trace-format genereras, vilket komplicerar analysprocessen. Verktyg för trace-analys och visualisering, som Trace Compass, kan användas för att underlätta processen, men för varje nytt trace-format måste användaren ofta skapa ny kod och nya visualiseringar. Detta behövs även när olika traceformat som genereras av samma applikation innehåller liknande information. För att övervinna denna begränsning introducerar denna avhandling en innovativ metod för att generalisera tolkningen av trace-data, vilket gör det möjligt att återanvända befintlig analys och visualisering oberoende av traceformatet. Dessutom introduceras ett domänspecifikt språk (DSL) för att förenkla trace-analysförfarandet. Den föreslagna avhandlingen bidrar till en generisk metod för analys av olika trace-format, vilket underlättar analysen av RANapplikationer somanvänds på olika plattformar.