State-of-the art tekniker för automatiserad testgenerering fokuserar på att generera utföranden som täcker programmets beteende. Eftersom de inte genererar orakel, är det upp till utvecklaren att räkna ut vad ett test gör och hur man kontrollerar riktigheten av det observerade beteendet. I detta dokument presenterar vi en metod för att generera parameteriserade enhet tester-enhet tester som innehåller symboliska pre-och postvillkor som kännetecknar testinmatning och testresultat. Med utgångspunkt från konkreta ingångar och resultat använder vi testgenerering och mutation för att systematiskt generalisera pre- och postvillkor samtidigt som vi förenklar beräkningsstegen. Utvärderad på fem bibliotek med öppen källkod, är de skapade parameteriserade enhetstester (a) mer uttrycksfulla, karaktäriserande allmänna snarare än betongbeteende; (b) behöver färre beräkningssteg, vilket gör dem lättare att förstå; och (c) uppnå en högre täckning än vanliga enhetstester.
Frasers och Zeller REF:s arbete presenterar en metod för att generera parameteriserade enhetsprovningar för vilka orakel representeras i form av pre- och postvillkor som kännetecknar input och testresultat.
Generating parameterized unit tests
{'venue': "ISSTA '11", 'journal': None, 'mag_field_of_study': ['Computer Science']}