Presenter: Yang Zhou
Programs: TCSCM, CSVG Course: DA231X
Supervisor: Cyrille Artho
Examiner: Elena Troubitsyna
Opponent:

Swedish Title: Visualisering av exikveringstrådar för Java Pathfinder med Trace Compass

Sammanfattning: Multitrådning är vanligen tillämpat i moderna datorprogram, vilket har många fördelar men kan också orsaka samtidighetsproblem. Bland de olika felsökningsverktygen kan Java Pathfinder (JPF) upptäcka latenta fel hos multitrådade java program genom modellkontroll. Den textuella spårningsinformationen har låg läsbarhet, medan de tidigare försöken att visualsera JPF spår visar begränsningar. För långsiktig utveckling är populära spårningsanalysplattformar som Trace Compass (TC) utökade till att anpassa JPF spår. För denna avhandling gör utvecklingen av JPF och TC det möjligt att analysera JPF spår på TC med ett användargränsnitt inklusive visuella diagram. Utvecklingen löser den konceptuella skillnaden mellan verktygen och framgångsrikt visualiserar viktig spårdata. Implementeringarna kan hjälpa med att tillhandahålla ett generisk tillvägagångssätt för att analysera JPF spår med visualisering.