Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat
Testing and Tracing Lazy Functional Programs Using QuickCheck and Hat
复制标题
使用 QuickCheck 和 Hat 测试和跟踪惰性函数程序
DOI：
10.1007/978-3-540-44833-4_3
复制
发表时间：
2002
期刊：
影响因子：
--
通讯作者：
Malcolm Wallace
中科院分区：
文献类型：
--
作者：
Koen Claessen;C. Runciman;O. Chitil;John Hughes;Malcolm Wallace
这是一个非常不良的情况，当今的软件通常包含一个使用功能性编程语言的动机最先进的功能程序员并不可靠；
It is a very undesirable situation that today’s software often contains errors. One motivation for using a functional programming language is that it is more difficult (or even impossible) to make low-level mistakes, and it is easier to reason about programs. But even the most advanced functional programmers are not infallible; they misunderstand the properties of their own programs, or those of others, and so commit errors.