CPL - Chalmers Publication Library

Testing Polymorphic Properties

Författare och institution:
Jean-Philippe Bernardy (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers)); Patrik Jansson (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers)); Koen Claessen (Institutionen för data- och informationsteknik, Programvaruteknik (Chalmers))
Publicerad i:
Lecture Notes in Computer Science. 19th European Symposium on Programming, ESOP 2010, 6012 s. 125-144
ISBN:
978-3-642-11956-9
ISSN:
0302-9743
Publikationstyp:
Konferensbidrag, refereegranskat
Publiceringsår:
2010
Språk:
engelska
Fulltextlänk:
Fulltextlänk (lokalt arkiv):
http://publications.lib.chalmers.se/records/fulltext/local_99387.pdf
The final publication is available at www.springerlink.com
Sammanfattning (abstract):
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.
Ämne (baseras på Högskoleverkets indelning av forskningsämnen):
NATURVETENSKAP ->
Data- och informationsvetenskap ->
Datavetenskap (datalogi) ->
Datalogi
NATURVETENSKAP ->
Data- och informationsvetenskap ->
Programvaruteknik
Nyckelord:
parametricity, initiality, polymorphism, testing
Postens nummer:
99387
Ingår i post nr:
Posten skapad:
2009-10-01 16:46
Posten ändrad:
2012-02-14 08:51

Visa i Endnote-format