Programvarans komplexitet har ökat behovet av automatiserad testning av programvara. De flesta undersökningar om automatiserade tester har dock fokuserat på att skapa testdata. Även om det är nödvändigt att noggrant välja indata för att nå felaktiga tillstånd i ett system under provning, krävs test orakel för att faktiskt upptäcka fel. I detta arbete beskriver vi Dodona, ett system som stöder generering av testorakler. Dodona rankar programvariabler baserade på de interaktioner och beroenden som observerats mellan dem under programgenomförandet. Med hjälp av denna rankning föreslår Dodona en uppsättning variabler som ska övervakas, som kan användas av ingenjörer för att konstruera påstående-baserade orakel. Vår empiriska studie av Dodona visar att det är effektivare och effektivare än den nuvarande toppmoderna metoden för att generera orakeldatamängder, och kan ofta ge orakler som är nästan lika effektiva som orakler handgjorda av ingenjörer utan stöd.
På liknande sätt, Loyola et al. REF föreslår ett system som rankar programvariabler baserat på de interaktioner och beroenden som observerats mellan dem under programmets genomförande.
Dodona: automated oracle data set selection
{'venue': 'ISSTA 2014', 'journal': None, 'mag_field_of_study': ['Computer Science']}