Kotest プロパティテスト(Property Testing)

Kotest のプロパティテストは、入力と期待出力を定義し、プロパティを満たす複数の入力を生成してテストする方法である。

Kotest でプロパティテストを実行するために使用される 2 つの関数バリエーションは forAll と checkAll である。

Kotest のジェネレーターは、プロパティベーステストをサポートするために使用されるツールである。

Kotlin のジェネレーターの完全な一覧を紹介する。

Kotest ジェネレーター操作(Generator Operations)として、Next、Filter、Map、FlatMap、Merging、Bind を紹介する。

プロパティテストを実行すると、シード値から作成されたランダムソースを使用して値が生成される。

Kotest の Property Testing 構成について説明する。

プロパティベーステストで最初に見つかった失敗ケースには、実際にテストを失敗させる原因ではない多くの複雑さが含まれていることがある。

ジェネレーターが期待どおりに構成されているかを確認するために、Kotest で生成される値の種類を知りたい場合がある。

一部のプロパティテスト設定は、すべてのプロパティテストに対してグローバルに設定できる。

Kotest は Arrow 用のジェネレーターを提供するオプションモジュールを提供する。

Kotest は KotlinX DateTime 用のジェネレーターを提供するオプションモジュールを提供する。

汎用データ生成のための追加 Arbs を紹介する。

JVM でテストを実行するとき、Kotest はより複雑な Arb を自動生成する機能をサポートする。