Sökning: (WFRF:(Purdue Mark P)) srt2:(2015-2019) pers:(Giles Graham G) lar1:(uu)
> (2017) >
Testing Polymorphic...
Testing Polymorphic Properties
-
- Bernardy, Jean-Philippe, 1978 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Jansson, Patrik, 1972 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
- Lindström Claessen, Koen, 1975 (författare)
- Chalmers tekniska högskola,Chalmers University of Technology
-
(creator_code:org_t)
- ISBN 9783642119569
- Berlin, Heidelberg : Springer Berlin Heidelberg, 2010
- 2010
- Engelska.
-
Ingår i: 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
- Relaterad länk:
-
http://publications.... (primary) (free)
-
visa fler...
-
https://link.springe...
-
https://doi.org/10.1...
-
https://research.cha...
-
visa färre...
Innehållsförteckning
Abstract
Ämnesord
Stäng
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.
Ä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
- polymorphism
- parametricity
- initiality
- testing
Publikations- och innehållstyp
- kon (ämneskategori)
- ref (ämneskategori)
Hitta via bibliotek
Till lärosätets databas