Dscope: Bulutli server tizimlarida haqiqiy ma'lumotlarning buzilishini aniqlash

jumladan sikl indeksi, qadam va chegaralar raqamli primitivlar bilan
belgilanadigan 17 168 ta holat va pastadir indeksi, qadam va chegaralar odatda
Java API bilan belgilanadigan 11 689 holatni o'chiradi. .
DScope ma'lumotlarning buzilishi bilan bog'liq xatolarni aniqlashga
qaratilgan. Biz §3da tavsiflanganidek, ularning turlariga qarab xatolarni tuzatish
uchun auto-x sxemalarini o'rganishni rejalashtirmoqdamiz. Misol uchun, kiritish-
chiqarish operatsiyalari tomonidan qaytarilgan xato kodi to'g'ridan-to'g'ri
tsiklning qadamlariga ta'sir qilganda, dasturiy ta'minotni osib qo'ymaslik uchun
tsikldan chiqish sharoitida qo'shimcha xato kodini tekshirish bayonotlarini
qo'shish mumkin. Agar buzilgan ma'lumotlar tarkibi bilvosita tsiklning
qadamlariga ta'sir qilsa, bitta mumkin bo'lgan x ma'lumotlar tarkibini tsikl
tanasida ishlatishdan oldin qo'shimcha tekshirishni qo'shishi mumkin. Noto'g'ri
istisnolardan foydalanish tsiklning yangilanishini o'tkazib yuborishga olib
keladigan bo'lsa, ma'lumotlar buzilishi sodir bo'lganda qadamni to'g'ri yangilash
uchun qo'shimcha istisnolardan foydalanishni qo'shish mumkin.
Shuni ta'kidlash kerakki, biz DScope Findbugs va Infer kabi xatolarni
aniqlashning umumiy vositalarini almashtirishi mumkin deb da'vo qilmoqchi
emasmiz. Ishonamizki, xatolarni aniqlash sxemalarimiz mavjud vositalarni
to'ldiradi va dasturiy ta'minot ishlab chiqaruvchisi tomonidan birgalikda
ishlatilishi mumkin.
tizimlari. X-ray [9] konfiguratsiya yoki kirishga asoslangan muammolar tufayli
yuzaga kelgan ishlash xatolarini avtomatik aniqlash va xes taklif qilish uchun
ramziy bajarishdan foydalanadi. Xu va boshqalar. [47] tizim anomaliyalarini
aniqlash uchun klasterga asoslangan sxemani taqdim etdi. Jin va boshqalar.