Abstracr-Test-datagenerering i programtestning är processen för att identifiera en uppsättning testdata som uppfyller ett givet testkriterium. De flesta av de befintliga testdatageneratorerna 161, [It], [lo], [16], [30] använder symbolisk utvärdering för att härleda testdata. Men i praktiska program kräver denna teknik ofta komplexa algebraiska manipulationer, särskilt i närvaro av matriser. I detta dokument presenterar vi en alternativ metod för testdatagenerering som baseras på det faktiska genomförandet av programmet under test, funktionsminimeringsmetoder och dynamisk dataflödesanalys. Testdata utvecklas för programmet med hjälp av faktiska värden för indatavariabler. När programmet körs övervakas programmets exekveringsflöde. Om ett oönskat exekveringsflöde observeras under programutförandet (t.ex. den "faktiska" sökvägen inte motsvarar den valda styrvägen) används funktionsminimeringssökalgoritmer för att automatiskt lokalisera värdena för indatavariabler för vilka den valda sökvägen korsas. Dessutom, dynamiska data Bow analys används för att bestämma de inmatningsvariabler som ansvarar för oönskade program beteende, vilket leder till betydande hastighetsförbättring av sökprocessen. Tillvägagångssättet för att generera testdata utvidgas sedan till program med dynamiska datastrukturer, och en sökmetod baserad på dynamisk dataflödesanalys och backtracking presenteras. I det tillvägagångssätt som beskrivs i detta dokument, värden av array index och pekare är kända vid varje steg av programutförande, och detta tillvägagångssätt utnyttjar denna information för att övervinna svårigheter med array och pekarhantering; som ett resultat, effektiviteten av testdatagenerering kan förbättras avsevärt.
Korel REF genererar också testdata genom att köra programmet, men han övervakar flödet av utförande för att generera testdata för täckningskriterier.
Automated Software Test Data Generation
{'venue': 'IEEE Trans. Software Eng.', 'journal': 'IEEE Trans. Software Eng.', 'mag_field_of_study': ['Computer Science']}