fscheck

1熱

1答えて

値を生成して別の生成値の要素として反映させるにはどうすればよいですか？たとえば、次のコードを取る： type Space = | Occupied of Piece | Available of Coordinate // Setup let pieceGen = Arb.generate<Piece> let destinationGen = Arb.genera

2熱

1答えて

プロパティベースのテストスイートに設定を適用するにはどうすればよいですか？

プロパティベースのテストスイートに設定を適用するにはどうすればよいですか？は、私は次のことを試してみました： let config = { Config.Quick with MaxTest = 10000 QuietOnSuccess = true } [<Property(Config=config)>] // Doesn't work because "Conf

3熱

1答えて

2つの任意のインスタンスを組み合わせてテストメソッドのシグネチャに一致させる方法

私はテストのために2つの実際のパラメータを取得する関数を持っています。両方の値は、任意のインスタンスによって作成されるものであり、完全に恣意的ではない形式のものである必要があります。は、だから私は、次のコード let updating (x:SomeType) (y:SomeOtherType) = let result = update x y result.somePr

2熱

1答えて

プロパティベースのテストを実行するとき、テスト入力に条件を設定するにはどうすればよいですか？

プロパティベースのテストを実行するとき、テスト入力に条件を設定するにはどうすればよいですか？私はint型を必要とするときたとえば、次のコードは、boolsを生成します。 Gen.map (fun v -> v > 0) はここで機能だ： [<Property(QuietOnSuccess = true)>] let ``number of cells in grid equals rowc

4熱

1答えて

プロパティベースのテストを実装する際に、前提条件式より入力ジェネレータを使用する必要があるのはいつですか？

プロパティベースのテストを実装する場合、入力ジェネレータを前提条件式で使用する必要がありますか？特定のオプションを選択する際にパフォーマンスに関する考慮事項はありますか？内部的には、一方のメソッドは必然的に他方のメソッドを使用しますか？前提条件の式が入力ジェネレータと比較して実行に時間がかかると思います。誰かがこれをテストしましたか？私たちはなぜ両方必要でしょうか？

1熱

1答えて

FsCheckのスピードアップ任意の世代

私はいくつかのジェネレータと任意の書き込みを行っていますが、遅すぎます（GC番号も参照）。私は自分のコードに誤りがあると思うが、どこにあるのか分からない。または私のアプローチ（map2 (fold)）は "奇妙"ですか？ジェネレータ： type Generators() = static let notAllowed = Array.append [| '0'..'9' |] [|

5熱

1答えて

F＃のナノ値に対するプロパティテストの簡潔で一般的な方法は何ですか？

FsCheckを使用してF＃でいくつかのプロパティテストを行っています。したがって、私は、入力引数にかかわらず、一定の条件が常に成立することを保証したいと考えています。私はfloatの値に対して簡単な同一性関数を定義することを考えてください。 let floatId (x : float) = x 私はその後、私は常に保持する必要があります知っているこの機能のテスト定義：これは些細なテストで