Dastur aniqligi. Ichki spetsifikatsiya hujjatlari

Dastur aniqligi. Ichki spetcifikatciya hujjatlari R e j a : 1. Testni loyihalash. 2. Testlash usullari. 3. Oq va qora qutilarni uslubiyoti. Tayanch so'zlar: Testni loyihalash. Testlash usullari. Qora va Ok quti usullari uslubologiyasi. Dasturni sozlash va testdan o'tkazish. Dastur loyihalashda murakkab jarayonlar sifatida sozlash bosqichi va testdan o'tkazish jarayoni hisoblanadi. Dasturni testdan o'tkazishning maqsadi, ya'ni dasturni sinashdan maqsad, undagi mavjud va yengil hosil bo'lgan xatolarni aniqlashdir. Sozlashdan maqsad xatolarni hosil bo'lish sababini aniqlash va ularni bartaraf etish. Dasturni sozlash uchun ishni testlash rejasini tuzishdan boshlanadi. Rejani tuzishda xatoni kelib chiqishi va uni xarakteriga yondashiladi. Asosiy sabablaridan biri matematik modellarni chuqur ishlab chiqilmaganligi va vazifani bajarish algoritmi to'liq qurilmaganligidir; Dasturiy blankadagi boshlang'ich ma'lumotlar haqidagi 1-tasavvur kiritish moslamasidagi klaviatura yordamida boshlang'ich ma'lumotni va dasturni tekshirishda loqaydlilik. Xatolarni kelib chiqish sabablari turli xilligini hisobga olgan holda ularni 2 ta turga ajratiladi: 1. Sintaktik 2. Semantik Sintaktik xatolar - dastur tilini tarkibini yozishdagi xatolar (sonlar, o'zgaruvchilar, funktciyalar, operatorlar, belgi va kichik dasturlar ). Semantik xatolar - kattaliklarni ruxsat etilmagan qiymatlaridan foydalanishda va harakatni noto'g'ri tarkibi bilan bog'liq bo'lgan xatolar. Asosiy dasturlash tizimlarida sintaktik xatolarni aniqlash avtomatlashtirilgan (fortran, paskalp, beysik, pl1 va x. k). Semantiq xatolarni aniqlash yaxshi yo'lga quyilmagan. Testlash rejasiga odatda quyidagi tiplar kiradi: 1. Dasturni algoritm sxemasi bilan solishtirish 2. Displey ekranida dasturni vizual nazorat qilish yoki dasturiy blankadagi originalni dastur raspechatkasini o'rganish, solishtirishni vizual o'rganish. 3. Dasturni mashina tiliga olib ko'rsatish. Bu bosqichda sintaktik xatolar aniqlanadi. Dastur listingidagi sintaktik xatolarni fortran, paskalp tilidagi ko'ramalar deagnostik xabar beradi. Xatolar haqidagi xabarlar har xil EVM larda va tizim versiyalarida (fortran, paskalp, beysik) shakliga qarab har xil bo'lishi mumkin. Interpretatciyalovchi beysik - navbatdagi operatorni bajarishdaxalakit qilayotgan ham sintaktik, ham semantiq xatolarni birdaniga diagnostika qiladi. 4. Dasturni kompanovkalash va tashqi aloqalarni taxrirlash. Tashqi aloqalarni taxrirlash jarayonida tashqi aloqalar taxririy dasturi yoki vazifalarini tartiblovchi shunday sintaktik xatolarni aniqlaydiki, bu xatolarda kichik dasturlarda yozilgan prametrlar qiymati bir biriga mos kelmaydi, aslida yo'q bo'lgan standart dasturlarni chiqaradi. Masalan SIN o'rniga SIH va shunga o'xshash xatolar. 5. Dasturni bajarilishi. Translyator va tashqi aloqalar taxriri tomonidan barcha xatolar bartaraf etilgandan so'ng keyingi - EHM da dasturni mashina tilida bajarish bosqichiga utiladi: dastur operativ xotiraga yuklatiladi va boshlang'ich ma'lumotlar kiritilgandan so'ng boshlanadi. Xato borligi haqida belgi paydo bo'lishi sozlash o'tkazishna sabab bo'ladi: belgi yo'qligi dasturda xato yo'qligini bildiradi. Testlash rejasi boshlang'ich ma'lumotlarning ruxsat etilgan qiymatlarini xulosasini to'g'riligini ham tekshirishni o'z ichiga jamlaydi. Testlash uslublari (Usullari). Odatda dasturni testdan o'tkazishda bosqichlarga ...