Bohrbug: co to jest, przyczyny występowania i metody naprawy

Co to jest Bohrbug?

Bohrbug — to typ błędu programistycznego, który objawia się deterministycznie: przy tych samych danych wejściowych zawsze prowadzi do tej samej awarii. Termin został wprowadzony do obiegu naukowego przez badaczy Jima Graya i Andreasa Reutera w książce „Transaction Processing: Concepts and Techniques” (1993).

W przeciwieństwie do Mandelbug, który chaotycznie zmienia swoje zachowanie, Bohrbug jest stabilny: programista może go odtworzyć z zamkniętymi oczami, podając systemowi te same parametry. To czyni go idealnym kandydatem do debugowania krok po kroku w IDE.

Bohrbug występuje na wszystkich etapach cyklu życia oprogramowania — od programowania po eksploatację. Często jest wykrywany na etapie testowania, ponieważ inżynierowie QA wykonują powtarzalne scenariusze, które gwarantują awarię.

Definicja według Graya i Reutera

Zgodnie z klasyfikacją Graya i Reutera, Bohrbug to defekt spełniający trzy warunki: stały zestaw danych wejściowych, ten sam stan systemu i ten sam wynik awarii. Jeśli co najmniej jeden warunek jest naruszony, błąd przestaje być „borowski”.

Autorzy podkreślają, że Bohrbug niekoniecznie jest prostym błędem. Może być dowolnie skomplikowany logicznie, ale jego determinizm odróżnia go od wszystkich innych typów awarii w klasyfikacji.

Pochodzenie nazwy Bohrbug

Nazwa Bohrbug pochodzi od nazwiska duńskiego fizyka Nielsa Bohra, twórcy planetarnego modelu atomu. Analogia jest prosta: tak jak elektron w modelu Bohra porusza się po ściśle ustalonej orbicie, tak ten błąd powtarza to samo zachowanie przy każdym uruchomieniu.

Gray i Reuter wybrali tę nazwę, aby przeciwstawić deterministyczne błędy chaotycznym, które nazwali Mandelbug — na cześć matematyka Benoît Mandelbrota, twórcy teorii fraktali i chaosu.

Co ciekawe, w anglojęzycznej literaturze termin Bohrbug jest często używany jako synonim „błędu deterministycznego”, choć w polskojęzycznym środowisku jest mniej rozpowszechniony. Większość programistów nazywa takie błędy po prostu „błędami odtwarzalnymi”.

Kluczowe cechy Bohrbug

Bohrbug posiada zestaw charakterystycznych właściwości, które pozwalają zidentyfikować go wśród innych typów defektów programistycznych. Przyjrzyjmy się każdej cesze szczegółowo.

Determinizm

Główna cecha Bohrbug — całkowita przewidywalność. Jeśli aplikacja uległa awarii przy określonych danych wejściowych na komputerze programisty, ulegnie awarii dokładnie tak samo na komputerze testera i w środowisku produkcyjnym. Żadnych czynników losowych.

Odtwarzalność

Bohrbug odtwarza się w 100% prób. Oznacza to, że do jego debugowania nie są potrzebne specjalne narzędzia — wystarczy zwykłe IDE i debugger. Programista ustawia punkt zatrzymania, uruchamia aplikację, podaje dane wejściowe i przechodzi kod krok po kroku.

Stabilność w czasie

Jeśli Bohrbug nie zostanie naprawiony, będzie się odtwarzał w każdej wersji programu aż do momentu naprawy. Czynniki czasowe — obciążenie CPU, faza księżyca, pora dnia — nie wpływają na jego występowanie.

Główne przyczyny występowania Bohrbug

Przyczyny powstawania Bohrbug można podzielić na kilka kategorii. Zrozumienie tych kategorii pomaga szybciej znaleźć źródło problemu.

Błędy logiczne

Nieprawidłowo skonstruowany warunek — najczęstsza przyczyna Bohrbug. Na przykład programista użył operatora `||` zamiast `&&`, co doprowadziło do nieprawidłowego wykonania gałęzi kodu przy każdym wywołaniu funkcji z określonymi argumentami.

