property-based-testing

0熱

1答えて

私はファイルに名前のセットを持っています。私はそれらを継続的に反復するGeneratorを実装する必要があります。ただし、コードは最初のパスの後に無制限にif (iter.hasNext)にぶら下がっています。ジェンコード var asStream = getClass.getResourceAsStream("/firstnames/female/en_US_sample.txt") va

1熱

1答えて

FsCheckジェネレータのリストを単一の値に累積する方法は？

パターンに一致するランダムな文字列（例えば、abcd）とともにランダムなグロブ構文パターン（例えば、a*c?）を生成するFsCheckジェネレータを書きました。しかし、私の解決策は可変変数を使用しており、私はむしろそれを恥じています。見て：textが可変であることと、その値がループ内に蓄積された方法を open FsCheck type TestData = {Pattern: string;

1熱

1答えて

QuickTheories：リストからジェネレータを作成する方法

JavaライブラリQuickTheoriesを使用すると、値リストからジェネレータを作成する組み込み方法がありますか？以下のような何か： public Gen<A> fromList(List<A> xs) { .... } 独自のローリングはそれほど悪くはありませんが、車輪の再発明のように思える： List<TimeZone> timeZones = Arrays.stream

0熱

1答えて

Scala：プロパティベースのテスト：テストを書くときのnecssaryのテストケースをすべて知る方法

私はScala言語を使ってProperty based testingについて読んでいます。このスライドでは、この概念を提示しています。関数a+bを証明するためには、真です。私達はちょうどのみのステートメントは、ランダムなデータで満たされていることを証明します + B = B + + 0が + 1 + 1 = A + 2 を= 私の質問は、テストケースが十分であることを確認するための方法論で、さま

5熱

1答えて

プロパティベースのテストの入力としてFsCheckを使用して乱数を生成する方法

FsCheckを試してみる時間だと思っていましたが、思っていた以上に厳しいものになりました。 Arb、ジェネレータなどに関する多くのドキュメントがありますが、その知識をどのように適用するかについてのガイダンスはないようです。または私はそれを得ていないだけです。テスト、プロパティ、ジェネレータ、仲裁人、縮小、そして私の場合はランダム性（いくつかのテストでは自動的にランダムなデータが生成されますが、

3熱

1答えて

再帰的なデータ構造のテスト

ScalaCheck: The Definitive Guideは、再帰的なデータ構造のためのジェネレータの作成方法を説明しています。まず、それはデータ構造を定義： trait Tree[T] { def size: Int } case class Leaf[T](item: T) extends Tree[T] { def size = 1 } case clas

1熱

1答えて

ScalaCheckは失敗していませんか？

ScalaCheckでScalaTestを使用してプロパティベースのテストを実行しようとしています。今、私が見ている私は、何度もPropSpec1でテストを実行し続ける場合、時には第二の試験は合格ということですが、それが失敗したほとんどの時間 import org.scalatest.prop.PropertyChecks import org.scalatest.{FlatSpec, Matc

3熱

1答えて

FsCheck：他のテストデータに依存するテストデータの生成方法？

FsCheckには、テストデータを生成するためのいくつかのきちんとしたデフォルトのArbitraryタイプがあります。しかし、私の試験日のうちの1つが別のものに依存するとどうなりますか？例えば、結果のストリングが長い入力文字列よりなることはありませんことをstring.Substring()の性質を考慮してください。 [Fact] public void SubstringIsNeverLon