我有一组对字符串进行编码/解码的简单演示程序,并希望为它们生成一些 quickCheck 测试,但将测试限制为仅可打印的字符串。由于生成和拒绝的测试用例太多,使用 guard 太慢并且失败,所以我想为这个域创建一个安全的生成器。
我看到的对此的引用说(1)为 Char 定义一个自己的 Arbitrary 实例并使用它只为字符串生成可打印的字符,或者(2)必须将函数本身包装在一个新类型中并编写一个 Arbitrary例如。
但是尝试做(1)它失败了,因为现在在 Test.QuickCheck 中有一个定义,那么如何做到这一点 - 为新类型创建一个 safeChar 生成器,然后再次必须为测试的函数生成一个适配器? (关于此的 RWH 书籍部分指出,推荐此 DIY Char 定义已过时。)
尝试做(2)似乎我可以只为测试命题添加一个本地化且简单(但失败)的保护,或者编写一个新的包装器和相关的生成器,这看起来更困惑。
显然这很简单(!)并且提供了所有工具,但是有人可以建议这是否是正确的分析,并举例说明如何最好地做到这一点?
最佳答案
起点绝对是genSafeChar
生成器,可以有类型 Gen Char
.例如:
genSafeChar :: Gen Char
genSafeChar = elements ['a'..'z']
然后您可以将其构建为
genSafeString
发电机,例如与 listOf
:genSafeString :: Gen String
genSafeString = listOf genSafeChar
在这一点上,你有几个合理的选择。要么制作
newtype
String
的包装:newtype SafeString = SafeString { unwrapSafeString :: String }
deriving Show
instance Arbitrary SafeString where
arbitrary = SafeString <$> genSafeString
(在这种情况下,您可能只是内联
genSafeString
的定义)然后你可以像这样使用它:
testWibble (SafeString str) = str == str
或者,您可以使用
forAll
在每一点你都需要一个安全的字符串:testWibble = forAll genSafeString $ \str -> str == str
关于Haskell quickcheck - 如何只生成可打印的字符串,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/20934506/