مبانی آزمون نرم افزار: نرم افزار آنالیز آزمون، راستی آزمایی