問題タブ [property-testing]

RGR 手法を使用する場合、プロパティ テストは単体テストと一緒に実行する必要がありますか?

RGR:赤 -> 緑 -> リファクタリング

私が持っている単体テストが 18 ミリ秒で実行されることに気付きました。

ただし、同じメソッドのプロパティ テストには 215 ミリ秒かかります。

したがって、私のプロパティ テストの実行には 1/4 秒かかります。

さらに、これは単純なプロパティ テストの 1 つにすぎません。

プロパティテストを実行するための効果的な方法は何ですか?

チェックインだけ？

私はプロパティ ベースのテストを研究しており、このタイプのテストをブラックジャック ゲームのディール関数にどのように適用できるか興味があります。

これが単体テストです（別名：サンプルベースのテスト）：

プロパティベースのテストの例は何ですか?

• 2 枚のカードが 4 スーツの範囲内にあることをテストしますか? (つまり、スペード、ダイアモンド、ハート、クラブ) 静的型に依存することで、既にそれが保証されているのではないでしょうか?

• 2 枚のカードが数字または面の範囲内にあることをテストしますか? (つまり、2..10;Jack;Queen;King;Ace) 繰り返しますが、静的型に依存することで、すでにそれが保証されているのではないでしょうか?

繰り返しますが、ブラックジャック ゲームのプロパティ ベースのテストを実行する場合、何を考慮する必要がありますか?

E3 を純粋な E4 アプリケーションに移行しています。E3 アプリケーションは、activeWhen-Core 式を propertyTesters と組み合わせて使用​​し、ToolItems をライブで有効化/無効化しました。現在 E4 では、VisibleWhen コア式のみがサポートされています (そうですか?)。

@CanExecute-Annotation でこれを行うか、(非表示の) activeWhen 式がありますか? もしそうなら、この場合に既存のテスターを使用できますか、それとも新しいアプローチを使用する方がよいでしょうか (個々のケースの個別のテストなど)?

具体的には、Semigroup と「Semigroup である」Sum タイプを定義し、ScalaCheck を使用して一般的に Semigroup の Associative プロパティをチェックしようとしています。

最初にこれを Haskell で書きました。なぜなら、これらのことを最初に Haskell 構文で考えてから、Scala に変換する方が簡単だからです。

Haskell では、GHCi で動作する次のコードを書きました。

Scalaでほぼ同等のものを作成しようとしています。これまでのところ、私はあなたが以下に示すものを持っています:

より一般的な、または少なくとも aのArbitraryインスタンスを作成する方法と、型whereの x、y、および z を取ることができるより一般的なものを作成する方法について、具体的な型であることに迷っています。Sum[Numeric]Gen[Sum[Numeric]]semigroupAssocPropSS extends Semigroup[T]T

Scala で書いた Haskell のバージョンに機能をできる限り近づけようとしています。

辛抱強くお読みください。状況を説明するために最善を尽くしました。そうでない場合はコメントしてください -

と言う2つのプラグインがAありBます。両方のプラグインで、コマンドの「and」式を定義しました。「and」式の条件の 1 つは、プロパティをテストすることmypropです。 Aに依存せず、依存しBませBんA。

3 番目のプラグインで定義されたプロパティ テスターがありますC。A、B両方に依存しCます。

そして 4 番目の pluginDでは、 の拡張ポイントorg.eclipse.core.expressions.propertyTestersが定義され、プラグインで定義されたテスターに​​よってテストされるプロパティのリストが定義されますC。

A、Bプラグインにも依存しますD。

Eclipse で奇妙な動作が見られます - プラグイン B によって定義されたパースペクティブがアクティブな場合にのみ、プロパティ テスターmypropが呼び出されます。Bそのため、プラグインがまだアクティブになっていない場合に RCP が起動すると、プロパティ テスターはプロパティmypropをテストせず、 plugin の観点から予期しない値を返しますA。

後で plugin のパースペクティブを表示するBと、プロパティ テスターがテストmypropし、プラグインAが正常に動作し始めます。

質問: プロパティ テスターでプラグインBをアクティブにする必要があるのはなぜですか? プロパティはEclipseフレームワークによってどのように評価されますか?順序はありますか? または実際に質問する必要があります: 特定のプロパティのプロパティ テスターはいつ、どのようにトリガーされますか? それに関するドキュメントはありますか？

私は複合的な、構築するのに費用がかかりますが、テストするのは安価な戦略を持っています。私は実行する必要があります：

サンプルをビルドするのに約 4 秒かかり、アサートを実行するのにかかる時間はごくわずかです。

ベスト プラクティスでは、これらのテストを分離する必要があります。

仮説戦略をどのように組み合わせることができるかは明確ではありません。TestCase.setUp または pytest セッション スコープのフィクスチャ。フィクスチャを装飾することも、で呼び出すx = expensive_strategy(); @given(x)ことも役に立ちません。