■ はじめに
https://dk521123.hatenablog.com/entry/2023/03/27/001306
https://dk521123.hatenablog.com/entry/2023/03/28/003906
の続き。 今回は、ScalaTest + ScalaCheck (org.scalatestplus) を使って プロパティベーステスト (Property Based Testing; PBT)をしてみる
目次
【０】プロパティベーステスト 【１】ScalaCheck 【２】初期設定 【３】サンプル
【０】プロパティベーステスト
* ランダム値を生成し、それに対してテストを行うことで、 テスト対象コードの満たすべき性質を検証するテスト手法
【１】ScalaCheck
* Scalaのプロパティベーステストツール => とりあえず、今は、データ型に応じてテストケースを 自動で生成してくれるライブラリみたいに捉える * ScalaCheck 単体でもテストフレームワークとしての機能はある
【２】初期設定
libraryDependencies ++= Seq( "org.scalatestplus" %% "scalacheck-1-17" % "3.2.15.0" % "test", "org.scalatest" %% "scalatest" % "3.2.15" % "test" )
https://www.scalatest.org/user_guide/property_based_testing
https://mvnrepository.com/artifact/org.scalatestplus/scalacheck-1-17
【３】サンプル
https://www.scalatest.org/user_guide/generator_driven_property_checks
import org.scalatest.funspec.AnyFunSpec import org.scalatestplus.scalacheck.ScalaCheckPropertyChecks // テスト対象のクラス class Fraction(n: Int, d: Int) { require(d != 0) require(d != Integer.MIN_VALUE) require(n != Integer.MIN_VALUE) val number = if (d < 0) -1 * n else n val denom = d.abs override def toString = number + " / " + denom } // you must mix in trait org.scalatestplus.scalacheck.ScalaCheckPropertyChecks // (previously known as org.scalatest.props.PropertyChecks) class HelloTest extends AnyFunSpec with ScalaCheckPropertyChecks { describe("For Hello World Test") { it ("For PBT with ScalaCheck") { // forAll ：ランダムに値を生成してくれる forAll { (n: Int, d: Int) => // wheneverで指定した以外の値でテストしてくれる whenever (d != 0 && d != Integer.MIN_VALUE && n != Integer.MIN_VALUE) { // ★実験：後述「補足：forAll からのテスト値」を参照 // println(s"n=${n}, d=${d}") // テスト対象クラスをNew val target = new Fraction(n, d) if (n < 0 && d < 0 || n > 0 && d > 0) { assert(target.number > 0) } else if (n != 0) { assert(target.number < 0) } else { assert(target.number === 0) } assert(target.denom > 0) } } } } }
補足：forAll からのテスト値
* 出力してみたら、↓みたいな感じで自動生成してテストしてくれる n=-598548508, d=-1 n=-963303062, d=-831083178 n=-831083178, d=2147483647 n=2147483647, d=-672235232 n=0, d=806279986 n=806279986, d=-1 n=-1, d=6057460 n=6057460, d=1721800716 n=0, d=-1385432617 n=0, d=1
参考文献
https://dev.classmethod.jp/articles/introduction-to-scala-property-based-testing/
https://dev.classmethod.jp/articles/gen-for-localdatetime-by-scalacheck/
関連記事
Scala ～ テスティングフレームワーク ～
https://dk521123.hatenablog.com/entry/2024/06/07/183708
ScalaTest ～ 入門編 ～
https://dk521123.hatenablog.com/entry/2023/03/27/001306
ScalaTest ～ 基本編 ～
https://dk521123.hatenablog.com/entry/2023/03/28/003906
ScalaTest ～ with Mockito ～
https://dk521123.hatenablog.com/entry/2023/03/31/002830
Scala ～ 環境構築編 ～
https://dk521123.hatenablog.com/entry/2023/03/10/193805
Scala ～ 入門編 ～
https://dk521123.hatenablog.com/entry/2023/03/12/184331
Scala ～ 基本編 / 繰り返し ～
https://dk521123.hatenablog.com/entry/2023/01/24/000000
Scala ～ 基本編 / Option型 ～
https://dk521123.hatenablog.com/entry/2023/03/09/000000
Scala ～ 基本編 / メソッド ～
https://dk521123.hatenablog.com/entry/2023/03/03/000000
Scala ～ 基本編 / クラス ～
https://dk521123.hatenablog.com/entry/2023/03/14/000857
Scala ～ 基本編 / コレクション ～
https://dk521123.hatenablog.com/entry/2023/03/13/000345
Scala ～ 基本編 / 日付・日時 ～
https://dk521123.hatenablog.com/entry/2023/03/08/000000
Scala ～ 基本編 / 正規表現 ～
https://dk521123.hatenablog.com/entry/2023/03/18/034704
Scala ～ 基本編 / ジェネリック
https://dk521123.hatenablog.com/entry/2023/03/21/003817
Scala ～ Enum ～
https://dk521123.hatenablog.com/entry/2023/01/05/000000
Scala ～ ファイル名・パスの扱い ～
https://dk521123.hatenablog.com/entry/2023/03/11/000000
Scala ～ ファイルハンドリング ～
https://dk521123.hatenablog.com/entry/2023/01/03/000000
Scala ～ YAML ～
https://dk521123.hatenablog.com/entry/2023/03/16/012034
Scala ～ JDBC / DB接続 ～
https://dk521123.hatenablog.com/entry/2023/03/26/000950
Scala ～ AWS SDK ～
https://dk521123.hatenablog.com/entry/2023/03/24/211033
SBT ～ 入門編 ～
https://dk521123.hatenablog.com/entry/2023/03/22/000000
SBT ～ 基本編 / build.sbt ～
https://dk521123.hatenablog.com/entry/2023/01/27/000000
SBT ～ 基本編 / sbtコマンド ～
https://dk521123.hatenablog.com/entry/2023/01/26/000000
SBT ～ sbtプラグイン ～
https://dk521123.hatenablog.com/entry/2023/01/25/000000
JavaでEmail ～ JavaMail / Text ～
https://dk521123.hatenablog.com/entry/2016/07/16/222422
JavaでEmail ～ JavaMail / 添付ファイル ～
https://dk521123.hatenablog.com/entry/2016/07/17/023459
JavaでEmail ～ SMTP認証 ～
https://dk521123.hatenablog.com/entry/2016/11/07/215251
JavaでEmail ～ SMTP認証 / DIGEST-MD5 ～
https://dk521123.hatenablog.com/entry/2016/12/07/222229
JavaでEmail ～ JavaMail / TLS ～
https://dk521123.hatenablog.com/entry/2017/05/03/163219
JavaでEmail ～ JavaMail / Return-Path・Errors-To ～
https://dk521123.hatenablog.com/entry/2017/05/07/000344
Amazon SES ～ 入門編 ～
https://dk521123.hatenablog.com/entry/2017/04/28/234103
Amazon S3 ～ Boto3編 ～
https://dk521123.hatenablog.com/entry/2019/10/21/230004
Amazon S3 ～ Boto3でファイル存在チェック ～
https://dk521123.hatenablog.com/entry/2022/02/26/182526
AWS Glue ～ Scalaでの実装 ～
https://dk521123.hatenablog.com/entry/2023/03/17/000000
AWS Glue ～ ローカル環境を作成する / Glue v3.0版 ～
https://dk521123.hatenablog.com/entry/2022/01/31/165650
LocalStack ～ ローカルで疑似AWSを作成する ～
https://dk521123.hatenablog.com/entry/2019/12/14/010524
LocalStack ～ ローカルで疑似Lambda/S3/DynamoDBを作成する ～
https://dk521123.hatenablog.com/entry/2019/12/16/231149
SparkからSnowflakeへの接続について考える
https://dk521123.hatenablog.com/entry/2023/03/19/013833
Mockito ～ 入門編 ～
https://dk521123.hatenablog.com/entry/2014/07/18/233904
Mockito ～ 基本編 ～
https://dk521123.hatenablog.com/entry/2014/07/19/121409
EasyMock ～入門編～
https://dk521123.hatenablog.com/entry/2010/01/28/234207
