טכניקות בדיקה של טבלת החלטות + פירוק פונקציונלי של מערכת (עץ בדיקות)