Abstract-Nyligen har det varit stor framgång med att använda symbolisk körning för att automatiskt generera testingångar för små programvarusystem. En primär utmaning i skalning sådana metoder till större program är den kombinatoriska explosionen av vägen utrymme. Det är troligt att sofistikerade strategier för att söka denna väg utrymme behövs för att generera ingångar som effektivt testa stora program (t.ex. att uppnå betydande gren täckning). Vi presenterar flera sådana heuristiska sökstrategier, inklusive en ny strategi som styrs av styrflöde grafen i programmet under test. Vi har implementerat dessa strategier i CREST, vårt konkoliska testverktyg med öppen källkod för C, och utvärderat dem på två allmänt använda programvaruverktyg, grep 2.2 (15K rader kod) och Vim 5.7 (150K linjer). På dessa riktmärken, de presenterade heuristikerna uppnå betydligt större gren täckning på samma test budget än konkoliska tester med en traditionell djup-första sökstrategi.
J.Burnim presenterar i REF, ett testverktyg för C som kallas CREST.
Heuristics for Scalable Dynamic Test Generation
{'venue': '2008 23rd IEEE/ACM International Conference on Automated Software Engineering', 'journal': '2008 23rd IEEE/ACM International Conference on Automated Software Engineering', 'mag_field_of_study': ['Computer Science']}