Search: onr:"swepub:oai:research.chalmers.se:cf2f0e33-02ca-4d3d-8bda-f022a6a205cd" >
Testing Polymorphic...
Testing Polymorphic Properties
-
- Bernardy, Jean-Philippe, 1978 (author)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Jansson, Patrik, 1972 (author)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Lindström Claessen, Koen, 1975 (author)
- Chalmers tekniska högskola,Chalmers University of Technology
-
(creator_code:org_t)
- ISBN 9783642119569
- Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
- 2010
- English.
-
In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). - Berlin, Heidelberg : Springer Berlin Heidelberg. - 1611-3349 .- 0302-9743. - 9783642119569 ; 6012, s. 125-144
- Related links:
-
http://publications.... (primary) (free)
-
show more...
-
https://link.springe...
-
https://doi.org/10.1...
-
https://research.cha...
-
show less...
Table of contents
Abstract
Subject headings
Close
No table of content available
- This paper is concerned with testing properties of polymorphic functions. The problem is that testing can only be performed on specific monomorphic instances, whereas parametrically polymorphic functions are expected to work for any type. We present a schema for constructing a monomorphic instance for a polymorphic property, such that correctness of that single instance implies correctness for all other instances. We also give a formal definition of the class of polymorphic properties the schema can be used for. Compared to the standard method of testing such properties, our schema leads to a significant reduction of necessary test cases.
Subject headings
- 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)
Keyword
- polymorphism
- parametricity
- initiality
- testing
Publication and Content Type
- kon (subject category)
- ref (subject category)
Find in a library
To the university's database