Bohrbug: چیست، علل بروز و روش‌های رفع آن

Bohrbug چیست؟

Bohrbug — نوعی خطای برنامه‌نویسی است که به صورت قطعی ظاهر می‌شود: با داده‌های ورودی یکسان، همیشه به یک خرابی منجر می‌شود. این اصطلاح توسط محققان جیم گری و آندریاس روتر در کتاب «Transaction Processing: Concepts and Techniques» (1993) وارد گردش علمی شد.

بر خلاف Mandelbug که رفتار خود را به طور آشوب‌گونه تغییر می‌دهد، Bohrbug پایدار است: توسعه‌دهنده می‌تواند آن را با چشم بسته با ارائه همان پارامترها به سیستم بازتولید کند. این ویژگی آن را به نامزدی ایده‌آل برای اشکال‌زدایی گام به گام در IDE تبدیل می‌کند.

Bohrbug در تمام مراحل چرخه عمر نرم‌افزار — از توسعه تا بهره‌برداری — یافت می‌شود. اغلب در مرحله آزمایش کشف می‌شود، زیرا مهندسان QA سناریوهای تکراری را اجرا می‌کنند که به طور تضمینی به خرابی منجر می‌شوند.

تعریف بر اساس گری و روتر

طبق طبقه‌بندی گری و روتر، Bohrbug عیبی است که سه شرط را برآورده می‌کند: مجموعه ثابتی از داده‌های ورودی، وضعیت یکسان سیستم و نتیجه یکسان خرابی. اگر حداقل یکی از شرایط نقض شود، باگ دیگر «بور» نیست.

نویسندگان تأکید می‌کنند که Bohrbug لزوماً یک خطای ساده نیست. می‌تواند از نظر منطقی به دلخواه پیچیده باشد، اما قطعی بودن آن را از سایر انواع خرابی‌ها در طبقه‌بندی متمایز می‌کند.

ریشه نام Bohrbug

نام Bohrbug از نام فیزیکدان دانمارکی نیلز بور، خالق مدل سیاره‌ای اتم گرفته شده است. تشبیه ساده است: همانطور که الکترون در مدل بور در مداری کاملاً ثابت حرکت می‌کند، این باگ نیز در هر بار اجرا همان رفتار را تکرار می‌کند.

گری و روتر این نام را برای تقابل خطاهای قطعی با خطاهای آشوب‌گونه انتخاب کردند که آنها را Mandelbug نامیدند — به افتخار ریاضیدان بنوآ مندلبرو، بنیانگذار نظریه فراکتال‌ها و آشوب.

جالب است که در ادبیات انگلیسی، اصطلاح Bohrbug اغلب به عنوان مترادف «خطای قطعی» استفاده می‌شود، اگرچه در محیط فارسی کمتر رایج است. اکثر توسعه‌دهندگان چنین باگ‌هایی را به سادگی «خطاهای قابل بازتولید» می‌نامند.

ویژگی‌های کلیدی Bohrbug

Bohrbug دارای مجموعه‌ای از ویژگی‌های متمایز است که شناسایی آن را در میان سایر انواع عیوب نرم‌افزاری ممکن می‌سازد. هر ویژگی را به تفصیل بررسی می‌کنیم.

قطعی بودن

ویژگی اصلی Bohrbug — پیش‌بینی‌پذیری کامل. اگر برنامه با داده‌های ورودی مشخصی روی ماشین توسعه‌دهنده خراب شد، دقیقاً به همان شکل روی ماشین تستر و در محیط عملیاتی خراب خواهد شد. هیچ عامل تصادفی وجود ندارد.

قابلیت بازتولید

Bohrbug در 100٪ تلاش‌ها بازتولید می‌شود. این بدان معناست که برای اشکال‌زدایی آن به ابزارهای خاصی نیاز نیست — IDE معمولی و دیباگر کافی است. توسعه‌دهنده یک نقطه توقف قرار می‌دهد، برنامه را اجرا می‌کند، داده‌های ورودی را ارائه می‌دهد و کد را گام به گام پیمایش می‌کند.

پایداری در زمان

اگر Bohrbug اصلاح نشود، تا زمان رفع در هر نسخه از برنامه بازتولید خواهد شد. عوامل زمانی — بار CPU، فاز ماه، زمان روز — بر بروز آن تأثیر نمی‌گذارند.

علل اصلی بروز Bohrbug

علل بروز Bohrbug را می‌توان به چند دسته تقسیم کرد. درک این دسته‌ها به یافتن سریع‌تر ریشه مشکل کمک می‌کند.

خطاهای منطقی

شرط نادرست ساخته شده — شایع‌ترین علت Bohrbug. به عنوان مثال، توسعه‌دهنده از عملگر `||` به جای `&&` استفاده کرد که منجر به اجرای نادرست شاخه کد در هر بار فراخوانی تابع با آرگومان‌های مشخص شد.

