در این پایان نامه به چگونگی ارزیابی برنامهها با استفاده از مجموعه محدود دادههای ورودی- خروجی (0-1) می پردازیم. برای ارزیابی یک برنامه باید متغیرهای بولی آن را ارزیابی کنیم . برنامه را در ابتدا می توان به عنوان جعبه سیاهی به حساب آورد که n ورودی داشته و مطابق با تابعی می باشد که متغیرهای بولی x^ را تولید می کند. به عبارت دیگر هدف این کار تعیین توابع تولید کننده x^ است. که با انتخاب چند مجموعه ورودی برای جعبه سیاه و بررسی خروجی شان می توان آن ها را مشخص کرد. این پایان نامه روش ارزیابی موثری از توابع یا عملگرهای بولی را نشان می دهد و کار مربوطه را شناسایی می کند. البته برای تعداد جفت 0-1 مورد نیاز برای ساخت مجدد برنامه محدودیت قائل است. این کار براساس «ژاکوبین های مجزایی است که از جفت های انتخاب شده 0-1 محاسبه شده اند.» در آخر نشان داده ایم که این ارزیابی را می توانیم برای برنامه هایی که متغیرهایشان اعداد صحیح هستند نیز به کار بریم. نتایج نشان می دهند که اگر هر تابع بولی شامل چند متغیر باشد، مجموعه محدود از جفت های 0-1 برای ارزیابی برنامه کافی است. این نتایج مورد توجه مهندسی معکوس شبکه های ژنتیک در آزمایشات بیولوژیکی می باشند.