Dasturlash paradigmasining asosiy tushunchalari Reja

Dalillarga asoslangan dasturlash
Konsepsiyani tasdiqlovchi dasturlash - bu dasturlarning to'g'riligini isbotlagan holda yozish. Algoritmlar va dasturlarning tuzilishi va to'g'riligini isbotlashning murakkabligi quyidagicha.
Algoritmda yoki dasturda xatolar bor degan xulosaga kelish uchun xato yoki nosozlik yuz beradigan yoki noto'g'ri natijalar olinadigan testni ko'rsatish kifoya.
Dasturlarda xatolarni qidirish va tuzatish odatda kompyuterda amalga oshiriladi. Dasturning to'g'riligini tasdiqlash uchun barcha tegishli ma'lumotlar uchun to'g'ri natijalar olinishini ko'rsatish kerak. Bunday bayonotlarni faqat dasturni bajarish natijalarini har qanday haqiqiy ma'lumotlar uchun to'liq tahlil qilish orqali isbotlash mumkin.
Dasturni tasdiqlashda ikkita yondashuv mavjud - amaliy va dalillarga asoslangan. Pragmatik yondashuv bilan dasturlar kompyuterda test yordamida tekshiriladi.
Sinov - bu testlar to'plami yordamida kompyuterdagi dasturlarni tekshirish. Sinov dasturlarning barcha to'g'ri ma'lumotlar bo'yicha dasturlarning to'g'ri bajarilishini kafolatlamasligi aniq. Binobarin, umumiy holatda test dasturlarda xatolar yo'qligiga to'liq kafolat bera olmaydi va bermaydi.
Eslatib o'tamiz, dasturni disk raskadrovka - bu kompyuter dasturlarida xatolarni topish va ularni tuzatish jarayoni. Biroq, dasturlarni disk raskadrovka paytida xatolarni qidirish testlar yordamida amalga oshirilganligi sababli, disk raskadrovka dasturlardagi barcha xatolarni topishga va tuzatishga to'liq kafolat bermaydi va printsipial jihatdan mumkin emas.
Xuddi shu sababga ko'ra dasturlarni disk raskadrovka jarayoni - kompyuterda xatolarni topish va tuzatish jarayoni qachon tugallangan deb hisoblanishi mumkinligi aniq emas. Va disk raskadrovka paytida dasturdagi barcha xatolar aniqlanganligini yoki yo'qligini hech kim ayta olmaydi.
Shunday qilib, pragmatik yondashuv deyarli barcha yirik kompyuter dasturlarida kuzatiladigan disk raskadrovka "tugallangandan" keyin ham xatolarni o'z ichiga olgan dasturlarni yaratish bilan to'la.