Experience report: Applying random testing to a base type environment

Vincent St-Amour, Neil Toronto

Research output: Contribution to journalArticlepeer-review

Abstract

As programmers, programming in typed languages increases our confidence in the correctness of our programs. As type system designers, soundness proofs increase our confidence in the correctness of our type systems. There is more to typed languages than their typing rules, however. To be usable, a typed language needs to provide a well-furnished standard library and to specify types for its exports. As software artifacts, these base type environments can rival typecheckers in complexity. Our experience with the Typed Racket base environment-which accounts for 31% of the code in the Typed Racket implementation-teaches us that writing type environments can be just as error-prone as writing typecheckers. We report on our experience over the past two years of using random testing to increase our confidence in the correctness of the Typed Racket base environment.

Original languageEnglish (US)
Pages (from-to)351-356
Number of pages6
JournalACM SIGPLAN Notices
Volume48
Issue number9
StatePublished - Sep 1 2013

Keywords

  • Numeric towers
  • Random testing
  • Type environments

ASJC Scopus subject areas

  • Computer Science(all)

Fingerprint Dive into the research topics of 'Experience report: Applying random testing to a base type environment'. Together they form a unique fingerprint.

Cite this