Sökning: id:"swepub:oai:research.chalmers.se:df510dff-ca4c-47d6-bb86-1bef488a8df4" >
Testing Properties ...
Testing Properties of Generic Functions
-
- Jansson, Patrik, 1972 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
Jeuring, Johan, 1965 (författare)
-
(creator_code:org_t)
- 2007
- 2007
- Engelska.
-
Ingår i: LNCS, Proceedings of IFL 2006. ; 4449
- Relaterad länk:
-
https://research.cha...
Abstract
Ämnesord
Stäng
- A datatype-generic function is a family of functions indexed by (the structure of) a type. Examples include equality tests, maps and pretty printers. Property based testing tools like QuickCheck and Gast support the definition of properties and test-data generators, and they check if a monomorphic property is satisfied by the test cases. Generic functions satisfy generic properties and this paper discusses specifying and testing such properties. It shows how generic properties and generators can be expressed, and explains three bugs we found and corrected in the Generic Haskell library.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Programvaruteknik (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Software Engineering (hsv//eng)
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Nyckelord
- Random Testing
- Haskell
- Generic Programming
Publikations- och innehållstyp
- kon (ämneskategori)
- ref (ämneskategori)