تحقق و اعتبار برنامه‌نویسی