Błędy warunków brzegowych

Użycie operatora `<=` zamiast `<` lub sytuacja odwrotna — klasyczne źródło Bohrbug. Jeśli pętla ma wykonać się 10 razy, a wykonuje się 11 z powodu nieprawidłowego warunku, jest to błąd deterministyczny, który wystąpi przy każdym uruchomieniu.

Nieprawidłowe stałe i magiczne liczby

Sztywno zakodowane stałe, które nie odpowiadają logice biznesowej, tworzą stabilne awarie. Na przykład timeout połączenia z serwerem ustawiony na 100 milisekund zamiast 5000 — połączenie będzie zrywane przy każdym żądaniu.

Jak wykryć Bohrbug w kodzie

Wykrywanie Bohrbug to najprostsze zadanie dla programisty w porównaniu z innymi typami błędów. Deterministyczny charakter pozwala stosować standardowe metody debugowania.

public class DiscountCalculator {
    public double calculate(double amount, boolean isPremium) {
        // Błąd: użytkownicy premium otrzymują 5% zniżki zamiast 10%
        if (isPremium) {
            return amount * 0.95;
        }
        return amount * 0.90;
    }
}

W tym przykładzie Bohrbug jest oczywisty: przy wywołaniu `calculate(1000, true)` metoda zawsze zwraca 950 zamiast 900. Najprostszy test jednostkowy ze stałymi danymi wejściowymi natychmiast ujawni problem.

Testy jednostkowe jako główna metoda

Do wykrywania Bohrbug testy jednostkowe są najskuteczniejszym narzędziem. Wystarczy pokryć funkcję zestawem testów z różnymi wartościami brzegowymi, a deterministyczny błąd ujawni się przy pierwszym uruchomieniu.

Debugowanie krok po kroku

Gdy Bohrbug zostanie wykryty, debugowanie krok po kroku w IDE to najlepszy sposób na znalezienie źródła. Programista ustawia punkt zatrzymania na wejściu do funkcji i przechodzi każdą linię, obserwując wartości zmiennych.

Różnica między Bohrbug a innymi typami błędów

Bohrbug różni się od innych typów błędów programistycznych kluczową cechą — determinizmem. Przyjrzyjmy się porównaniu w tabeli.

Bohrbug — jedyny typ błędu, który można zagwarantowanie odtworzyć w kontrolowanych warunkach. To czyni go najbezpieczniejszym z punktu widzenia diagnostyki, ale nie mniej niebezpiecznym dla użytkownika.

Dlaczego myli się Bohrbug i Heisenbug

Heisenbug — błąd, który znika przy próbie debugowania. W przeciwieństwie do Bohrbug, Heisenbug może nie odtwarzać się w debuggerze z powodu zmiany timingów wykonania kodu. Początkujący programiści często mylą te dwa typy.

Przykład Bohrbug w kodzie

Rozważmy rzeczywisty przykład Bohrbug w aplikacji sklepu internetowego. Funkcja oblicza całkowity koszt zamówienia z uwzględnieniem podatku.

public double calculateTotal(double subtotal, double taxRate) {
    // Błąd: programista ustawił taxRate jako procent
    // ale zapomniał podzielić przez 100
    return subtotal + (subtotal * taxRate);
}

Przy wywołaniu `calculateTotal(1000, 20)` funkcja zwróci 21000 zamiast oczekiwanych 1200. To klasyczny Bohrbug: te same dane wejściowe zawsze prowadzą do tego samego nieprawidłowego wyniku. Naprawa jest trywialna — dodać dzielenie przez 100.

Poprawiona wersja

Po poprawie funkcja prawidłowo przetwarza stawkę podatkową:

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

Ten przykład wyraźnie pokazuje, że Bohrbug może być spowodowany najprostszym błędem matematycznym. Dlatego właśnie code review i testy jednostkowe są głównymi narzędziami profilaktyki takich defektów.