خطاهای شرایط مرزی

استفاده از عملگر `<=` به جای `<` یا وضعیت معکوس — منبع کلاسیک Bohrbug. اگر حلقه باید 10 بار اجرا شود، اما به دلیل شرط نادرست 11 بار اجرا می‌شود، این یک خطای قطعی است که در هر بار اجرا ظاهر می‌شود.

ثابت‌های نادرست و اعداد جادویی

ثابت‌های سخت‌کد شده که با منطق کسب و کار مطابقت ندارند، خرابی‌های پایداری ایجاد می‌کنند. به عنوان مثال، مهلت اتصال به سرور 100 میلی‌ثانیه به جای 5000 تنظیم شده است — اتصال در هر درخواست قطع می‌شود.

چگونه Bohrbug را در کد تشخیص دهیم

تشخیص Bohrbug — ساده‌ترین کار برای توسعه‌دهنده در مقایسه با سایر انواع باگ‌ها است. ماهیت قطعی امکان استفاده از روش‌های استاندارد اشکال‌زدایی را فراهم می‌کند.

public class DiscountCalculator {
    public double calculate(double amount, boolean isPremium) {
        // خطا: کاربران پریمیوم به جای 10٪، 5٪ تخفیف دریافت می‌کنند
        if (isPremium) {
            return amount * 0.95;
        }
        return amount * 0.90;
    }
}

در این مثال Bohrbug آشکار است: با فراخوانی `calculate(1000, true)` متد همیشه 950 را به جای 900 برمی‌گرداند. ساده‌ترین تست واحد با داده‌های ورودی ثابت فوراً مشکل را آشکار می‌کند.

تست واحد به عنوان روش اصلی

برای تشخیص Bohrbug، تست‌های واحد مؤثرترین ابزار هستند. کافی است تابع را با مجموعه‌ای از تست‌ها با مقادیر مرزی مختلف پوشش دهید و خطای قطعی در اولین اجرا ظاهر می‌شود.

اشکال‌زدایی گام به گام

هنگامی که Bohrbug تشخیص داده شد، اشکال‌زدایی گام به گام در IDE بهترین راه برای یافتن ریشه است. توسعه‌دهنده یک نقطه توقف در ورودی تابع قرار می‌دهد و هر خط را با مشاهده مقادیر متغیرها پیمایش می‌کند.

تفاوت Bohrbug با سایر انواع باگ‌ها

Bohrbug با سایر انواع خطاهای برنامه‌نویسی در یک ویژگی کلیدی — قطعی بودن — تفاوت دارد. مقایسه را در جدول بررسی می‌کنیم.

Bohrbug — تنها نوع خطایی است که می‌توان در شرایط کنترل شده به طور تضمینی بازتولید کرد. این ویژگی آن را از نظر تشخیصی ایمن‌ترین، اما برای کاربر کمتر خطرناک نمی‌کند.

چرا Bohrbug و Heisenbug را اشتباه می‌گیرند

Heisenbug — باگی است که در تلاش برای اشکال‌زدایی ناپدید می‌شود. بر خلاف Bohrbug، Heisenbug ممکن است به دلیل تغییر زمان‌بندی اجرای کد در دیباگر بازتولید نشود. توسعه‌دهندگان مبتدی اغلب این دو نوع را اشتباه می‌گیرند.

نمونه Bohrbug در کد

یک نمونه واقعی از Bohrbug در برنامه فروشگاه اینترنتی را بررسی می‌کنیم. تابع هزینه کل سفارش را با در نظر گرفتن مالیات محاسبه می‌کند.

public double calculateTotal(double subtotal, double taxRate) {
    // خطا: توسعه‌دهنده taxRate را به صورت درصد تنظیم کرد
    // اما فراموش کرد بر 100 تقسیم کند
    return subtotal + (subtotal * taxRate);
}

با فراخوانی `calculateTotal(1000, 20)` تابع 21000 را به جای 1200 مورد انتظار برمی‌گرداند. این یک Bohrbug کلاسیک است: داده‌های ورودی یکسان همیشه به همان نتیجه نادرست منجر می‌شوند. رفع آن ساده است — اضافه کردن تقسیم بر 100.

نسخه اصلاح شده

پس از اصلاح، تابع نرخ مالیات را به درستی پردازش می‌کند:

public double calculateTotal(double subtotal, double taxRatePercent) {
    return subtotal + (subtotal * taxRatePercent / 100.0);
}

این مثال به وضوح نشان می‌دهد که Bohrbug می‌تواند ناشی از ساده‌ترین خطای ریاضی باشد. به همین دلیل است که بازبینی کد و تست‌های واحد ابزارهای اصلی پیشگیری از چنین عیوبی هستند.