تصحیح بونفرونی به فرآیند تنظیم سطح آلفا (α) برای خانواده ای از آزمون های آماری اشاره دارد تا احتمال ارتکاب خطای نوع I کنترل شود.

منطق بولین یا "جبر بولی" شاخه‌ای از علم جبر (algebra) در ریاضیات است که گزاره‌های آن بر محور سه قید AND، OR و NOT استوار است.

الگوریتم BM25 یکی از الگوریتم‌های محاسبه امتیاز ارتباط (relevance score) است که در زمینه‌ی جستجو و تحلیل داده‌های متنی مورد استفاده قرار می‌گیرد.

یکی از انواع White box Testing می باشد و در حین انجام Unit Testing انجام می شود. در این تست کد با عبور از هر branch کاملا تست می شود تا این اطمینان حاصل شود که برنامه در هر شاخه قابل اجرا و در دسترس است.

این تست یکی از استراتژی های طراحی سوژه ی تست (test case) در Black Box Testing می باشد که رفتار برنامه را در سطوح مرزی بررسی می کند و برای یافتن باگ در مقادیر مرزی انجام می شود.

این تست با توجه به میزان دانشی است که از نرم افزار داریم. و با عنوان های behavioral, eye-to-eye, opaque-box, closed-box, specification based نیز شناخته می شود.

Backward Compatibility که گاهی به آن Backward Compatible ،backwards compatible یا Downward Compatibility نیز گفته می‌شود، به یک سخت‌افزار یا نرم‌افزاری اشاره دارد که بدون هیچ مشکلی می‌تواند از نسخه‌های قدیمی‌تر سیستم و یا سیستم‌های دیگر استفاده کند.

اصطلاح Back Door به هر راه‌کاری که از آن طریق بتوان تمهیدات امنیتی یک نرم‌افزار را دور زد گفته می‌شود.