Bohrbug: bu nima, paydo bo'lish sabablari va tuzatish usullari

Bohrbug nima?

Bohrbug — bu deterministik tarzda namoyon bo'ladigan dasturiy xato turi: bir xil kirish ma'lumotlari bilan har doim bir xil nosozlikka olib keladi. Atama tadqiqotchilar Jim Grey va Andreas Reuter tomonidan “Transaction Processing: Concepts and Techniques” (1993) kitobida ilmiy muomalaga kiritilgan.

Mandelbug dan farqli o'laroq, xaotik xatti-harakatini o'zgartiradigan, Bohrbug barqaror: dasturchi uni ko'zini yumib, tizimga bir xil parametrlarni berib takrorlashi mumkin. Bu uni IDE da bosqichma-bosqich tuzatish uchun ideal nomzod qiladi.

Bohrbug dasturiy ta'minot hayotiy tsiklining barcha bosqichlarida — ishlab chiqishdan foydalanishgacha uchraydi. Ko'pincha test bosqichida aniqlanadi, chunki QA muhandislari nosozlikka kafolatli olib keladigan takrorlanuvchi stsenariylarni bajaradilar.

Grey va Reuter bo'yicha ta'rif

Grey va Reuterning tasnifiga ko'ra, Bohrbug uchta shartni qondiradigan nuqsondir: kirish ma'lumotlarining qat'iy to'plami, bir xil tizim holati va bir xil nosozlik natijasi. Agar kamida bitta shart buzilgan bo'lsa, xato “borovsk” bo'lishdan to'xtaydi.

Mualliflar ta'kidlaydilarki, Bohrbug majburiy ravishda oddiy xato emas. Mantiqan istalgancha murakkab bo'lishi mumkin, ammo uning determinizmi uni tasnifdagi barcha boshqa nosozlik turlaridan ajratib turadi.

Bohrbug nomining kelib chiqishi

Bohrbug nomi planetar atom modelining yaratuvchisi Daniya fizigi Nils Borning familiyasidan kelib chiqqan. O'xshatish oddiy: Bor modelidagi elektron qanday qat'iy belgilangan orbita bo'ylab harakatlansa, bu xato ham har bir ishga tushirishda bir xil xatti-harakatni takrorlaydi.

Grey va Reuter bu nomni deterministik xatolarni xaotik bo'lganlarga qarama-qarshi qo'yish uchun tanladilar, ularni Mandelbug deb atadilar — fraktallar va xaos nazariyasi asoschisi matematik Benua Mandelbrot sharafiga.

Qizig'i shundaki, ingliz tilidagi adabiyotda Bohrbug atamasi ko'pincha “deterministik xato” sinonimi sifatida ishlatiladi, garchi o'zbek tilidagi muhitda u kamroq tarqalgan. Aksariyat dasturchilar bunday xatolarni oddiygina “takrorlanuvchi xatolar” deb atashadi.

Bohrbugning asosiy xususiyatlari

Bohrbug boshqa dasturiy nuqsonlar orasida uni aniqlash imkonini beradigan farqlovchi xususiyatlar to'plamiga ega. Har bir xususiyatni batafsil ko'rib chiqamiz.

Determinizm

Bohrbug ning asosiy xususiyati — to'liq bashorat qilinadiganlik. Agar ilova dasturchining mashinasida ma'lum kirish ma'lumotlarida ishlamay qolsa, tester mashinasida va ishlab chiqarish muhitida ham xuddi shunday ishlamay qoladi. Hech qanday tasodifiy omillar yo'q.

Takrorlanish

Bohrbug urinishlarning 100 foizida takrorlanadi. Bu uning tuzatilishi uchun maxsus vositalar kerak emasligini anglatadi — oddiy IDE va tuzatuvchi (debugger) yetarli. Dasturchi to'xtash nuqtasini qo'yadi, ilovani ishga tushiradi, kirish ma'lumotlarini beradi va kodni bosqichma-bosqich ko'rib chiqadi.

Vaqt bo'yicha barqarorlik

Agar Bohrbug tuzatilmasa, u dasturning har bir versiyasida tuzatish vaqtigacha takrorlanadi. Vaqt omillari — CPU yuklamasi, oy fazasi, kun vaqti — uning namoyon bo'lishiga ta'sir qilmaydi.

Bohrbug paydo bo'lishining asosiy sabablari

Sabablari Bohrbugning paydo bo'lishini bir necha toifalarga bo'lish mumkin. Ushbu toifalarni tushunish muammoning ildizini tezroq topishga yordam beradi.

Mantiqiy xatolar

Noto'g'ri qurilgan shart — Bohrbugning eng keng tarqalgan sababi. Masalan, dasturchi `&&` o'rniga `||` operatoridan foydalandi, bu funksiyani ma'lum argumentlar bilan har chaqirishda kod tarmog'ining noto'g'ri bajarilishiga olib keldi.

Chegara shartlari xatolari

`<=` operatorining `<` o'rniga ishlatilishi yoki teskari holat — Bohrbugning klassik manbai. Agar sikl 10 marta bajarilishi kerak bo'lsa, lekin noto'g'ri shart tufayli 11 marta bajarilsa, bu har bir ishga tushirishda namoyon bo'ladigan deterministik xatodir.

Noto'g'ri konstantalar va sehrli raqamlar

Biznes mantiqiga mos kelmaydigan qattiq kodlangan konstantalar barqaror nosozliklarni yaratadi. Masalan, serverga ulanish vaqti 5000 o'rniga 100 millisekundga o'rnatilgan — ulanish har bir so'rovda uziladi.

Koddagi Bohrbugni qanday aniqlash mumkin

Bohrbug ni aniqlash boshqa xato turlariga nisbatan dasturchi uchun eng oson vazifadir. Deterministik xarakter standart tuzatish usullarini qo'llash imkonini beradi.

public class DiscountCalculator {
    public double calculate(double amount, boolean isPremium) {
        // Xato: premium foydalanuvchilar 10% o'rniga 5% chegirma oladi
        if (isPremium) {
            return amount * 0.95;
        }
        return amount * 0.90;
    }
}

Ushbu misolda Bohrbug aniq: `calculate(1000, true)` chaqiruvida metod har doim 900 o'rniga 950 qaytaradi. Barqaror kirish ma'lumotlari bilan eng oddiy unit test darhol muammoni aniqlaydi.

Unit testlash asosiy metod sifatida

Bohrbug ni aniqlash uchun unit testlar eng samarali vositadir. Funksiyani turli chegara qiymatlari bilan testlar to'plami bilan qoplash kifoya va deterministik xato birinchi ishga tushirishda namoyon bo'ladi.

Bosqichma-bosqich tuzatish

Bohrbug aniqlanganda, IDE da bosqichma-bosqich tuzatish ildizni topishning eng yaxshi usulidir. Dasturchi funksiyaga kirishda to'xtash nuqtasini qo'yadi va o'zgaruvchilar qiymatlarini kuzatib, har bir qatorni ko'rib chiqadi.

Bohrbugning boshqa xato turlaridan farqi

Bohrbug boshqa dasturiy xato turlaridan asosiy xususiyati — determinizm bilan farqlanadi. Taqqoslashni jadvalda ko'rib chiqamiz.

Bohrbug — nazorat qilinadigan sharoitlarda kafolatli takrorlanishi mumkin bo'lgan yagona xato turidir. Bu uni tashxis nuqtai nazaridan eng xavfsiz, ammo foydalanuvchi uchun kamroq xavfli qilmaydi.

Nima uchun Bohrbug va Heisenbug chalkashtiriladi

Heisenbug — tuzatishga urinishda yo'qoladigan xato. Bohrbugdan farqli o'laroq, Heisenbug kodning bajarilish vaqtining o'zgarishi tufayli tuzatuvchida takrorlanmasligi mumkin. Boshlang'ich dasturchilar ko'pincha bu ikki turni chalkashtiradilar.

Koddagi Bohrbug namunasi

Internet-do'kon ilovasidagi real misolni ko'rib chiqamiz. Funksiya soliqni hisobga olgan holda buyurtmaning umumiy qiymatini hisoblaydi.

public double calculateTotal(double subtotal, double taxRate) {
    // Xato: dasturchi taxRate ni foiz sifatida o'rnatdi
    // lekin 100 ga bo'lishni unutdi
    return subtotal + (subtotal * taxRate);
}

`calculateTotal(1000, 20)` chaqiruvida funksiya kutilgan 1200 o'rniga 21000 qaytaradi. Bu klassik Bohrbug: bir xil kirish ma'lumotlari har doim bir xil noto'g'ri natijaga olib keladi. Tuzatish oddiy — 100 ga bo'lishni qo'shish.

Tuzatilgan variant

Tuzatishdan so'ng funksiya soliq stavkasini to'g'ri qayta ishlaydi:

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

Bu misol Bohrbug eng oddiy matematik xato tufayli yuzaga kelishi mumkinligini aniq ko'rsatadi. Aynan shuning uchun kod ko'rib chiqishi va unit testlar bunday nuqsonlarning oldini olishning asosiy vositalaridir.