elm - 如何在模糊测试模块中没有 andThen 的情况下展平模糊 ( Fuzz ( Fuzz A))) ？

Question

我有“ parent ”A包含“ child ”的类型 B类型。

这是我应用中主要数据结构的简化版本。

A和 B和 A_id和 B_id都是独立的榆树模块。

如果我能让这个简化工作，那么也许更容易解决我的实际问题。

基本上我的问题是如何为 A 创建一个模糊器.

条件是 A_id和 B_id ..需要共享相同的A_id .

type A
    = A { id : A_id
        , b : B -- A contains B.
        }

type A_id
    = A_id String

type B
    = B { id : B_id } -- B contains B_id

type B_id
    = B_id ( A_id, String ) -- B_id contains A_id. The exact same A_id as its parent A

a_idFuzzer : Fuzzer A_id
a_idFuzzer =
    Fuzz.string
        |> Fuzz.map A_id

aFuzzer : Fuzzer A
aFuzzer =
    a_idFuzzer
        |> Fuzz.map
            (\a_id ->
                bFuzzer a_id
                    |> Fuzz.map
                        (\b ->
                            -- here i just need the b,
                            -- but in reality i need more children
                            -- for assembling the A data structure.
                            -- i need a C and D with a cFuzzer and a dFuzzer...
                            -- and both C and D depend on having the same A_id value.
                            -- like B does.
                            A
                                { id = a_id
                                , b = b
                                }
                        )
            )



-- im passing A_id as an argument since is generated only once on the parent ( A )
-- and is shared with this B child.

bFuzzer : A_id -> Fuzzer B
bFuzzer a_id =
    Fuzz.string
        |> Fuzz.map (\s -> B_id ( a_id, s ))
        |> Fuzz.map (\id -> B { id = id })

那么如何创建这个Fuzzer A ？

对于上面的代码，我得到了 Fuzzer (Fuzzer A)错误而不是 Fuzzer A .

在我实际的应用程序中，我得到了更复杂的错误:

Fuzzer ( Fuzzer ( Fuzzer ( Fuzzer Exchange )))对比Fuzzer Exchange .

我基本上需要用 andThen 来压平它- 但模糊榆树测试包中不存在这样的功能 - 出于某些不太明显的原因。

我尝试了什么:

我与这个问题作了 3 天的斗争- slack 中的某个人建议 andthen被故意删除，我应该使用 custom fuzzer - 我更深入地了解了收缩器的工作原理(我以前不知道它们)以及如何使用 Fuzz.custom只是为了测试他们是否正确。

Fuzz.custom 需要生成器和收缩器。

我可以构建生成器并生成我需要的一切，但我无法构建收缩器 - 因为 B 和 A 以及 C 和 D.. 等等都是不透明的数据结构 - 在它们自己的模块中 - 所以我需要使用 getter 获取它们的所有属性 - 为了缩小它们。

所以对于上面的例子 - 收缩 B我需要提取 b_id并通过收缩机运行它......然后将其放回B通过创建一个新的 B - 使用 B 的公共(public) API .. 而且我没有所有属性的公共(public) getter api B , C , D等等 .. 这样做似乎是错误的(在应用程序中添加我不需要的 setter/getter - 仅用于测试目的..)

这一切都是因为 andThen fuzz 模块上的内容已被删除......但也许有办法，也许他们是对的 - 我没有看到解决方案。链接到模糊器模块:here

那么如何为 A 构建一个模糊器呢？数据类型？

关于如何处理这个嵌套的模糊器有什么想法吗？如何将它们压平回一级？

或者换句话说，如何构建像上面那样相互依赖的模糊测试？(我想到的一个例子是 - 就像运行一个依赖于另一个 http 请求的 http 请求在开始之前完成 - 因为它需要来自先前请求的数据.. 这个模型被认为是函数式编程，通常用 andThen 或 bind 或其他东西完成。)

任何见解都值得赞赏。谢谢:)

Answer 1

I can build the generator and generate everything i need, but i can't build shrinkers

那就别打扰了。通过Shrink.noShrink至 Fuzz.custom .唯一的缺点是当你有一个失败的测试时，你会得到几个 A 类型的大值而不是(理想情况下)一个小值。

当您使用复杂类型时，您会更好地了解如何将导致测试失败的值缩小为仍然导致测试失败的“更小”值。就此而言，您将更好地生成发现测试失败的“有趣”值。

在 elm-test 的下一个主要版本(时间线未设置)中，Shrinkers 将有相当大的改进，包括更好的文档、移除惰性列表以支持常规 Elm 列表，以及重命名为“Simplifier”。