Abstrakt. Vi presenterar ett lätt, automatiserat verktyg för specifikationsbaserad testning av deklarativa program skrivna i det funktionella logik programmeringsspråket Curry och betonar nyttan av logiska funktioner i dess genomförande och användning. Fria variabler, icke-determinism och inkapslad sökning visar sig vara eleganta och kraftfulla medel för att uttrycka testdatagenerering.
EasyCheck är ett bibliotek för att generera slumpmässiga testdata skrivna i Curry funktionella logik programmeringsspråk REF.
EasyCheck — Test Data for Free
{'venue': 'FLOPS', 'journal': None, 'mag_field_of_study': ['Computer Science']}