Abstract-Mätning-baserad timing analys (MBTA) är en hybrid metod som kombinerar utförande-tid mätningar med statisk programanalys tekniker för att få en uppskattning av det värsta fall utförande tid (WCET) av ett program. Den mest utmanande delen av MBTA är testdatagenerering. Att välja en lämplig uppsättning testvektorer avgör säkerheten och effektiviteten i den övergripande analysen. Hittills finns det inga genomförbara kriterier som avgör hur väl programdelarnas värsta temporalbeteende täcks av en given testsvit. I den här artikeln introducerar vi ett relativt säkerhetsmått som jämför testsviter med avseende på hur väl det observerade värsta beteendet hos programdelar utövas. Med hjälp av detta metriska visar vi empiriskt att gemensamma kodtäckningskriterier från domänen funktionell testning kan ge osäkra WCET-uppskattningar i samband med MBTA för system med en processor som TriCore 1796. Vidare använder vi det relativa säkerhetsmåttet för att undersöka täckningskriterier som kräver att alla möjliga par av t.ex. basblock används i kombination. Dessa visas vara överlägsna kodtäckningskriterier från domänen funktionell testning, men det finns fortfarande en chans att en osäker WCET-skattning härleds av MBTA i vår experimentella installation. Baserat på resultaten av vår utvärdering introducerar och undersöker vi Balanced Path Generation, en indatagenereringsteknik som kombinerar fördelarna med alla utvärderade täckningskriterier och slumpmässig indatagenerering.
Detta dokument är i grund och botten en uppföljning av våra undersökningar som presenteras i REF som är-till det bästa av vår kunskap-det enda arbete som empiriskt utvärderar testsviter i termer av hur väl det värsta-fall temporal beteende programsegment omfattas.
Improving the Confidence in Measurement-Based Timing Analysis
{'venue': '2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing', 'journal': '2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing', 'mag_field_of_study': ['Computer Science']}