1-mavzu: Kirish uslubmetdiReja

Protseduraviy (algoritmik) dasturlash
Protseduraviy dasturlash - bu kompyuterning fon Neyman arxitekturasining aksidir. Protseduraviy tilda yozilgan dastur bu muammoni hal qilish algoritmini belgilaydigan buyruqlar ketma-ketligi. Protseduraviy dasturlashning asosiy g'oyasi ma'lumotlarni saqlash uchun xotiradan foydalanishdir. Asosiy buyruq - bu topshiriq, uning yordamida kompyuter xotirasi aniqlanadi va o'zgartiriladi. Dastur xotiraning tarkibini o'zgartiradi, uni dastlabki holatdan natijaga o'zgartiradi.
Protseduraviy dasturlashning afzalliklari va kamchiliklari: Dasturiy ta'minotning kamchiliklari qatoriga quyidagilar kiradi:

• 
  Katta loyihada ishlashda ko'plab xatolar xavfi. Siz juda ko'p protseduralarni yozishingiz kerak va bu kodning tozaligi va ishlashiga ta'sir qilmasligi mumkin.
  
• 
  Ushbu protseduralarning barchasi faqat uning ichida mavjud. Ular dasturning boshqa joylaridan qo'ng'iroq qilishlari mumkin emas va agar kerak bo'lsa, shunga o'xshash kod yozishingiz kerak bo'ladi. Va bu allaqachon dasturlashning asosiy tamoyillaridan biriga zid keladi, bu o'zingizni takrorlamang (o'zingizni takrorlamang) kabi ko'rinadi.
  
• 
  Yangi boshlanuvchilar uchun o'rganish qiyinligi. Ushbu kamchilik ba'zilarga uzoqdan tuyulishi mumkin, ammo oddiy statistik ma'lumotlarga ko'ra Protseduraviy dasturlash ko'pchilik yangi boshlanuvchilar uchun ob'ektga yo'naltirilgan dasturlashdan ko'ra qiyinroq. Foyda:
  
• 
  Har qanday protsedura (funktsiya) ni cheksiz ko'p marta chaqirish mumkin.
  
• 
  Murakkab ierarxiyaga ega bo'lmagan muammoni tezda hal qilish qobiliyati.
  

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.