ユニットテストでMockを用いてカバレッジが100%にならない場合は そもそもテストケースが不足しているか無駄なコードが混入しているかのどちらかじゃないかと思う

設計でDbCを採用したらホワイトボックスが不要になると思う と思ったけど限界値テストはいるなー