Abstrakt. Målet med Bounded-Extended Testing (BET) är den automatiska generationen av alla testfall som uppfyller en given invariant, inom en given storlek som är begränsad. När testfallen har en komplex struktur blir utvecklingen av korrekta och effektiva generatorer en mycket utmanande uppgift. I detta dokument använder vi Constraint Logic Programmering (CLP) för att systematiskt utveckla generatorer av strukturellt komplexa testdatastrukturer. Vi följer ett deklarativt tillvägagångssätt som gör att vi kan separera frågan om (i) definiera testdatastrukturen i termer av dess egenskaper, från (ii) effektivt generera datastruktur instanser. Denna separation bidrar till att fastställa riktigheten hos de utvecklade testfallsgeneratorerna. Vi förlitar oss på en symbolisk representation och vi utnyttjar effektiva sökstrategier som tillhandahålls av CLP-system för att generera testfall. Genom ett löpande exempel från litteraturen på BET illustrerar vi vår testgenerationsram och vi visar att CLP gör det möjligt för oss att utveckla lättförståeliga och effektiva testgeneratorer. Dessutom föreslår vi en programomvandlingsteknik vars mål är att göra utvärderingen av dessa CLP-baserade generatorer mycket effektivare och vi visar dess effektivitet på ett antal komplexa testdatastrukturer.
I REF definieras en allmän begränsningslogisk programmeringsram för storleksanpassad generering av datastrukturer samt en programtransformeringsmekanism.
Efficient generation of test data structures using constraint logic programming and program transformation
{'venue': 'J. Log. Comput.', 'journal': 'J. Log. Comput.', 'mag_field_of_study': ['Computer Science']}