Оё метавонед шарҳи равандро дар таҳияи нармафзор тавзеҳ диҳед?

Таҳқиқи дар таҳияи нармафзор равандест, ки дар он санҷида мешавад, ки оё маҳсулот ба талабот ва спецификацияҳои муайяншуда ҷавобгост. Он ба суол ҷавоб медиҳад: «Мо маҳсулотро дуруст месозем?» — яъне, дурустии татбиқро дар сатҳи тарҳ, код ва ҳуҷҷатгузорӣ месанҷад.

Масаланҳои таҳқиқ:

• Баррасии код
• Таҳлили статикӣ
• Санҷишҳои воҳидӣ
• Нозирот ва walkthrough-ҳо

Таҳқиқ аз тасдиқ фарқ мекунад, ки он тафтиш мекунад, ки оё маҳсулот ба интизору эҳтиёҷоти корбар ҷавобгост («Маҳсулот дуруст аст?»).