يُعتبر فحص النموذج عملية ضرورية في تصميم البرامج، حيث يُمكن على تأكد كفاءة النموذج خلال المعالجة. يحتوي فحص النموذج عدة من اختبارات لتحديد مخرجات النموذج في عدة الحالات. قد تقييم النموذج عن