有没有办法在Haskell QuickCheck中以这种方式生成测试值？
在Haskell QuickCheck中，可以使用以下方式生成测试值：
- 使用QuickCheck的内置生成器：QuickCheck提供了许多内置的生成器函数，可以用于生成各种类型的测试值。例如，
arbitrary函数可以生成任意类型的测试值，elements函数可以从给定的列表中随机选择一个元素作为测试值。 - 自定义生成器：除了使用内置生成器，还可以自定义生成器来生成特定类型的测试值。可以通过定义一个实现了
Arbitrary类型类的数据类型的实例来实现自定义生成器。在实例中，可以使用内置生成器函数或者组合已有的生成器来生成测试值。 - 组合生成器：可以使用组合函数将多个生成器组合在一起，以生成更复杂的测试值。例如，
oneof函数可以从多个生成器中随机选择一个生成器来生成测试值，frequency函数可以根据给定的权重选择生成器。 - 限制生成器：可以使用限制函数对生成器进行限制，以控制生成测试值的范围或大小。例如，
sized函数可以根据给定的大小参数限制生成器生成的测试值的大小。
总结起来，可以通过使用QuickCheck的内置生成器、自定义生成器、组合生成器和限制生成器等方式，在Haskell QuickCheck中以灵活多样的方式生成测试值。
腾讯云相关产品和产品介绍链接地址：
- 腾讯云产品：https://cloud.tencent.com/product
- 云原生产品：https://cloud.tencent.com/solution/cloud-native
- 人工智能产品：https://cloud.tencent.com/solution/ai
- 物联网产品：https://cloud.tencent.com/solution/iot
- 移动开发产品：https://cloud.tencent.com/solution/mobile
- 存储产品：https://cloud.tencent.com/product/cos
- 区块链产品：https://cloud.tencent.com/solution/blockchain
- 元宇宙产品：https://cloud.tencent.com/solution/metaverse
请注意，以上链接仅为腾讯云产品的官方介绍页面，供参考使用。
相关·内容
3回答
我刚刚开始了一个新的Haskell项目，希望从一开始就建立一个良好的测试工作流程。看来Haskell有许多优秀和独特的测试工具以及许多不同的方法来集成它们。
我调查了：
这一切似乎都在他们的领域工作得很好，但我正在寻找一种全面的测试方法，并想知道什么对其他人有良好的效果。
浏览 8提问于2010-06-25得票数 104
回答已采纳
Haskell QuickCheck有约翰·休斯在下面的演讲和论文中描述的基于状态机的特性吗？
如果没有，如何使用Haskell的QuickCheck进行有状态测试？例如，使用Haskell QuickCheck测试循环缓冲区的最佳方法是什么，而无需在测试本身中重新实现核心逻辑。
浏览 1提问于2016-12-23得票数 3
所有的牛角牛都说：
自那时以来，已经进化并被扩展，其特性在Haskell QuickCheck中找不到。
那么，这些特征是什么？
浏览 3提问于2012-02-17得票数 1
下面是一个.cabal文件：
Name: myprogram
Version: 0.1
-- blah blah blah
Cabal-version: >=1.9.2
Executable myprogram
HS-source-dirs: src
Main-is: Main.hs
Build-depends: attoparsec == 0.10.*,
base == 4.3.*,
浏览 5提问于2012-04-15得票数 60
回答已采纳
学习一个Haskell会显示\\函数。
\是列表差函数。基本上，它的作用就像一个固定的不同。对于右边列表中的每个元素，它都会删除左边的一个匹配元素。
示例：
ghci> [1..10] \\ [2,5,9]
[1,3,4,6,7,8,10]
请批评我的执行情况。
setDifference :: (Eq a) => [a] -> [a] -> [a]
setDifference xs excludes = filter (not . (`elem` excludes)) xs
测试：
*Main> setDifference [1,2,3] [2,4,5,
浏览 0提问于2014-05-15得票数 2
我不得不找几个例子来说明内置的Haskell函数“unline”并不是“line”的完全相反，即，
unlines.lines x != x
其中x是包含换行符的字符串。我找到了一个这样的例子：
"aa\nbb"
将会变成
"aa\nbb\n"
有没有人知道其他的例子，没有显示出相同的缺陷(例如，unline总是在最后一行之后附加一个换行符)？
说清楚:根据自动化测试，我已经解决了任务-我简单地使用了上面的三次。我只想知道是否有其他根本不同的解决方案。
浏览 0提问于2011-11-17得票数 3
回答已采纳
我在Haskell中写了一个算法来解决子集和问题。签名是
subsetSum :: (Ord a, Num a) => [a] -> a -> Maybe [a]
QuickCheck似乎很适合对此进行测试。例如，我在这里可以检查其中一个属性：
prop_sumEqualsS l s = case subsetSum l s of
Just solution -> (sum solution) == s
Nothing -> True
问题是，该算法计算量很
浏览 3提问于2012-04-02得票数 18
回答已采纳
当我无意中发现了QuickCheck函数时，我正在浏览的文档。文件上写着
获取增加大小的元素的列表，并在列表的初始段中进行选择。此初始段的大小随大小参数的增加而增加。输入列表必须是非空的.
这到底是什么意思？当我在ghci中尝试这个函数时，当我一次又一次地在它上运行generate时，它只返回给定数组中的随机值。我看不出从列表中随机选择和这个函数正在做什么之间的区别。
*Main Test.QuickCheck> generate $ growingElements [1..100]
13
*Main Test.QuickCheck> generate $ growingE
浏览 1提问于2016-09-11得票数 2
回答已采纳
我正在学习Haskell，并成为一名优秀的开发人员，边走边写单元测试。我实现了各种排序算法，并进行了相应的测试。然而，我觉得单独的测试是多余的，因为输入和输出是不变的，只有用于对输入进行排序的算法是不变的。有没有办法在其他各种单元测试框架中尽可能地创建数据驱动的测试或数据表？
module RecursionSpec (main, spec) where
import Test.Hspec
import Recursion
main :: IO ()
main = hspec spec
spec :: Spec
spec = do
let input = [3, 1, 5, 2, 4
浏览 8提问于2017-12-25得票数 0
QuickCheck 1中的函数verboseCheck似乎在QuickCheck 2中缺失(或者至少我找不到它)。有没有其他方法来显示在测试期间使用了哪些值？
浏览 0提问于2010-03-26得票数 10
回答已采纳
1回答
我为一个函数编写了一个QuickCheck属性，该函数将两个排序的输入合并为一个排序的输出：
prop_merge xs ys =
if (sorted xs && sorted ys) then (sorted (merge xs ys)) else True
也就是说，当输入被排序时，输出也被排序。它也可以写成：
prop_merge xs ys = not(sorted xs && sorted ys) || (sorted (merge xs ys))
但这两个版本我都不太喜欢。在QuickCheck中有没有更好的“条件属性”语法？
浏览 3提问于2012-10-15得票数 14
回答已采纳
1回答
我想用Haskell模块编写自己的测试用例。假设我做了一个"range“模块。我可能想检查一下：
(range 1 2) + (range 3 5) == (range 1 5)
(range 1 4) + empty == (range 1 4)
等。
我想将这些测试放在模块中，也许还可以使用编译器标志来打开/关闭它们。
我目前对一些为我生成测试用例的框架并不真正感兴趣，我很乐意自己去做。
浏览 3提问于2014-02-10得票数 2
2回答
当一个值没有通过QuickCheck的测试时，我想用它来调试。有没有什么办法可以让我这样做：
let failValue = quickCheck' myTest
in someStuff failValue
如果我的数据支持read，那么我可能可以通过某种方式从IO获取数据，但事实并非如此。
浏览 3提问于2011-11-19得票数 14
回答已采纳
尝试99个谜题来学习Haskell。我面临的一个生活质量问题是，每当我测试一个解决方案时，我都会编写一个函数：
mySolutionForQuestion12 :: someFunctionType
testMySolutionForQuestion12 :: IO ()
testMySolutionForQuestion12 = do
print "testMySolution"
print $ mySolutionForQuestion12 "myInput1"
print $ mySolutionForQuestion12
浏览 1提问于2022-01-23得票数 2
考虑Haskell中的以下QuickCheck程序
{-# LANGUAGE TemplateHaskell #-}
import Test.QuickCheck
import Test.QuickCheck.All
prop_trivial :: Bool
prop_trivial = 42 == (6 * 7)
-- Wacky boilerplate to make all tests run.
return []
runTests = $quickCheckAll
main = do
runTests
这适用于ghc版本7.8.3和QuickCheck 2.7.6。问题是它重复
浏览 5提问于2015-01-26得票数 1
回答已采纳
3回答
我有一个相当简单的haskell项目设置，在我真正开始编码之前，我只是想让框架工作于测试等工作。我将可执行文件的源文件放在/src目录(其中/是项目的根目录)中，将测试放在/testsuite目录中。/testsuite包含一个名为TestSuite.hs的简单测试文件，并将main = Test.Framework.defautMain tests作为main的实现。问题是，当我运行
cabal clean && cabal configure --enable-tests && cabal build
我得到了警告
output was redirected
浏览 2提问于2012-08-27得票数 10
回答已采纳
在以下代码中： data Point = Point { x :: Int,
leftHeight :: Int,
rightHeight :: Int}
data Rectangle = Rec Point Point
rec1 = Rec p1 p2 创建Rec时有几个约束条件，例如： x p1 < x p2
(leftHeight p1 ) should always be zero
(rightHeight p2 ) should always be zero
rig
浏览 13提问于2019-12-16得票数 1
回答已采纳
我对Haskell很陌生，我正试图为Sudoku中的任意单元生成一个随机加权数
90% of the time, it should generate Nothing
10% of the time, it should generate a random value between 1 and 9
这就是我到目前为止想出的(它还没有编译)
-- cell generates an arbitrary cell in a Sudoku
-- cell :: Gen (Maybe Int)
cell = case x of 1 -> return (Just y); _ -> r
浏览 1提问于2015-10-01得票数 1
回答已采纳
在Haskell中，我有以下语法来表示简单类型的lambda演算(STLC)。我在文献中看到了很多关于如何生成随机lambda项的论文，但我想知道Haskell中是否有任何库可以从下面的语法生成随机实例？我感兴趣的是只生成一次程序。 我看到了一个名为QuickCheck的库，但这个库可以用于此目的吗？ data Vtype = Tint
| Tbool
| Tfun Vtype Vtype
deriving (Eq, Data)
data Expr = Vi Int
| Vb Bool
浏览 23提问于2019-09-18得票数 1
回答已采纳
现在正在通过真实世界的Haskell工作。这是本书中一个非常早的练习的解决方案：
-- | 4) Counts the number of characters in a file
numCharactersInFile :: FilePath -> IO Int
numCharactersInFile fileName = do
contents <- readFile fileName
return (length contents)
我的问题是:你将如何测试这个函数？有没有一种方法可以进行“模拟”输入，而不是真正需要与文件系统交互来测试它？Haskell将重点
浏览 2提问于2011-09-10得票数 35
回答已采纳
对于我正在开发的一个Cabal包，有些东西是不合理的，我已经将这个问题归结为以下示例：
我有以下简单的测试模块：
module Main where
import Test.QuickCheck (quickCheck)
main = quickCheck False
以及位于同一目录中的以下Cabal文件：
name: project
version: 0.1.0.0
cabal-version: >= 1.10
build-type: Simple
executable project
main
浏览 4提问于2015-04-24得票数 7
我有个玩具程序：
$ cat a.hs
main = putStrLn "Toy example"
$ runghc a.hs
Toy example
让我们向它添加一些模板Haskell：
$ cat b.hs
{-# LANGUAGE TemplateHaskell #-}
id [d|
main = putStrLn "Toy example"
|]
$ runghc b.hs
b.hs:3:0: parse error (possibly incorrect indentation)
那么，让我们修复缩进：
$ cat c.hs
{-# LANGUAG
浏览 3提问于2011-10-01得票数 5
回答已采纳
我一直在尝试使用cabal-install作为一种构建haskell项目的方法，更重要的是，测试我的haskell项目，这有点类似于在Java项目中使用Maven的方式，主要是因为它似乎也是集成到Jenkins或ci中的一种很好的方法，而且在某种意义上它似乎非常可靠，因为您不需要开发环境等设置来检查和确认代码是否正在编译和正确。
不管怎样，我使用QuickCheck和HUnit来完成这项工作。在另一篇关于堆栈交换的文章中，我发现了一种集成HUnit和cabal的好方法，即使用Distribution.TestSuite.HUnit中的函数测试在我的测试模块中创建一个公开的测试数组。很管用。
我
浏览 0提问于2013-02-23得票数 10
假设我没有安装HsColour程序，并且安装了QuickCheck
$ cd /tmp/
$ cabal get QuickCheck
$ cd QuickCheck
$ cabal install
...
[ 1 of 15] Compiling Test.QuickCheck.Random
...
[15 of 15] Compiling Test.QuickCheck
...
Installed QuickCheck-2.7.6
如果我再次安装QuickCheck，它将不会被重新编译，也就是说，我看不到行
[ 1 of 15] Compiling Test.QuickCheck.Ran
浏览 1提问于2014-11-06得票数 13
回答已采纳
2回答
在Java中是否有一个灵活的模糊测试框架？
将模糊测试定义为：
模糊测试是一种软件测试技术，通常是自动化的或半自动的，它涉及向计算机程序的输入提供无效、意外或随机的数据。然后监视程序的异常，如崩溃，或失败的内置代码断言，或寻找潜在的内存泄漏。模糊化通常用于测试软件或计算机系统中的安全问题。
我知道Erlang有这样一个框架。任何提示都欢迎。
浏览 0提问于2014-03-13得票数 11
我希望能够使用如下声明的文件：
test_1 = assert $ 1 == 1
test_2 = assert $ 2 == 1
并生成一个基本的运行函数，如
main = runTests [test_1, test2]
我们的目标是获得类似Python的nosetest。
我能用模板Haskell做到这一点吗？我找不到很多关于它的文档(Wiki中有许多断开的链接)。
浏览 0提问于2010-12-06得票数 6
回答已采纳
3回答
Haskell有一个很好的属性，就是代码的类型签名有时会告诉您代码的功能。这让我想到..。您能基于类型签名构建测试吗？
例如，考虑像Data.Map这样的模块。它定义了一个数据类型和几个在该类型上操作的函数。仅从类型签名的角度来看，原则上应该能够找到构建Map值的所有可能方法。我的意思是算法上的可能-它应该有可能写一些程序，把接口到你的模块，并计算出所有可能的函数调用，你可以针对它。
现在，有些人认为，编写得很好的测试套件可以被看作是库应该做的事情的“规范”。显然，编写代码的人知道他们想要做什么，而机器却不知道。但是，考虑到您提供的类型签名，机器应该能够计算出可能的要求。
更具体的情况是，假设
浏览 4提问于2013-10-28得票数 2
回答已采纳
我试图在Haskell中为任意Repa数组编写测试。由于某些原因，下面的片段如下：
import Test.QuickCheck
import Test.QuickCheck.Monadic
import Data.Array.Repa (Array, DIM2)
prop_id :: Array U DIM2 Double -> Property
prop_id array = monadicIO $ array `R.equalsP` array >>= assert
抛出此异常：
*** Failed! (after 1 test):
Exception:
Test
浏览 3提问于2017-04-29得票数 2
回答已采纳
在其他语言中，我喜欢将我的单元测试放在与产品代码不同的目录结构中，以保持清晰的分离。在Haskell中有没有关于如何做到这一点的典型约定或类似的东西？
浏览 5提问于2011-02-10得票数 9
回答已采纳
1回答
我计划用Haskell编写一个小玩具编译器，用于一种非常简单的语言，以增强我的Haskell技能，并有趣地设计一种新的语言。我仍然在考虑一些一般性的决定，其中一个最大的亮点是我将如何进行集成测试。我有以下要求：
应该可以创建一个三元组列表(输入、程序、输出)，这样，我的集成测试运行我的编译器来编译程序，运行已编译的二进制文件，将输入传递给它，并验证运行的输出是否等于给定的输出。
应该可以在以后扩展集成测试，以测试与程序的更复杂的交互，例如，它更改文件或至少睡20秒或诸如此类的事情。
我还有以下可选要求：
它应该是尽可能多的“端到端”，也就是说，它应该尽可能地把整个
浏览 2提问于2015-10-09得票数 10
回答已采纳
在像Haskell的quickcheck这样的基于属性的测试设置中，如何为关系的n元属性生成测试数据，例如，传递性或对称性？我认为，实现语言并不重要。 下面是一个使用rapidcheck的简单C++示例(因为我现在手头就有这个工具)： rc::check("Double equality is symmetric.", [](double a, double b) {
RC_ASSERT(!(a == b) || (b == a)); // a == b ==> b == a
}); 在这种天真的情况下，该工具不太可能在前提(a == b)实际成立的情
浏览 17提问于2020-01-10得票数 0
我在运行堆栈/GHCi版本8.4.3的macOS上：
在GHCi提示符下和在我的.hs文件中，import Test.QuickCheck都会失败。不管怎样，我被告知它没有被找到。GHCi Prelude>
<no location info>: error:
Could not find module ‘Test.QuickCheck’
It is not a module in the current program, or in any known package.
在.hs文件中>
"Could not find module ‘Test
浏览 13提问于2021-05-24得票数 0
有没有人确切知道如何使用QuickCheck在Haskell中定义生成器，以便选择的元素只被挑选一次？
我已经意识到我可能需要一个"Gen (可能是积极的)“生成器，但当然这将通过重复生成数字。我想要它，这样选择的数字就不会重复。在实例中，当返回一个数字时，我只想返回，而在随机数都耗尽的实例中，我希望Gen Nothing返回。
谢谢,
标记
浏览 1提问于2011-07-26得票数 4
我最近一直在尝试使用Haskell，但是我在使用QuickCheck2时遇到了一些困难(我在编写99个问题时正在学习这个问题)。在这件事上，我和相关的人一起看过。
与上述问题中的OP一样，我感兴趣的是了解QuickCheck2是否可能会出现异常。我知道这在QuickCheck 1中是可能的。一些人在谷歌上搜索我的代码，让我看到以下版本的代码来测试一个myLast函数，它返回列表的最后一个元素：
prop_myLast :: [Int] -> Bool
prop_myLast [] = expectFailure . myLast $ []
prop_myLast xs = myLast
浏览 4提问于2014-12-12得票数 4
回答已采纳
1回答
我在学做一个Haskell包。我被困住的一件事是使用QuickCheck运行测试。
具体而言，如何配置要运行的试验数量？
下面是带有虚拟测试的测试文件(Test.hs)：
module Main where
import System.Exit (exitFailure)
import Test.QuickCheck
prop_PermInvariant xs = length xs == length (reverse xs)
where types = xs :: [Int]
main :: IO ()
main = quickCheck prop_PermInvariant
这
浏览 5提问于2022-05-29得票数 0
回答已采纳
我正在努力学习Haskell，特别是QuickCheck。虽然Haskell网上有很多信息，但我很难用QuickCheck创建一些随机测试。
例如，我有以下脚本：
import Test.QuickCheck
whatAge :: Int -> Int -> Int -> Int -> Bool
whatAge age1 age2 age3 age4
| age1 + age2 + age3 + age4 == 5 = True
| otherwise = False
main = do
verboseCheck whatAge
当我运行它显示：
浏览 2提问于2019-06-11得票数 0
回答已采纳
11回答
及其变体(甚至在中也有)似乎很有趣。然而，除了学术兴趣之外，它在实际的应用程序测试中是否真的有用(例如，图形用户界面应用程序或客户端/服务器，甚至是StackOverflow本身)？如果您有类似测试生成器的经验，我们将不胜感激。
浏览 1提问于2009-02-23得票数 36
回答已采纳
我正在使用Haskell和QuickCheck为下列函数编写测试：
{-| Given a list of points and a direction, find the point furthest
along in that direction. -}
fn :: (Eq a, Ord a, DotProd a) => [a] -> a -> a
fn pnts dir = pnts !! index
where index = fromJust $ elemIndex (maximum dotproducts) dotproducts
d
浏览 3提问于2014-02-16得票数 9
回答已采纳
我尝试通过QuickCheck运行使用Haskell QuickCheck的程序，但是收到了以下错误：
$ ghc Ex2.hs
[1 of 1] Compiling Ex2 ( Ex2.hs, Ex2.o )
Ex2.hs:21:1: error:
Could not find module ‘Test.QuickCheck’
There are files missing in the ‘QuickCheck-2.11.3’ package,
try running 'ghc-pkg check'.
Use -v
浏览 0提问于2018-09-20得票数 1
回答已采纳
2回答
有没有可能构造一个高阶函数isAssociative，它接受另一个带有两个参数的函数，并确定该函数是否具有结合性？
类似的问题，但对于其他性质，如交换性也是如此。
如果这是不可能的，有没有办法在任何语言中将其自动化？如果有Agda、Coq或Prolog解决方案，我会感兴趣。
我可以想象一种暴力解决方案，它可以检查所有可能的参数组合，并且永远不会终止。但在这种情况下，“永不终止”是不受欢迎的属性。
浏览 2提问于2011-12-28得票数 7
回答已采纳
我正在使用递归在Haskell中实现一些数论函数作为指数运算。我使用QuickCheck库来测试我的实现。为了简化我的测试，我使用了来自基库的Natural数据类型，quickcheck实例库中定义的Natural的任意实例，以及考虑到我自己定义的数据Nat，分别从Nat转换为Natural和从Natural转换为Nat的函数：
data Nat = Zero | Succ Nat
natToNatural :: Nat -> Natural
natToNatural Zero = 0
natToNatural (Succ n) = 1 + natToNatural n
natura
浏览 4提问于2020-06-01得票数 1
鉴于以下情况：
test :: (Int -> Int) -> Int -> Bool
test _ _ = True
编译源代码后，我尝试运行quickCheck test
> quickCheck test
<interactive>:27:1:
No instance for (Show (Int -> Int))
arising from a use of ‘quickCheck’
In the expression: quickCheck test
In an equation for ‘it’: it =
浏览 3提问于2015-09-22得票数 7
回答已采纳
1回答
我是哈斯克尔的新手，有C++背景。我正在Haskell中做一些练习，我想把它们作为一堆包含单元测试的函数来实现，所以测试驱动程序是我唯一的应用程序。
以我的背景，我正在寻找类似GTest的东西。HUnit是它在哈斯克尔世界的类似产品。但是，需要显式注册测试真的很烦人--这是乏味的，违反了枯燥的原则。
因此，我考虑尝试使用定制测试framework.Seems，模板Haskell可以用于自动提供断言描述并在一个模块内注册测试。但是，如何能够从所有链接模块自动收集所有测试？
当然，总是可以编写构建脚本来生成grep源代码并生成所需的代码，但我想知道，这是否只能在Haskell中完成呢？
浏览 2提问于2014-01-03得票数 3
回答已采纳
根据的建议，
以及的一些解决方案，
我一直无法使这段代码可行：
instance Semigroup a
=> Semigroup (ZipList a) where
(<>) = liftA2 (<>)
instance Monoid a
=> Monoid (ZipList a) where
mempty = pure mempty
mappend = liftA2 mappend
mconcat as =
foldr mappend mempty as
mconcatP :: NonEmptyL
浏览 1提问于2021-01-24得票数 0
回答已采纳
Haskell的模块导出了我一直在使用的pattern Fn。
当我用以下方式导入它时：
import Test.QuickCheck
效果很好。但是，当我用以下方式导入它时：
import Test.QuickCheck (Fn)
我得到了一个错误：Module ‘Test.QuickCheck’ does not export ‘Fn’。我也尝试过import Test.QuickCheck (Fun(Fn))，但是这样做也会出现类似的错误。
如前所述，works导入是可行的，但在这里，我更喜欢使用显式导入，这样我就可以很容易地看到每个导入术语来自何处。是否有可能显式导入这样的“模式”？
浏览 7提问于2022-06-16得票数 2
回答已采纳
1回答
我用quickcheck做了一个Haskell程序的测试例程。我在我的阴谋卷宗中声明了这一点：
Test-Suite routine_de_test
Type: exitcode-stdio-1.0
Hs-Source-Dirs: test
Main-is: Tests.hs
并以下列方式启动：
cabal configure --enable-tests
cabal buil
cabal test
测试是正确处理的，我本来希望看到日志文件dist/test/中每个测试使用的随机值的详细信息，但是当我打开它时，文件如下所示：
浏览 3提问于2015-05-25得票数 0
回答已采纳
1回答
过去的一个论文问题要求我定义一个函数p :：a -> a，它在列表中每两项交换一次。您的函数应该将第一项与第二项交换，将第三项与第四项交换，依此类推。一个是通过列表理解定义的，另一个是通过递归定义的。
好吧，这是我想出来的：
import Test.QuickCheck
p :: [a] -> [a]
p [] = []
p xs = concat [ [y,x] | ((x,y),i) <- zip (zip xs (tail xs)) [1..], odd i]
q :: [a] -> [a]
q [] = []
q (x:y:zs) | even (length
浏览 0提问于2012-12-15得票数 3
1回答
我是Haskell的新手，我正在尝试构建一个正在测试的程序。我决定使用HUnit和Cabal。
据我所见，一个结构良好的项目看起来是这样的：
src/
AppName/
Appname.hs
testsuite/
tests/
AppName/
TestRunner.hs
AppName.cabal
Setup.hs
对我来说神秘的部分是TestRunner.hs和AppName.cabal。
运行testsuite/test子目录下的所有测试的testrunner应该是什么样子的？如何将其与Cabal集成？
另外，如何将黑客依赖项放在AppName.cabal中并从命
浏览 2提问于2012-11-25得票数 12
回答已采纳
3回答
我正在寻找可以生成测试用例或帮助软件测试的工具或框架。
到目前为止，我发现如下：
Feed4JUnit (Java) -
MuClipse (Java) -
MuJava (Java) -
JTest (Java，商业)-
T2 (Java) -
QuickCheck (Java/Haskell) -
Randoop (Java/.NET) -
UnitCheck (Java) -
Java (Java) -
UDITA (Java) -
Korat (爪哇)-
快速代码(Java) -
TestGen4J (Java
浏览 6提问于2011-01-20得票数 22
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
即时通信 IM
实时音视频活动推荐
腾讯云开发者
