Dscope: Bulutli server tizimlarida haqiqiy ma'lumotlarning buzilishini aniqlash

va Inferning aniqlanishini baholash uchun bench belgisi sifatida foydalanamiz.
Ushbu ikkita vosita uchun, agar ular ma'lumotlarning buzilishi bilan bog'liq
xatolik bilan bog'liq kodning kamida bitta qatori haqida xabar bergan bo'lsa
(masalan, ma'lumotlarning buzilishi tsikli tanasining satri yoki qatorda keyin
tsiklda ishlatiladigan o'zgaruvchi mavjud), biz Haqiqiy ijobiy deb xabar qilingan
muammo. Biz o‘z baholashimizda Findbugs va Inferning noto‘g‘ri pozitivlarini
o‘tkazib yuboramiz, chunki bu ikkita umumiy xatolarni aniqlash vositalari
yuzlab yoki minglab shubhali muammolar haqida xabar berishi mumkin. Misol
uchun, Findbugs va Infer Hive v2.3.2 da mos ravishda 5,434 va 13,993
muammo haqida xabar beradi. Ularni aniqlashning barcha natijalarini qo'lda
tekshirish juda ko'p vaqt talab etadi. Findbugs yoki Infer tomonidan aniqlangan
barcha muammolarni noto'g'ri pozitiv deb belgilash noto'g'ri, chunki bu
muammolarning ba'zilari ma'lumotlarning buzilishi bilan bog'liq bo'lmasa
ham, haqiqiy xatolardir.
4.2 Xatolarni aniqlash va aniqlik natijalari 4 va 5-jadvallarda turli
sxemalar orqali erishilgan aniqlash natijalari ko'rsatilgan. DScope 79 ta
maÿlumotlar buzilishi haqida xabar beradi, ulardan 42 tasi haqiqiy xatodir va
42 ta xatodan 29 tasi yangi aniqlangan.
4-jadval: DScope-ni Findbugs va Infer bilan aniqlashni barcha 9 ta tizimda
taqqoslash. "TP": har bir sxema bo'yicha haqiqiy ijobiy xatolar soni; "FP":
DScope tomonidan xabar qilingan noto'g'ri ijobiy xatolar soni; “-”: ishga
tushirish vaqtidagi xatolar (Infer).
DScope tomonidan bildirilgan barcha nosozliklar uchun biz birinchi
navbatda tegishli maÿlumotlarga maÿlumotlarning buzilishini kiritganimizdan
soÿng dasturiy taÿminotni osib qoÿyish belgisini qayta ishlab chiqarishimiz