1. 首页
  2. 考试认证
  3. 其它
  4. QuickCheck Elm中的简化QuickCheck

QuickCheck Elm中的简化QuickCheck

上传者: 2024-10-10 10:01:45上传 ZIP文件 220.07KB 热度 5次
快速检查这个库很大程度上受到了Haskell的QuickCheck库的启发,并具有在Elm中大大简化的quickcheck函数的实现。如何使用一、导入模块import QuickCheck (..) quickCheck功能有助于自动测试功能。假设你创建了这个超级棒的函数来添加两个浮点数,你非常有创意地将它们称为add : Float -> Float add x y = x + y您想测试您的出色功能以确保其正常工作,但您必须进行所有这些测试。这就是quickCheck可以提供帮助的地方。 quickCheck将使用您选择的随机生成器自动创建您想要创建的任意数量的测试用例,并测试您认为关于您的函数的条件。例如,将正数与减号本身相加应为0。如果不是这种情况,您的add函数就不是真正的add函数。 condi
下载地址
用户评论