Java のアサートに関する Oracle の推奨事項を読みましたが、パブリック事後条件にもアサートを使用する必要があると書かれています ( http://docs.oracle.com/javase/1.4.2/docs/guide/lang/assert.html#postconditions ) .
このアサートを、実際にこのチェックも行う自動テストとどのように組み合わせることができますか?
例: クラス "Stack" の "push" メソッドを呼び出した後、スタックが空ではないかどうかを確認したいとします。アサートを使用でき、テストを使用できます。
ベスト プラクティスはありますか。単体テストといくつかのチェックを追加して両方を実行できますが、とにかく 2 回実行することになりますが、これは良くないようです。
私はすでにこれらの質問を読みました: