0

私はプロパティ ベースのテストを研究しており、このタイプのテストをブラックジャック ゲームのディール関数にどのように適用できるか興味があります。

これが単体テストです（別名：サンプルベースのテスト）：

[<Test>]
let ``deal two cards`` () =
    let hand = 2
    let dealPlayer cardCount = 
        [for i in [1..cardCount] -> shuffleDeck.Pop] 
        |> Seq.toList

    (dealPlayer hand).Length |> should equal (2)

プロパティベースのテストの例は何ですか?

  • 2 枚のカードが 4 スーツの範囲内にあることをテストしますか? (つまり、スペード、ダイアモンド、ハート、クラブ) 静的型に依存することで、既にそれが保証されているのではないでしょうか?

  • 2 枚のカードが数字または面の範囲内にあることをテストしますか? (つまり、2..10;Jack;Queen;King;Ace) 繰り返しますが、静的型に依存することで、すでにそれが保証されているのではないでしょうか?

繰り返しますが、ブラックジャック ゲームのプロパティ ベースのテストを実行する場合、何を考慮する必要がありますか?

4

1 に答える 1