taqdim etadi. §4 eksperimental baholashni ko'rsatadi. §5 kelajakdagi ishlarni
muhokama qiladi. §6 bizning ishimizni tegishli ish bilan taqqoslaydi.
T. Dai va boshqalar.
Xususan, DScope rst sikl sarlavhasidan boshlanib, sikl sarlavhasida tugaydigan
har xil bajarilish yo‘llarini ajratib oladi, ular barcha sikllarning boshqaruv grafigini
(CFG) kesib o‘tadi. Keyinchalik, DScope har bir aylanish yo'lining chiqish
shartlarini aniqlaydi va bu chiqish shartlari har qanday kiritish/chiqarish
operatsiyalariga bog'liqligini tekshiradi. Buning sababi shundaki, agar tsikldan
chiqish sharti kiritish-chiqarish operatsiyasiga bog'liq bo'lsa, ma'lumotlarning
buzilishi (masalan, apparatdagi nosozlik [11, 12, 27, 30, 36, 39], dasturiy ta'minot.
Nihoyat, maqola 7-bandda yakunlanadi.
muvaffaqiyatsiz ishlab chiqarish jarayonini takrorlash uchun. Oldingi ishda
ma'lumotlarning buzilishi (masalan, [11, 15, 23, 28, 44]) va ishlashdagi xatolar
(masalan, [17, 26, 31, 40]) keng ko'lamda o'rganilgan bo'lsa-da, ular o'rtasidagi
kesishuvni o'rganish uchun juda kam tadqiqot olib borildi. ikkitasi, ya'ni
ma'lumotlarning buzilishi natijasida yuzaga kelgan ishlash muammolari. Xususan,
bizning ishimiz bulutli server tizimlarida maÿlumotlarning buzilishi natijasida kelib
chiqadigan dasturiy taÿminotdagi xatolarni aniqlashga qaratilgan. Dasturiy
ta'minotdagi nosozliklar tizimni foydalanuvchilarning bir qismi yoki hammasi
uchun mavjud bo'lib qolishiga olib keladi, bu esa ishlab chiqarish tizimlari oldini
olishga harakat qiladigan eng jiddiy ishlash muammolaridan biridir [17-19, 29].
2
1.2 Bizning hissamiz
2 TIZIMI DIZAYN
Machine Translated by Google
Do'stlaringiz bilan baham: |
