Abstrakt. Analys av utförande spår spelar en grundläggande roll i många programanalys metoder. Avrättningsspår är ofta parametriska, dvs. de innehåller händelser med parameterbindningar. Varje parametriskt spår består vanligtvis av många spårskivor som slås samman, varje skiva som motsvarar en parameterbindning. Flera tekniker har föreslagits för att analysera parametriska spår, men de har begränsningar: några i specifikation formalism, andra i den typ av spår de stöder; dessutom delar de vanliga föreställningar, intuitioner, även tekniker och algoritmer, vilket tyder på att en grundläggande förståelse av parametrisk spåranalys behövs. Detta grundpapper ger den första lösningen till parametrisk spåranalys som är obegränsad med den typ av parameteregenskaper eller spår som kan analyseras. För det första diskuteras en allmän parametrisk spårdelningsteknik, som tar varje händelse i parametriskt spår och distribuerar den till motsvarande spårskivor. Denna parametriska spårdelningsteknik kan användas i kombination med en konventionell, icke-parametrisk spåranalys genom att tillämpa den senare på varje spårskiva. Därefter presenteras en online-övervakningsteknik baserad på skivningstekniken, som ger en logisk oberoende lösning för körtidskontroll av parametriska egenskaper. Den framlagda övervakningstekniken har implementerats och utvärderats i stor utsträckning. Resultaten bekräftar att de metoder som diskuteras inte kommer till någon allmän kostnad jämfört med befintliga övervakningssystem.
Det har till exempel gjorts arbete med att kontrollera parametriska spåregenskaper REF som tar varje händelse i det parametriska spåret och distribuerar den till motsvarande spårskivor.
Parametric Trace Slicing and Monitoring
{'venue': 'TACAS', 'journal': None, 'mag_field_of_study': ['Computer Science']}