quickcheck

17열

1답변

하스켈에서 부분 집합 합계 문제에 대한 해결책을 찾기위한 알고리즘을 작성했습니다. 서명은 subsetSum :: (Ord a, Num a) => [a] -> a -> Maybe [a] 입니다. QuickCheck는이를 테스트하는 데 적합합니다. prop_sumEqualsS l s = case subsetSum l s of Just so

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가 가지고 있다는 것을 알고 있습니다. 내 노드 앱을 coffeescript로 작성하고 빠른 체크를 적용하면 효과가 있을지 확실하지 않습니다. http://en.wikipedia.org/wiki/Quick_check

7열

1답변

빠른 검사를 사용하여 입력을 생성하여 파섹 파서 테스트

파섹 파서 제품군에 대한 테스트를 작성하고 싶습니다. 여기에 내가 QuickCheck으로 테스트 할 파서의 간단한 예입니다 : 그래서 identifier = do c <- letter cs <- many (alphaNum <|> oneOf identSymbols) skipSpaces return $ Ident $ c:cs

8열

2답변

자동으로

이 quickCheck의 팬이기 때문에 모든 quickChecks, 나는 내 프로그램을 통해 prop_something_something = ... 을 많이 가지고 수집합니다. 편의를 위해 , 쉽게 그들 모두를 실행하는, 내가 runchecks = do quickCheck prop_something_something quickCheck

2열

1답변

Data.List.Vector를 임의의 멤버로 쉽게 만드는 방법은 무엇입니까?

내 프로그램에서 Data.List.Vector를 사용 중입니다. 이제 quickCheck를 사용하고 싶습니다. 그러나, 거기에 대한 인스턴스가 없습니다. 이미 [더블]에 대한 임의의가 있기 때문에, 나는 내가 좋아하는 일을 할 수 있다고 생각 instance Arbitrary V.Vector Double where arbitrary = V.from

3열

3답변

QuickCheck를 이용한 Haskell 행렬 테스트

Haskell에서 Matrix 모듈을 만들고 QuickCheck를 사용하여 코드의 일부 속성을 테스트하고 싶습니다. 특히 역행렬이있는 임의의 행렬을 생성하려고합니다. 다음은 그러한 행렬을 생성하는 QuickCheck 생성기를 작성하려는 시도입니다. invertibleMatrix :: (Num a, Arbitrary a) => Gen (Matrix a) i

0열

1답변

임의의 인스턴스를 사용하여 트리플 (Network.HTTP.ResponseCode)을 생성하십시오.

Network.HTTP에서 ResponseCode를 사용하는 함수가 있습니다. QuickCheck로 테스트하기 위해 ResponseCode에 임의의 인스턴스를 작성하려고했습니다. (당신이 모를 경우에, ResponseCode는 그 라이브러리에있는 int의 3 배에 불과하다 : type ResponseCode = (Int, Int, Int)). 그래서 나는

9열

2답변

QuickCheck와 함께 사용할 임의의 모나드 버전이 있습니까?

QuickCheck을 사용하여 순수 코드를 테스트하려는 경우 종종 Arbitrary 인스턴스를 작성해야합니다. 모나드 코드를 테스트하려면이 article에 설명 된대로 Test.QuickCheck.Monadic을 사용할 수 있습니다. 내 질문은입니다. 모나드 컨텍스트에 따라 데이터를 생성 할 수있는 표준적인 방법이 있습니까? 특히 임의의 모나드 버전이 있습

16열

7답변

.Net 용 Ploeh의 AutoFixture에 대한 Java 대안이 있습니까?

닷넷의 AutoFixture와 비슷한 anonymous variables (변수 값은 신경 쓰지 않습니다)을 만드는 Java 도구를 찾고 있습니다. 다음은 AutoFixture's readme에 대한 링크입니다.이 링크는 기능에 대한 좋은 예입니다. 여기 짧은 예를 들어이 같은 추가 정보에서 가져온 것입니다 : [TestMethod] public void