問題タブ [scalacheck]

プロパティベースのテストスタイルでコードをテストしたいと思います。
私は常に生成するジェネレーターを持っていSome(data)ますが、データがフィルターで除外されることはありません。実行全体で同じデータセットを使用して、たとえば100個のテストを実行したいとします。今、私はこのようにやっていますが、それはあまり慣用的なコードではありません：

クラスPropSpecには独自のメソッドrunAllがあり、これらのプロパティチェックを実行するためにそれを使用する必要があるように思えます。

次のように任意のリストを生成しようとしています。

ここで何が間違っているのか分かりますか？具象型を使用すると、暗黙的なパラメーターを定義しなくても機能します。

これはscala 2.9.2とscalacheck 1.10.0を使用しています

前もって感謝します。

次のような複雑な xsds から生じる scalaxb によって生成された型で scalacheck をどのように利用できるのだろうか。

http://wiki.xmldation.com/@api/deki/files/379/=pain.001.001.03.xsd

実際のドキュメントは支払いに似ており、テストデータを何らかの方法 (アカウント所有者/番号、金額、国) で制限したいと考えています。

テストする実際のコンポーネントは、構文をチェックしてエラー メッセージを生成する xml パーサー、ドキュメントをレコードのようなデータ構造に解析する xml パーサー、そのようなドキュメントを書き込む xml プリンターです。

それは実現可能でしょうか？

maven 内から scalachecks を実行するのに問題があります。たとえば、次の小さな切り取り

次のスタックでダンプを終了します。

これは解決すべき非常に小さなことだと思いますが、junit-runner を使用して scalatest 内で scala-check を実行する完全な例を見つけることができませんでした。

感謝とよろしく

マーカス

RankAndFileチェス盤の正方形を表す 64 個の値を持つ列挙があります。

ScalaCheck を取得したいのですが、Arbitrary[(RankAndFile, RankAndFile)]方法がわかりません。

これまでのところ、私は持っています:

しかし、コンパイラは 2 番目のステートメントでそれがcould not find implicit value for parameter a1: org.scalacheck.Arbitrary[RankAndFile.RankAndFile]. 確かにこれは の型が であるためarbitraryRankAndFileですArbitrary[Gen[RankAndFile]]。

代わりに何を用意すればよいですか？

ScalaCheckの ユーザー ガイドで、これは Scala およびJavaプログラムをテストするためのツールであると読みました。

それはただのマーケティングなのか、それとも Java のみのコードベースをテストするのが妥当な考えなのだろうか? もしそうなら、それをJavaプロジェクトに統合する最良の方法は何ですか?

なにが問題ですか？なぜ人はnullですか？

NullPointerException で失敗します。

ただし、 のval john = Person("john")直前に行を移動すると、この例は機能しproperty("gen1") = ...ます。

どうして？？

アップデート

val johnasを宣言すると、この例は機能しlazyます。lazy val arbPersonそのため、 が の前に実行されているように見えますが、そうであれば、scala コンパイラはそれが定義されていないval johnと言って失敗するはずです。もでもないので、宣言されてインスタンス化されているかどうかのどちらかです。johnjohnvalvar

これについて何か考えはありますか？

PS: スカラ 2.10.3