fscheck

    3

    1答えて

    FsCheckには、テストデータを生成するためのいくつかのきちんとしたデフォルトのArbitraryタイプがあります。しかし、私の試験日のうちの1つが別のものに依存するとどうなりますか?例えば 、結果のストリングが長い入力文字列よりなることはありませんことをstring.Substring()の性質を考慮してください。 [Fact] public void SubstringIsNeverLon

    2

    1答えて

    は、私は次のコードを持っている: var gen = from x in Arb.Generate<int>() from int y in Gen.Choose(5, 10) where x > 5 select new tuple { Fst = x, Snd = y }; をそして私は、私は発電機を構築し、プロパティを定義するためにすべての方法を参照してください Prop.ForA

    1

    1答えて

    背景:( ノーセッター(不変) 1人のコンストラクタ パラメータ名は、プロパティの名前が設定されている一致します 私は、次の規則を満たす多数のコマンドを持っていますケーシング以外) 次のテストを行うテスターを書きたいと思います。 すべての引数が指定されているとすれば、クラスのインスタンスが取得され、すべてのプロパティは渡された値に設定されます。 与えられたパラメータのいずれか1つが型コンストラクタ

    0

    1答えて

    とfscheckに、私はちょうどFsCheckで始まり、少し深く掘るしたかったのですが、私は次のテストケース持っているプロパティを使用:今すぐ [Property] public void some_test(HttpStatusCode httpStatusCode) を、私はどのように行う、故障しているhttpStatusCodeをしたいです私はFsCheckを使ってそれを達成しましたか

    2

    1答えて

    私の検証関数が失敗した場合はsomeのものか、noneかどうかを確認する必要があります。 Some<string>を返した場合は妥当性検査エラーがあり、それ以外の場合は有効で、戻り値はNoneです。 これは私の試みですが、それは安全なリファクタリングていない: [<Property(Arbitrary=[| typeof<Strings.WithLenFrom1To100> |])>]

    4

    1答えて

    a*c?のようなグロブ構文パターンを生成するカスタムArbitraryを実装しようとしています。私は自分の実装が正しいと思います.Xunitでテストを実行すると、FsCheckはテストデータを生成するために任意のカスタムPatternを使用しているようには見えません。 LINQPadを使用すると、すべてが期待通りに機能します。オリジナル:例外を除いてヌルパターン:System.NullRefere

    1

    1答えて

    パターンに一致するランダムな文字列(例えば、abcd)とともにランダムなグロブ構文パターン(例えば、a*c?)を生成するFsCheckジェネレータを書きました。しかし、私の解決策は可変変数を使用しており、私はむしろそれを恥じています。見て:textが可変であることと、その値がループ内に蓄積された方法を open FsCheck type TestData = {Pattern: string;

    3

    2答えて

    私はVisualStudioのFsCheckとNUnitでテストしています。 問題は現在あります:(グラフ機能をテストするための)ランダムグラフを生成することができましたが、テストが失敗した場合、FsCheckはグラフ全体を吐き出し、ToStringを使用しないので、そこには何も見ることができません。 また、検査のための入力グラフだけでなく、プロパティを実行するときに作成するその他のデータも必要で

    3

    1答えて

    私はFsCheckを初めて使いました。テストを実行するにはjsonの配列が必要です。 私は次のようなシンプルなソリューションたい: let commaSeparated = Gen.arrayOf Arb.generate<string> |> Gen.fold(fun (acc,i)-> i+="\",\"") |> Gen.finalValueOf

    7

    1答えて

    FsCheckで以下の動作を実現しようとしています。MyUnion型のインスタンスを生成するジェネレータを作成したいと思います。 -null/empty。 type MyNestedUnion = | X of string | Y of int * string type MyUnion = | A of int * int * string * string