【问题标题】:Is scalacheck non-deterministic approach problematic?scalacheck 非确定性方法有问题吗?
【发布时间】:2014-02-02 15:44:04
【问题描述】:

我知道我可以make scalacheck tests deterministic,但我有一个更普遍的问题:scalacheck 的默认非确定性行为会导致实际问题吗?我一直认为测试应该是确定性和可重复的,反之则表明测试设计不佳。 Scalacheck 似乎被用于几个“严肃”的项目中,所以我想知道打破这个确定性原则是否实际上是现实生活中的(不仅仅是理论上的)问题?

【问题讨论】:

    标签: scalacheck


    【解决方案1】:

    我想说“测试应该是确定性和可重复的”并不总是适用。它们显然有相当大的位置,但随机测试也很有用。除了QuickCheck/ScalaCheck之类的方法还有fuzzing等方法。

    【讨论】:

    • 您提供的链接说“为了能够重现错误,模糊测试软件通常会记录它产生的输入数据”,它回答了我的问题,谢谢!
    • 啊,是的,ScalaCheck 默认会打印任何失败测试的参数(当然,只有在你有一个理智的toString 时它才能正常工作)。
    猜你喜欢
    • 1970-01-01
    • 2020-06-24
    • 1970-01-01
    • 2018-07-14
    • 2021-12-24
    • 2017-01-14
    • 2020-09-02
    • 1970-01-01
    • 2016-05-14
    相关资源
    最近更新 更多