Vi presenterar en strategi för att stödja felsökning av stokastiska systemmodeller med hjälp av interaktiv visualisering. Syftet med detta arbete är att underlätta identifieringen av orsaksfaktorer i de potentiellt mycket stora uppsättningar av utförandevägar som utgör motexempel vid stokastisk modellkontroll. Visualiseringen är interaktiv och gör det möjligt för användaren att fokusera på de mest meningsfulla aspekterna av ett motexempel. Vi presenterar tillämpningen av visualiseringsmetoden som implementeras i vårt prototypverktyg DIPRO till två fallstudier.
Ett interaktivt visualiseringsverktyg för att stödja felsökningsprocessen presenteras i REF.
Debugging of Dependability Models Using Interactive Visualization of Counterexamples
{'venue': '2008 Fifth International Conference on Quantitative Evaluation of Systems', 'journal': '2008 Fifth International Conference on Quantitative Evaluation of Systems', 'mag_field_of_study': ['Computer Science']}