fscheck

3열

3답변

다음 줄은 컴파일러에 의해 허용됩니다 : input |> Prop.forAll (fun (a , b) -> add a b = add b a) Type mismatch. Expecting a Arbitrary -> 'a but given a ('b -> 'c) -> Property The type 'Arbitrary' does not match the t

3열

1답변

2 개의 임의 인스턴스를 결합하여 테스트 메소드 서명과 일치시키는 방법

테스트를 위해 두 개의 실제 매개 변수를 가져야하는 함수가 있습니다. 두 값은 임의적 인 인스턴스에 의해 만들어지며, 이는 완전히 자의적이지 않은 형식이어야합니다. 그들은 시험 방법의 서명과 일치하도록하는 2 개 임의의 인스턴스를 그래서 나는 다음과 같은 코드 let updating (x:SomeType) (y:SomeOtherType) = let

1열

1답변

모델 기반 테스트 작동을 얻을 수 없습니다.

연습으로 2-3 손가락 트리를 구현하고 싶습니다. 그것은 FsCheck의 모델 기반 테스팅을 시험해 볼 수있는 완벽한 기회 여야합니다. 나는 더 새로운 것을 시도하기로 결정했다 experimental version. 지금까지 나는 테스트 머신에 대해 하나의 명령만을 코딩했습니다. 왜냐하면 나는 이미 그 작업을하는데 실패했기 때문입니다. 전체 코드는 GitH

5열

1답변

FsCheck를 사용하여 속성 기반 테스트의 입력으로 임의의 숫자를 생성하는 방법

FsCheck를 시험 할 때라고 생각했지만 생각보다 어렵습니다. Arb, 발전기 등에 대한 많은 문서가 있지만 그 지식을 적용하는 방법에 대한 지침이없는 것 같습니다. 또는 나는 그것을 얻지 않고있다. 테스트, 속성, 생성자, 중재자, 축소 및 내 경우에는 임의성 (일부 테스트에서는 자동으로 임의의 데이터가 생성되고 다른 일부는 자동으로 생성되지 않음) 사

2열

1답변

FU에서 xUnit 및 FsCheck가있는 메소드로 예외가 던져 졌는지 확인하는 방법

xUnit 및 FsCheck를 사용하여 F #에서 작성된 테스트를 사용하여 C#에서 다이아몬드 카타를 수행하고 있으며 확인하려고 할 때 약간의 문제가 있습니다. 유저가 무효 인 입력 (임의의 발음 구별없이 알파벳 문자가 아닌 임의의 문자)의 경우에 예외가 Throw되는 경우 테스트중인 방법을 : 다음은 코드가 지금과 같은 방법 public static st

2열

1답변

F # 구문을 사용하여 특성 매개 변수로 Type을 전달하는 방법은 무엇입니까?

FsCheck는 NUnit과 통합에 사용자 정의 Arbitrary 수 있습니다 : [<Property(Verbose = true, Arbitrary= [typeof<Test.Arithmetic.MyArb>])>] static member MultiplyIdentity (x: int64) = x * 1 = x 이 구문은 작동하지 않습니다. 나는 약간 부

5열

1답변

F #에서 nan 값에 대한 속성 테스트의 간결하고 일반적인 방법은 무엇입니까?

FsCheck를 사용하여 F #에서 일부 속성 테스트를 수행하고 있습니다. 따라서 입력 인수에 관계없이 특정 조건이 항상 유지되도록 보장하고자합니다. 나는 float 값에 대해 사소한 신원 기능을 정의한다고 생각해보십시오. let floatId (x : float) = x 그때 난 항상 보유해야 알이 기능의 테스트 정의 : let ``floatId re

1열

1답변

C# FsCheck에서 람다 식을 변환 할 수 없습니다.

임의의 문자열로 초기화되는 명령 을 생성하기 위해 C# FsCheck 생성기를 얻으려고합니다. public Gen<Command<A,B>> Next(B value) { var gen1 = Arb.Default.String().Generator; var gen2 = Gen.two(gen1); var gen3 = gen2.selec

1열

1답변

다른 생성 된 값의 요소로 값이 반영되도록 값을 생성하려면 어떻게해야합니까?

다른 생성 된 값의 요소로 반영되도록 값을 생성하려면 어떻게해야합니까? 예를 들어 다음과 같은 코드를 가지고 : type Space = | Occupied of Piece | Available of Coordinate // Setup let pieceGen = Arb.generate<Piece> let destinationGen

2열

1답변

안녕하세요 <code>xunit.runner.console</code>와 <code>FsCheck.Xunit</code> 테스트를 실행하려고하고 다음과 같은 예외를 얻고있다 xUnit의

와 FsCheck를 실행하는 방법 : 나는 Mark Seemann's talk을 따르도록 노력하고 Kata.TennisProperties.Given advantaged player when advantaged player wins score is correct [FAIL] System.Reflection.TargetInvocationExceptio