Validation(اعتبارسنجی) و Verification(راستی آزمایی) حوزهای از مهندسی نرمافزار است که از مراحل اولیه توسعه برنامه به شمار میآید، و یکی از شناخته شدهترین نواحی آن تست کردن است. تست، سَمتِ پویای اعتبارسنجی و راستی آزمایی(V & V) است که با سایر تکنیکهای رسمی مهندسی نرمافزار تکمیل شده است. بنابراین راستی آزمایی استاتیک(در متدهای رسمی سنتی یا Traditional خوانده میشود) با چک کردن مدل و سایر تکنیکها پیوند خورده است. کتاب Verification, Validation and Testing in Software Engineering، پوشش کاملی روی بسیاری از تکنیکهای رسمی و نیمه رسمی V & V ارائه میدهد. این کتاب، کاربردهای متفاوتی در V & V که توسعه نرمافزار در حوزههای زیادی که به تکنیکهای v & V احتیاج دارند را در بر میگیرد(مانند اپلیکیشنهای Real Time) را کاوش کرده، تشریح کرده، و مثالهایی در آن راستا ارائه میدهد.