Deja Fu: A Concurrency Testing Library for Haskell

作者：Walker Michael^*; Runciman Colin

来源：ACM Sigplan Notices, 2015, 50(12): 141-152.

DOI：10.1145/2804302.2804306

• Concurrency
• functional programming
• Haskell
• non-determinism
• systematic concurrency testing

Systematic concurrency testing (SCT) is an approach to testing potentially nondeterministic concurrent programs. SCT avoids potentially unrepeatable results that may arise from unit testing concurrent programs. It seems to have received little attention from Haskell programmers. This paper introduces a generalisation of Haskell's concurrency abstraction in the form of typeclasses, and a library for testing concurrent programs. A number of examples are provided, some of which come from pre-existing packages.

• 出版日期2015-12