Sciweavers

Share
APLAS
2006
ACM

Automatic Testing of Higher Order Functions

12 years 5 months ago
Automatic Testing of Higher Order Functions
This paper tackles a problem often overlooked in functional programming community: that of testing. Fully automatic test tools like Quickcheck and G∀ST can test first order functions successfully. Higher order functions, HOFs, are an essential and distinguishing part of functional languages. Testing HOFs automatically is still troublesome since it requires the generation of functions as test argument for the HOF to be tested. Also the functions that are the result of the higher order function needs to be identified. If a counter example is found, the generated and resulting functions should be printed, but that is impossible in most functional programming languages. Yet, bugs in HOFs do occur and are more subtle due to the high abstraction level. In this paper we present an effective and efficient technique to test higher order functions by using intermediate data types. Such a data type mimics and controls the structure of the function to be generated. A simple additional functio...
Pieter W. M. Koopman, Rinus Plasmeijer
Added 13 Jun 2010
Updated 13 Jun 2010
Type Conference
Year 2006
Where APLAS
Authors Pieter W. M. Koopman, Rinus Plasmeijer
Comments (0)
books