Abstrakt. Tidsbestämning är ett viktigt steg i utformningen av tillförlitliga realtidsinbäddade system. I detta papper presenterar vi GameTime, en verktygslåda för exekveringstid analys av programvara. GameTime bygger på en kombination av spelteoretisk online-inlärning och systematisk testning med hjälp av satisfiability modulo-teorier (SMT). I motsats till många befintliga verktyg för timing analys, GameTime kan användas för en rad uppgifter, inklusive att uppskatta värsta fall genomförandetid, förutsäga fördelningen av genomförandetider för en uppgift, och hitta timing relaterade buggar i program. Vi beskriver viktiga genomförandedetaljer av GameTime och illustrerar dess användning genom exempel.
En tidsanalys baserad på spelteoretisk inlärning presenterades i REF.
GameTime: A toolkit for timing analysis of software
{'venue': 'in Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS', 'journal': None, 'mag_field_of_study': ['Computer Science']}