|
112. Dasturda yuz beradigan xatoliklar. Tayanch iboralar:Sintaktik, semantik, mantiqiy, algoritmik xatolar
Nosozliklarni tuzatish bu jarayon mahalliylashtirish (bajarilishi hisoblash jarayonining buzilishiga olib kelgan dastur operatorini aniqlash) va dasturiy ta'minotni sinash paytida topilgan xatolarni tuzatish. Xatolikni tuzatish uchun uning sababini aniqlash kerak. Nosozliklarni tuzatish dasturchidan foydalanilgan apparatni boshqarish xususiyatlari, operatsion tizim, atrof-muhit va dasturlash tili, amalga oshirilayotgan jarayonlar, xatolarning mohiyati va o'ziga xos xususiyatlari, disk raskadrovka texnikasi va tegishli dasturiy ta'minot to'g'risida chuqur bilimga ega bo'lishini talab qiladi; psixologik jihatdan noqulay (cheklangan vaqt ichida o'zingizning xatolaringizni qidirishingiz kerak); dasturning turli qismlarida xatolarning o'zaro ta'sir qilish imkoniyatini qoldiradi. Yaxshi aniqlangan disk raskadrovka texnikasi mavjud emas. Ajratib ko'ring:
sintaksis xatolari- sintaktik va qisman semantik tahlilni o'tkazishda kompilyator (tarjimon) tomonidan belgilab qo'yilgan, ularning joylashishini ko'rsatuvchi izoh bilan birga;
tartibda xatolar- dastur modullarini birlashtirishda bog'lovchi (bog'lovchi) tomonidan topilgan;
manba ma'lumotlarini aniqlashdagi xatolar (uzatishdagi xatolar, konvertatsiya qilishdagi xatolar, qayta yozishda va ma'lumotlardagi xatolar);
mantiqiy dizayndagi xatolar (qo'llanilmaydigan usul, noto'g'ri algoritm, noto'g'ri ma'lumotlar tuzilishi va boshqalar) va kodlash xatolar (noto'g'ri) o'zgaruvchilardan foydalanish, hisob-kitoblar, intermodular interfeys, algoritmni amalga oshirish va boshqalar);
hisoblash natijalaridagi xatolarni to'plashdagi xatolar (bit panjarasining cheklovlari va xatoni kamaytirish yo'llarini inobatga olmagan holda).
Dasturni har qanday holatda disk raskadrovka qilish xato haqida mavjud bo'lgan barcha ma'lumotlarni o'ylab, mantiqiy tushunishni nazarda tutadi. Ko'pgina xatolarni bilvosita belgilar yordamida dastur matnlari va test natijalarini to'liq tahlil qilish orqali quyidagi usullardan foydalangan holda qo'shimcha ma'lumot olmasdan aniqlash mumkin:
qo'lda sinov (agar xato topilgan bo'lsa, xatolar aniqlangan testlar to'plami yordamida sinovdan o'tgan dasturni qo'lda bajarishingiz kerak);
induksiya(noto'g'ri hisoblash natijalari yoki xato xabari sifatida ko'rinishi mumkin bo'lgan xato alomatlarini to'liq tahlil qilish asosida);
chegirma (birinchi navbatda, ular xatoning ushbu ko'rinishini keltirib chiqarishi mumkin bo'lgan sabablar to'plamini shakllantiradi, so'ngra sabablarni tahlil qilib, mavjud ma'lumotlarga zid bo'lganlarni chiqarib tashlaydi);
orqaga qaytish (noto'g'ri natijani xulosa qilish nuqtasi uchun, ushbu natijani olishga olib kelishi mumkin bo'lgan asosiy o'zgaruvchilarning qiymatlari to'g'risida gipoteza tuziladi va keyin ushbu gipotezaga asoslanib, avvalgi nuqtada o'zgaruvchilarning qiymatlari to'g'risida taxminlar tuziladi).
113.
Spiralsimon modelining asosiy bosqichlari.
Tayanch iboralar:maqsadlarni aniqlash, jarayon, xatarlarni baholash,ishlab chiqarish va testlash,keyingi bosqichni rejalashtirish
The spiral model xavf-xatarga asoslangan dasturiy ta'minotni ishlab chiqish jarayoni model. Muayyan loyihaning o'ziga xos xavf-xatar naqshlariga asoslanib, spiral model jamoani bir yoki bir nechta jarayon modellarining elementlarini qabul qilishga yo'naltiradi, masalan. ortib boruvchi, sharshara, yoki evolyutsion prototiplash.
Ushbu model birinchi tomonidan tavsiflangan Barri Boem 1986 yilda chop etilgan "Dasturiy ta'minotni rivojlantirish va takomillashtirishning spiral modeli".[2] 1988 yilda Boem xuddi shunday maqolani nashr etdi[3] kengroq auditoriyaga. Ushbu maqolalarda spiral modelni muhokama qiladigan ko'plab keyingi nashrlarda takrorlangan diagramma keltirilgan.
Ushbu dastlabki hujjatlar spiral modelga, shuningdek qo'shimcha, palapartishlik, prototiplash va boshqa yondashuvlarga nisbatan "jarayon modeli" atamasidan foydalanilgan. Shu bilan birga, spiral modelning o'ziga xos xavf-xatarga asoslangan boshqa jarayon modellarining xususiyatlarini aralashtirish allaqachon mavjud:
Spiralli model qadamlarini isk tomonidan boshqariladigan subsetting, modelga spetsifikatsiyaga, prototipga yo'naltirilgan, simulyatsiyaga yo'naltirilgan, avtomatik transformatsiyaga yo'naltirilgan yoki dasturiy ta'minotni ishlab chiqishda boshqa yondashuvning har qanday mos aralashmasini joylashtirishga imkon beradi.[3]
Keyingi nashrlarda,[1] Boem spiral modelni "jarayon modelini ishlab chiqaruvchi" deb ta'riflaydi, bu erda loyiha tavakkalchiligiga qarab tanlov loyiha uchun tegishli jarayon modelini yaratadi. Shunday qilib, o'sib boruvchi, palapartishlik, prototip va boshqa jarayon modellari spiral modelning alohida loyihalari bo'lib, ular ma'lum loyihalarning tavakkalchilik modellariga mos keladi.
Boem shuningdek asl spiral model diagrammasida ortiqcha soddalashtirishlardan kelib chiqadigan bir qator noto'g'ri tushunchalarni aniqlaydi. Uning so'zlariga ko'ra, ushbu noto'g'ri tushunchalarning eng xavfli tomoni:
spiral shunchaki palapartishlik o'sishining ketma-ketligi;
barcha loyiha tadbirlari bitta spiral ketma-ketlikka amal qilishini;
diagrammadagi har qanday faoliyat va ko'rsatilgan tartibda bajarilishi kerakligi.
Do'stlaringiz bilan baham: |
