Testfallsgenerering är bland de mest arbetsintensiva uppgifterna inom programvarutestning och även en uppgift som har stor inverkan på programvarutestningens effektivitet och ändamålsenlighet. Av dessa skäl har det också varit ett av de mest aktiva ämnena i forskningen om programvarutestning i flera decennier, vilket resulterat i många olika tillvägagångssätt och verktyg. I detta dokument presenteras en iscensatt undersökning av de mest framträdande teknikerna för automatisk generering av testfall av programvara, granskad i fristående sektioner. De tekniker som presenteras är: a) strukturell provning med hjälp av symboliskt utförande, b) modellbaserad testning, c) kombinatorisk testning, d) slumpmässig testning och dess variant av adaptiv slumpmässig testning, och e) sökbaserad testning. Varje avsnitt får bidrag av världsberömda aktiva forskare om tekniken och täcker kortfattat de grundläggande idéer som ligger till grund för tekniken, det aktuella tekniska läget, en diskussion om de öppna forskningsproblemen och ett perspektiv på den framtida utvecklingen i strategin. I sin helhet syftar dokumentet till att ge en inledande, aktuell och (relativt) kort översikt över forskningen vid automatisk testfallsgenerering, samtidigt som man säkerställer fullständighet och auktoritativhet.
I den iscensatta undersökningen av metoder för automatiserad testning av programvarutestfallsgenerering (REF) identifieras fem tekniker för att automatiskt generera testfall.
An orchestrated survey of methodologies for automated software test case generation
{'venue': 'J. Syst. Softw.', 'journal': 'J. Syst. Softw.', 'mag_field_of_study': ['Computer Science']}