property based testingの話まとめ #関数型Scala

<a href="http://connpass.com/event/16052/">関数型Scalaの集い (2015/07/25 13:00〜)</a>connpass.com

Property Based Testing - scalapropsとscalacheckとその他色々

内容

property based testing と scalacheckの説明
scalacheckその不満点
scalaprops
Haskellの、その他様々な使い方の紹介

<a href="https://github.com/scalaprops">scalaprops</a>github.com

http://scalatest.org/user_guide/property_based_testing

Property = 性質
テストデータを半自動生成
証明と普通のテストの中間のような?
半自動 vs 全自動は後述

QuickCheck: Automatic testing of Haskell programs | Hackage

ScalaCheck: The Definitive Guide (English Edition)

作者: Rickard Nilsson
出版社/メーカー: Artima Press
発売日: 2014/11/06
メディア: Kindle版
この商品を含むブログを見る

Scalacheckとは

古くからある
specs2とかscalatestとかと組み合わせられる
本体のテストにも使われる
Scala界隈唯一のProperty Based Testのライブラリ
D社でも使っていて、jsonやmsgpackのシリアライズやデシリアライズなどで
scalacheckのテストの書き方の例

forAll { l: List[String] =>
  l.reverse.reverse == l
}

事前に関数を定義しておけば、任意の型の値が生成可能
List[String] は半自動で生成

Scalacheckがあるんだけど、不満があったので再発明したくなった

ScalazでもScalacheckをつかっている
誰よりもScalacheckぽい

不満

CoArbitraryがない
巨大な値を生成してしまうことがあり、テストが終わらないときの対策
seedを指定してランダムだけど予測可能なテスト
GenとArbitraryがあまり意味ない
ScalazのTypeclassの階層と重複テスト
型クラスの階層があって、テストが重複しちゃう場合があったりする

<a href="http://d.hatena.ne.jp/xuwei/20150121/1421851298">CoArbitraryとScalacheck - scalaとか・・・</a>d.hatena.ne.jp

Arbitraryとは

ランダムな値を生成するための型クラス(Haskellは型クラス Scalaは型クラスをデータとしても扱える Arbitrary自体がScalaの場合はMonad)

CoArbitrary

関数自体の値をランダムに自動生成するために使うもの(何を言っているのかわからん)

class CoArbitrary a where
  coarbitrary :: a -> Gen b -> Gen b

StateMonadぽい

abstract class Cogen[A] {
  def cogen[B](a: A, g: CogenState[B]): CogenState[B]
}

case class CogenState[A](rand: Rand, gen: Gen[A])

Scalapropsの機能

CoAbitrary(Cogen)実装完了
タイムアウトとパラメータの細かい指定機能つけた
seed指定可能機能ついた
重複テスト回避

<a href="https://github.com/scalaprops/scalaprops-examples">scalaprops/scalaprops-examples</a>github.com

<a href="https://github.com/scalaz/scalaz/tree/v7.1.3/scalacheck-binding/src/main/scala/scalaz/scalacheck">scalaz/scalaz</a>github.com

出来る限りすべてのscalazのデフォルトのGenやCogenのインスタンスも組み込み→Gen.scalaがものすごく大きなプログラムとなってしまった

tab補完のきくsbt plugin

ここから本題

課題→Property Based Testingとは何か

いろいろなケースをテスト
見つけたバグがわかりやすくあるべきShrinking
関数の扱い