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) {
        // Помилка: преміум-користувачі отримують знижку 5% замість 10%
        if (isPremium) {
            return amount * 0.95;
        }
        return amount * 0.90;
    }
}

У цьому прикладі Bohrbug очевидний: при виклику `calculate(1000, true)` метод завжди повертає 950 замість 900. Найпростіший unit-тест з фіксованими вхідними даними миттєво виявить проблему.

Unit-тестування як основний метод

Для виявлення Bohrbug unit-тести — найефективніший засіб. Достатньо покрити функцію набором тестів з різними граничними значеннями, і детермінована помилка проявиться при першому ж прогоні.

Покрокове налагодження

Коли 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 може бути викликаний найпростішою математичною помилкою. Саме тому код-рев'ю та unit-тести — головні інструменти профілактики таких дефектів.