プログラム検証はコンピュータエンジニアリングの一分野であることを理解していますが、実際のコードベースへの実際の適用は、組み合わせ爆発によって制限されています。
また、ソフトウェア変更の設計の一環として、既存のJavaフレームワークを変更する場合は、アルゴリズムのホワイトボックス、境界、およびブラックボックステストについて事前に検討しておくと役立つことも理解しています。（このハンモック主導の開発と呼ぶ人もいます-コーディングする前に考えてください。）
この考えを取り入れてjunitスタイルのテストに組み込むと仮定すると、コンテンツのコンピュータサイエンスの名前は厳密に「ホワイトボックステスト/ファジング」であり、「プログラム検証」を構成するには不十分であると想定しています。
だから私の質問は-junitテスト-ホワイトボックスのファジングまたはプログラムの検証ですか？