1-ma’ruza. Murakkab programma tizimlarini ishlab chiqish muammolari. Programma ta’minotining hayotiy sikli. Programma ta’minotining arxitekturasi

Funktsional dasturlashdan farqlar. Funktsional dasturlashda bo'lgani kabi, tarkibiy qismlarga yo'naltirishda nafaqat mumkin, lekin funktsiyalar va protseduralardan foydalanish ham rag'batlantiriladi. Parchalanishning har ikkala turida funktsiyalarni boshqa funktsiyalar ichida, statik va dinamik o'zgaruvchilar, global va mahalliy tuzilmalar ichida ishlatish mumkin. Funktsional dasturlash uchun aniq ehtiyojni hisobga olgan holda, abstraktsiyalar kiritilmoqda, masalan: anonim lambda funktsiyalari, rekursiyaning qaytarilishi, yon ta'siri va boshqa bir qator xususiyatlar. Funktsional dasturlashda bir qator vositalar aslida ortiqcha, ammo boshqa qismi haqiqatan ham zarur, ammo bu faqat muammoni yanada kuchaytiradi: funktsional dasturlash uchun xarakterli turli xil effektlar tufayli dasturchi aql mantig'ini yo'qotishi va qandaydir zerikarli xatoga yo'l qo'yishi mumkin, uni aniqlash mumkin. vaqtning juda katta qismi. C kabi til - bunday paradigmani to'liq ifodalaydi. Uch chiziqli miltiq kabi qudratli va xavfli - siz hazil bilan o'zingizni oyoqqa otib o'ldirishingiz mumkin. Umuman olganda, funktsional dasturlash haqida shuni aytish mumkinki, u nisbatan sodda apparat platformalarida yuqori tezlikda ishlashi kerak bo'lgan oddiy loyihalarga juda mos keladi. Komponentga yo'naltirilgan dasturlash imkon qadar ishonchli va moslashuvchan bo'lishi uchun barcha mavjud vositalarga intiladi. Umuman olganda, dastur KYDda bir nechta yaxshi izolyatsiya qilingan qismlardan iborat. Bu aniq tuzilishga va ma'lumotlarni uzatish va qayta ishlashning oddiy samarali qoidalariga olib keladi, bu albatta ishonchlilikka ijobiy ta'sir qiladi. Ma'lumotni yashirish dasturchi uchun keraksiz ma'lumotlarni yo'q qiladi, bu unga vazifaning muhim qismiga e'tibor qaratish imkonini beradi. Tilni soddalashtirish va dasturlashning ko'plab shubhali usullarini rad qilish dasturchini zerikarli xato qilish qiyin bo'lgan tushunishga oson bo'lgan dastur kodini yozishga majbur qiladi. KYD ruhida dasturlash tilini tuzuvchisi sizga dastur tuzish uchun ruxsat bermaydi, unda dasturchi ma'lumotlar turlarining o'zaro munosabatlari buzilishini tan oladi. Aytish mumkinki, KYD yordamida yaratilgan dasturlarning ishonchliligi asosiy talabdir. Shu munosabat bilan komponentlarga yo'naltirilgan dasturlash uchun maxsus yaratilgan tillarning sintaksisi juda sodda va ifodali. Masalan, Paskal komponenti tilida, yuqorida aytib o'tilgan C kabi o'qib bo'lmaydigan qurilish. C dasturchisi nimani yodda tutganini tushunishga urinish bilan siz ish vaqtining katta qismini sarflashingiz mumkin. Umuman olganda, KYD haqida aytish mumkinki, u maxsus ishonchlilik talablariga ega bo'lgan yirik dasturiy ta'minot tizimlari uchun mo'ljallangan.