Abstract-This paper presenterar en ny teknik för att automatiskt generera testdata. Tekniken är baserad på mutationsanalys och skapar testdata som approximerar relativ lämplighet. Tekniken är en felbaserad teknik som använder algebraiska begränsningar för att beskriva testfall som utformats för att hitta särskilda typer av fel. En uppsättning verktyg, kollektivt kallade Godzilla, har implementerats som automatiskt genererar begränsningar och löser dem för att skapa testfall för enhet och modul testning. Godzilla har integrerats med Mothra testsystem och har använts som ett effektivt sätt att generera testdata som dödar programmutanter. Dokumentet innehåller en första lista över begränsningar och diskuterar några av de problem som har lösts för att utveckla ett fullständigt genomförande av tekniken.
Till exempel, en uppsättning verktyg för testdatagenerering, kallad Godzilla, beskrevs i REF.
Constraint-Based Automatic Test Data Generation
{'venue': 'IEEE TRANSACTIONS ON SOFTWARE ENGINEERING', 'journal': None, 'mag_field_of_study': ['Computer Science']}