내가 세 typeclasses에있는 유형에 대한 몇 가지 값을 반환하는 함수, rev은, 한 (내 경우에는 긍정적 인) Quickcheck와 수식을 사용하는 quickcheck로 그것에 관한 속성. 하지만 기본 라이브러리에 Natural 유형이 없어서 Integer을 사용하고 있기 때문에 Integral 유형의 음수 값을 테스트하는 데 관심이 없습니다. -
doctest 및 quickcheck을 사용할 때 인스턴스 (here)를 정의하려면 어떻게해야합니까? Doctest 및 Cabal은 테스트 용으로 별도의 디렉토리가있는 here으로 설명한대로 설정됩니다. doctest가 라인은 다음과 같습니다 -- prop> (\s -> (decode . encode $ s == s)) :: ByteString -> Boo
다음은 간단한 함수입니다. 입력 Int을 취하여 (Int, Int) 쌍의 (가능하지 않은) 빈 목록을 리턴합니다. 여기서 입력 Int은 쌍 중 하나의 3 승 요소의 합계입니다. cubeDecomposition :: Int -> [(Int, Int)]
cubeDecomposition n = [(x, y) | x <- [1..m], y <- [x..m], x
version 2 (1.2.0.1 still has it)으로 QuickCheck의 Batch 모듈이 제거되었습니다. 이 때문에 나는 항상 mapM_ 같이 여러 개의 테스트를 함께 해커라고 느낀다. QuickCheck 2의 후속 기능을 간과하고 있습니까? 독립적 인 테스트를 함께 그룹화 할 수있는 표준 방법이 있습니까?
foldl에 대한 구현을 작성하여 작동하는지 확인하고 싶었지만 일부 사례를 시도했지만 제대로 작동하는 것으로 보이지만 확실히하고 싶습니다. No instance for (Show (b0 -> a0 -> b0))
arising from a use of `quickCheck'
Possible fix:
add an instance declar
(!!) 함수에 대한 단위 테스트를 작성하고 싶습니다. my_prop xs n = ...
내가에만 유효 인덱스 n을 제한 할 그리고 내가 my_prop xs n = (not.null) (drop n xs) ==> ...
처럼 뭔가를 할 수 알고하지만 생성 된 대부분의 경우는 무효 멀리 던져 있도록이 그것을 만든다 . QuickCheck가 xs 목록을
는 I는 정렬 출력으로 두 정렬 입력들을 병합 기능하는 QuickCheck 속성을 썼다. 다음과 같이 쓸 수도 있습니다 : prop_merge xs ys = not(sorted xs && sorted ys) || (sorted (merge xs ys))
그러나 나는 어느 버전이 좋을지 모르겠군요. QuickCheck의 "조건부 속성"에 대한 구문이 더
나는 레코드 유형이 있다고 가정 : data Foo = Foo {x, y, z :: Integer}
임의의 인스턴스를 작성하는 깔끔한 방법은 다음과 같이 Control.Applicative를 사용의 instance Arbitrary Foo where
arbitrary = Foo <$> arbitrary <*> arbitrary <*> arbit
일부 계산에 대해 빠른 검사를 사용하여 코드를 테스트하고 있습니다. 기본적으로 정확한 함수와 그 근사치는 훨씬 효율적입니다. 나는 현재 내가 같은 테스트하려는 속성을 구현 해요 : prop_blah input = (abs $ (exact input)-(approx input)) < threshold
을하지만 근사 알고리즘의 각이 정확히 얼마나 정확하게