scalacheck

16熱

1答えて

は、カテゴリの次の定義を考えてみましょう： trait Category[~>[_, _]] { def id[A]: A ~> A def compose[A, B, C](f: A ~> B)(g: B ~> C): A ~> C } はここで単項関数のインスタンスです：今 object Category { implicit def fCat = new

4熱

1答えて

単純な暗黙的な仲裁を定義する

私はタイプFooで、コンストラクタはIntです。 scalachckでFooを使用するためにimplicitArbitraryを定義するにはどうすればよいですか？ implicit def arbFoo: Arbitrary[Foo] = ??? 私は、次の解決策を考え出したが、それは私の好みのために少しも「手動」と低レベルです：理想的には val fooGen = for (i <- Gen

1熱

1答えて

scalacheckにquickcheckを追加する機能はありますか？

すべてscalacheckのものは言う：が進化しているのでだから、HaskellのQuickCheckでを見つけていない機能が拡張されて、これらの機能は何ですか？

8熱

1答えて

ScalaCheckのArbitraryを取得する方法は、常に特殊な大文字と小文字の値を生成しますか？

私のすべてのプロパティは、いくつかのランダムな値に加えて、少なくとも固定された特殊な値でテストされるようにしたいと思います。私はジェネレータの種類を使用してすべてのテストではなく、私のジェネレータの仕様でこれを定義したいと思います。たとえば、私がIntsを生成していた場合は、ジェネレータが各テストケースごとに常に少なくとも0,1、-1を生成するようにしたいと思います。これは可能ですか？私がこれま

2熱

4答えて

scalacheckを使って任意の（正式な）Unicode文字を生成していますか？

私はscalacheck 1.6.6とspecs 1.7（scala 2.8.1）で、（ゼロでない長さの）有効なUnicode文字列を生成するジェネレータを作成しようとしています。私は同じように発電機を作成することができ期待し：その後のようなスペックからそれらを使用して... object Generators { def unicodeChar: Gen[Char] = c

3熱

1答えて

Mavenを使ってspecs + scalacheckからかなりの出力を得るには？私はIDEAとスペック+ Scalacheckテストを実行すると

、私は素敵なきれいな出力を得る：達人で実行する私のテストを得るために Specification "CoreSpec" The core grammar should + parse any encoded string + fail to parse an empty encoded string + parse an expected empty str

21熱

1答えて

java.lang.IncompatibleClassChangeError：ScalaCheckとScalaTestを使用したクラスの実装

ScalaCheckとScalaTestを使用してテストを書くときに厄介な例外に直面しています。ここに私の依存関係があります： libraryDependencies ++= Seq( "org.scalatest" %% "scalatest" % "2.2.6" % "test", "org.scalacheck" %% "scalacheck" % "1.13.0" % "

14熱

3答えて

ScalaCheckテストを確定的にする

私のspecs2テストスイートでScalaCheckプロパティテストを一時的に行い、デバッグを容易にしたいと考えています。現在、テストスイートを再実行するたびに異なる値が生成される可能性があります。これは、観察された動作の変更がコードの変更に起因するのか、別のデータの生成によるものなのかわからないためです。どうすればいいですか？ ScalaCheckで使用されるランダムなシードを設定する正式な方

1熱

2答えて

内部でScalaCheckジェネレータを使用する方法はありますか？

ScalaCheckジェネレータは、表現のためのScalaの中でシンタックスシュガーで作業： for(s1 <- Gen.choose(1, 10); s2 <- Gen.choose(10, 100)) yield (s1, s2) 私はScalaCheck式で表現するための「伝統的な」スカラを混在できるようにしたいと思います。たとえば：0 until 10式はGenのタイプではないので、