Abstract
We present a lightweight, automated tool for specification-based testing of declarative programs written in the functional logic programming language Curry and emphasize the usefulness of logic features in its implementation and use. Free variables, nondeterminism and encapsulated search turn out to be elegant and powerful means to express test-data generation.
Zitieren
1.
Christiansen J, Fischer S. EasyCheck — Test Data for Free. In: Functional and Logic Programming. Springer Berlin Heidelberg; 2008:322-336.
Christiansen, J. ., & Fischer, S. . (2008). EasyCheck — Test Data for Free. In Functional and Logic Programming (S. 322–336). Springer Berlin Heidelberg.
Christiansen, Jan, und Sebastian Fischer. 2008. „EasyCheck — Test Data for Free“. In Functional and Logic Programming, 322-36. Springer Berlin Heidelberg.
Christiansen, Jan, und Sebastian Fischer. „EasyCheck — Test Data for Free“. Functional and Logic Programming. Springer Berlin Heidelberg, 2008. 322–336. Print.
Christiansen, Jan, und Sebastian Fischer. „EasyCheck — Test Data for Free“. Functional and Logic Programming, Springer Berlin Heidelberg, 2008, S. 322–336.
Details
-
Number of Pages
322-336 -
Publisher
Springer Berlin Heidelberg -
ISBN Number
978-3-540-78969-7