quickcheck

7热度

1回答

我一个功能，rev，对于一个类型，有三种类型类返回一些值： rev :: (Integral a, Show a, Read a) => a -> a rev = read . reverse . show 我想测试一些财产关于它与quickcheck。虽然，我对测试Integral类型的负值不感兴趣，因为我在基本库中使用Integer类型缺少Natural类型。所以我想，让我们产生的价值相

7热度

1回答

通过使用QuickCheck生成输入来测试Parsec解析器

我想编写一套Parsec解析器的测试。这里有一个解析器的一个简单的例子，我想快速检查测试： identifier = do c <- letter cs <- many (alphaNum <|> oneOf identSymbols) skipSpaces return $ Ident $ c:cs 所以，理想情况下，我想快速检查，以产生有效的标识符，

2热度

1回答

如何使Data.List.Vector成为Arbitrary的成员？

我在我的程序中使用Data.List.Vector，现在我想使用quickCheck。但是，这没有实例。由于已经是[双]任意，我想我可以做类似 instance Arbitrary V.Vector Double where arbitrary = V.fromList (arbitrary :: [Double]) 唉，GHC不喜欢这都： `Arbitrary' is applie

3热度

3回答

使用QuickCheck测试Haskell矩阵

我在Haskell中创建了一个Matrix模块，我想使用QuickCheck来测试我的代码的一些属性。具体而言，我想生成具有相关逆的随机矩阵。以下是我创建一个生成这种矩阵的QuickCheck生成器的尝试。 invertibleMatrix :: (Num a, Arbitrary a) => Gen (Matrix a) invertibleMatrix = do s <- choose (2

0热度

1回答

使用任意实例生成三元组（Network.HTTP.ResponseCode）

我有一个从Network.HTTP获取ResponseCode的函数。为了使用QuickCheck测试它，我想写一个用于ResponseCode的Arbitrary实例。（如果您不知道，那么ResponseCode只是该库中三个整数：类型ResponseCode =（Int，Int，Int））。所以我写了这样的事情： instance Arbitrary ResponseCode where

6热度

1回答

用于非布尔测试的快速检查

我正在使用QuickCheck测试我的代码以进行一些数字计算。基本上我有一个确切的功能和它的几个近似值，效率更高。我目前正在执行我想测试类似的属性： prop_blah input = (abs $ (exact input)-(approx input)) < threshold 但是，这将是非常好的知道究竟是如何准确的每一个近似算法是和他们互相比较。一个简单的方法就是获得不平等左边的均值

16热度

3回答

如何判断QuickCheck只为参数生成有效的列表索引？

假设我想为(!!)函数编写一些单元测试。 my_prop xs n = ... 我想限制N到唯一有效的指标，我知道我可以做类似 my_prop xs n = (not.null) (drop n xs) ==> ... 但是，这使得它如此，绝大多数的产生的情况是无效而被扔掉。有没有一种方法可以让QuickCheck生成xs列表，并使用它的值仅生成n的有效情况？

16热度

7回答

有没有Java替代Ploeh的AutoFixture for .Net？

我正在寻找一个Java工具，它会在我的测试中创建anonymous variables（我不关心的值），类似于.Net中的AutoFixture。这里是AutoFixture's readme的链接，它有很好的例子。下面是来自同一自述采取了简单的例子： [TestMethod] public void IntroductoryTest() { // Fixture setup

16热度

2回答

“食谱”从QuickCheck1转换为QuickCheck2？

有没有可以从QuickCheck1转换到QuickCheck2的食谱？作为一些示例，defaultConfig（replaced by Args）和trivial被移除并且CoArbitrary被引入。我没看过what's new in QuickCheck 2 (with single answer ...)。

0热度

1回答

快速检查CoffeeScript

它存在吗？我无法找到它，它没有在维基百科上列出。（这意味着它不存在:)）我知道node.js有它。不确定是否在咖啡脚本中编写我的节点应用程序并应用快速检查会起作用。 http://en.wikipedia.org/wiki/Quick_check 任何线索？