リポジトリ クラスへのインターフェイスのコンストラクター パラメーターを受け取るユーティリティ クラスがあります。これは、クラスのプライベート フィールドに割り当てられます。クラスのさまざまなメソッドで、このインターフェイス private を参照して処理を行います。
次に、このクラスに対して Pex を実行したところ、null 参照例外のヒープ全体がスローされています。これを調査したところ、PexAssumeNotNull という名前の属性が見つかりました。この agsint をコンストラクタ パラメータとプライベート フィールドに配置して、この問題を回避しようとしました。また、null がコンストラクターに渡されたときに ArgumentNullException 例外をスローするコンストラクターに null チェックを追加しました。
このクラスで Pex Explorations を再実行しましたが、まだ null 参照例外が発生しています。
私の質問は、これらの例外を取得しないために何をする必要があるのですか? pex テスト クラスを再作成する必要がありますか? その場合、どうすればよいですか?