Abstract-I detta papper beskriver vi en ny teknik som hjälper en modellerare att få insikt i det dynamiska beteendet hos en komplex stokastisk diskret-event simuleringsmodell baserad på spåranalys. Vi föreslår algoritmer för att skilja progressivt från repetitivt beteende i ett spår och för att extrahera en minimal progressiv fragment av ett spår. Det implicita kombinatoriska optimeringsproblemet för spårreduktion löses i linjär tid med dynamisk programmering. Vi presenterar och jämför flera ungefärliga och en exakt lösningsmetod. Information om reduktionsoperationen och det reducerade spåret i sig hjälper en modellerare att känna igen förekomsten av vissa fel och identifiera deras orsak. Vi spårar upp ett subtilt modelleringsfel i en pålitlig modell av ett serversystem i flera klasser för att illustrera effektiviteten i vårt tillvägagångssätt genom att avslöja orsaken till en observerad effekt. Den föreslagna tekniken har implementerats och integrerats i Traviando, en spåranalysator för att felsöka stokastiska simuleringsmodeller.
Däremot innehåller Traviando spåranalysverktyget REF en ny on-the-fly-algoritm för att härleda en uppsättning invarianter från ett spår som genereras av en diskret stokastisk simulering.
Automated Trace Analysis of Discrete-Event System Models
{'venue': 'IEEE Transactions on Software Engineering', 'journal': 'IEEE Transactions on Software Engineering', 'mag_field_of_study': ['Computer Science']}