この記事3行まとめ

androidでPBTをしたい！！
kotestは依存がでかすぎるんじゃ！！
いいライブラリみつからないねぇ・・・・

PBT(Property Based Testing)とは

PBTとは自動テストの手法の一つでシステムのあるべき挙動を満たす条件（Property）を定義し、その条件を満たすであろう入力をランダムに自動生成し実行することで想定していない挙動をしないかどうか検証する手法です。
従来のテスト手法ではテストケースを事前に手動で作成する必要があり、テストケースを網羅的に作成することは大変です。
PBTではテストケースを自動生成するため、テストケースの作成にかかる工数と時間を削減することができます。また、ランダムな入力を生成するため、想定していない入力によるバグを検出しやすくなります。

メリット

テストケースの作成にかかる工数と時間を削減できる
想定していない入力によるバグを検出しやすくなる

デメリット

プロパティの定義が難しい
- テスト対象のシステムのあるべき挙動を満たす条件（プロパティ）を定義する必要がある
- プロパティを適切に定義できなければ、想定していない入力によるバグを検出できない可能性がある
テストの実行時間が長くなることがある
- ランダムな入力を生成するため、テストの実行時間が長くなることがある
想定外の入力によるバグを検出できないことがある
- プロパティを満たす入力を生成するため、想定外の入力によるバグを検出できない可能性がある

android = Kotlin + JUnit4

要件

JUnit4でうごくこと
1. androidのテストをJUnit5で動かすのはあれこれ設定がめんどい
2. composeやDaggerのテストなどはJUnit4向けに実装されている
KotlinフレンドリーなAPIであること
1. androidの第一言語はKotlinなので
なるべくPrimitiveなテストをかけること
1. Testingライブラリへの依存がでかいとTestingライブラリのバグがあった際が大変
(Optional) Robolectric環境下でも動くこと