23

我有一组对字符串进行编码/解码的简单演示程序，并希望为它们生成一些quickCheck测试，但将测试限制为仅可打印的字符串。由于生成和拒绝的测试用例太多，使用警卫太慢并且失败，所以我想为这个域创建一个安全的生成器。

我看到的对此的引用说（1）为Char定义一个自己的Arbitrary实例并使用它只为字符串生成可打印的字符，或者（2）必须将函数本身包装在一个新类型中并编写一个Arbitrary例如。

但是尝试做（1）它失败了，因为现在在 Test.QuickCheck 中有一个定义，那么如何做到这一点 - 为新类型创建一个safeChar生成器，然后再次必须为测试的函数生成一个适配器? （关于此的 RWH 书籍部分指出，推荐此 DIY Char 定义已过时。）

尝试做（2）似乎我可以只为测试命题添加一个本地化且简单（但失败）的保护，或者编写一个新的包装器和相关的生成器，这看起来更混乱。

显然这很简单（！）并且提供了所有工具，但是有人可以建议这是否是正确的分析，并举例说明如何最好地做到这一点？

4

2 回答 2

24

起点肯定是一个genSafeChar生成器，它可以有 type 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
于 2014-01-05T17:09:23.367 回答
10

目前QuickCheck有一个PrintableString类型，它也有一个实例arbitrary，这意味着你可以很容易地生成任意字符串：

arbitraryPrintableString :: Gen String
arbitraryPrintableString = getPrintableString <$> arbitrary
于 2018-02-21T13:05:19.817 回答