8-ma'ruza. Dasturiy ta'minot modulini ishlab chiqish

8.3. Bosqichma-bosqich tafsilot va psevdokod tushunchasi.

Strukturaviy dasturlash modul matni qanday bo'lishi kerakligi haqida ko'rsatmalar beradi. Bunday matnni yaratish uchun dasturchi qanday harakat qilishi kerak degan savol tug'iladi. Ba'zan modulni dasturlash uning ishlash mantig'ini ko'rsatuvchi blok-sxemani qurishdan boshlanadi. Biroq, zamonaviy dasturlash texnologiyasi buni qilishni tavsiya etmaydi. Blok diagrammalar modulning ishlash mantig'ini juda aniq ko'rsatishga imkon bersa-da, ular dasturlash tilida kodlanganda, xatolarning o'ziga xos manbasi paydo bo'ladi: bundan tashqari, psixologik jihatdan yuqori darajadagi e'tiborni saqlash juda qiyin. uni qayta ko'rib chiqishda. Blok-sxemalarni qurish uchun grafik muharrir ishlatilsa va ular dasturlash tilidagi matn avtomatik ravishda ulardan hosil bo'ladigan tarzda rasmiylashtirilsa (masalan, buni R - texnologiyasida qilish mumkin) istisno bo'lishi mumkin.

Modul matnini qurishning asosiy usuli sifatida zamonaviy dasturlash texnologiyasi bosqichma-bosqich detallashtirishni tavsiya qiladi. Ushbu usulning mohiyati modul matnini ishlab chiqish jarayonini bir necha bosqichlarga bo'lishdir. Birinchi bosqichda modul ishining umumiy sxemasi kuzatilishi mumkin bo‘lgan chiziqli matn ko‘rinishida (ya’ni, juda katta tushunchalar yordamida) tasvirlanadi va bu tavsif to‘liq rasmiylashtirilmagan va inson idrokiga qaratilgan. Har bir keyingi bosqichda tushunchalardan biri aniqlangan va batafsil (biz uni tozalangan deb ataymiz), oldingi bosqichlardan birida ishlab chiqilgan har qanday tavsifda qo'llaniladi (qoida tariqasida, rasmiy emas). Ushbu bosqich natijasida tanlangan takomillashtirilgan kontseptsiyaning tavsifi yoki asosiy dasturlash tili (ya'ni, taqdimot uchun tanlangan modul) nuqtai nazaridan yoki yangi aniqlangan tushunchalar yordamida birinchi bosqichdagi kabi shaklda yaratiladi. Bu jarayon barcha takomillashtirilgan tushunchalar oxir-oqibatda asosiy dasturlash tilida ifodalanganda tugaydi. Oxirgi qadam, aniqlangan tushunchalarning barcha hodisalarini ularning berilgan tavsiflari bilan almashtirish va ushbu dasturlash tili yordamida tuzilgan dasturlash konstruksiyalarining barcha hodisalarini ifodalash orqali asosiy dasturlash tilida modul matnini olishdir.
Bosqichma-bosqich detallashtirish ko'rsatilgan tavsiflarni ifodalash uchun qisman rasmiylashtirilgan tildan foydalanish bilan bog'liq bo'lib, u psevdokod deb ataladi. Bu til sizga umumiy operatorlar va shartlarni ifodalash uchun tabiiy tildagi norasmiy fragmentlar bilan birga rasmiylashtirilgan barcha tuzilgan dasturlash konstruksiyalaridan foydalanish imkonini beradi. Asosiy dasturlash tilidagi tegishli fragmentlar umumlashtirilgan operatorlar va shartlar sifatida ham ko'rsatilishi mumkin.
Psevdokoddagi bosh tavsifini asosiy dasturlash tilida modulning tashqi dizayni deb hisoblash mumkin.
asosiy tilda modulning boshlanishi, ya'ni. ushbu modulning birinchi jumlasi yoki sarlavhasi (spetsifikatsiyasi);
tayanch tildagi tavsiflar bo'limi (to'plami), protseduralar va funktsiyalar tavsiflari o'rniga - faqat ularning tashqi dizayni;
modul tanasi operatorlari ketma-ketligini bitta umumlashtirilgan operator sifatida norasmiy belgilash (pastga qarang), shuningdek protsedura yoki funktsiyaning har bir tavsifi tanasi operatorlari ketma-ketligini bitta umumlashtirilgan operator sifatida norasmiy belgilash;
asosiy tilda modulning oxirgi jumlasi (oxiri).
Protsedura yoki funksiya tavsifining ko'rinishi o'xshash. Biroq, agar siz Dijkstra-ga amal qilsangiz, tavsiflar bo'limini bu erda norasmiy belgi bilan taqdim etgan ma'qul, uning tafsilotlarini alohida tavsif shaklida taqdim eting.
Psevdokodda umumlashtirilgan operatorning norasmiy belgilanishi tabiiy tilda uning mazmunini ifodalovchi ixtiyoriy jumla orqali amalga oshiriladi. Bunday belgini loyihalashning yagona rasmiy talabi quyidagilardan iborat: bu jumla butunlay bir yoki bir nechta grafik (bosma) chiziqlarni egallashi va nuqta bilan tugashi kerak.
Har bir norasmiy umumlashtirilgan operator uchun tuzilgan dasturlashning asosiy tuzilmalari va boshqa umumlashtirilgan operatorlar tarkibidan foydalangan holda uning ishlashi mantiqini ifodalovchi (uning mazmunini batafsil bayon qiluvchi) alohida tavsif yaratilishi kerak. Bunday tavsifning nomi batafsil umumiy operatorning norasmiy belgisi bo'lishi kerak. Strukturaviy dasturlashning asosiy tuzilmalari quyidagi shaklda ifodalanishi mumkin (8.2-rasmga qarang). Bu erda shart asosiy dasturlash tilida mantiqiy ifoda sifatida aniq ko'rsatilishi yoki tabiiy tilda norasmiy ravishda ushbu shartning ma'nosini ifodalovchi ba'zi bir parcha bilan ifodalanishi mumkin. Ikkinchi holda, ushbu shartni (tabiiy tildagi parcha) sarlavha sifatida belgilashni ko'rsatuvchi alohida tavsif yaratilishi kerak.

9. 
   Guruch. 8.2. Psevdokodda tuzilgan dasturlashning asosiy konstruksiyalari.
   
10. 
    Guruch. 8.3. Umumlashtirilgan operator sifatida o'tish operatorining maxsus holatlari.
    

Psevdokod bo'yicha umumlashtirilgan operator sifatida o'tish operatorining yuqoridagi alohida holatlaridan foydalanish mumkin (8.3-rasmga qarang). Istisno ishlovchilar (istisnolar) ketma-ketligi modul oxirida yoki protsedura (funktsiya) tavsifida ko'rsatilgan. Har bir bunday ishlov beruvchi quyidagicha ko'rinadi:
EXCEPTION istisno_nomi
generic_operator
BARCHA ISTISOZLAR
Istisno ishlov beruvchisi va parametrsiz protsedura o'rtasidagi farq quyidagicha: protsedura bajarilgandan so'ng, boshqaruv unga qo'ng'iroq qilinganidan keyin operatorga qaytadi va istisno bajarilgandan so'ng, modulga qo'ng'iroq qilinganidan keyin boshqaruv operatorga qaytadi. yoki protsedura (funktsiya), oxirida (qaysi) bu istisno qo'yiladi.
Tafsilotlashning har bir bosqichida etarli darajada mazmunli, ammo oson ko'rinadigan (tavsiflovchi) tavsifni yaratish tavsiya etiladi, shunda u matnning bir sahifasiga joylashtiriladi. Odatda, bu shuni anglatadiki, bunday tavsif besh yoki oltita tuzilgan dasturlash konstruktsiyalarining tarkibi bo'lishi kerak. Bundan tashqari, o'ngga bir nechta pozitsiyalarga siljish bilan ichki o'rnatilgan tuzilmalarni joylashtirish tavsiya etiladi (8.4-rasmga qarang). Natijada, aniqlik nuqtai nazaridan ish mantig'ining tavsifini olish mumkin, bu blok-sxemalar bilan ancha raqobatbardosh, ammo muhim afzalliklarga ega - tavsifning chiziqliligi saqlanib qoladi.

11. 
    

BIRINCHIDAN OLDIN FAYLDAGI YOZILMALARNI O'CHIRING, Qoniqarli filtr: FAYL BOSHLANISHINI SOZLASH. AGAR Muntazam KIRISH QONIQARSA FILTRLASH FAYDDAN DOIMIY KIRISHNI O'CHIRING. HAMMA AGAR Xayr AGAR YOZUVLAR O'CHIRILMASA "YAZIRISHLAR O'CHIRILMAYDI" BO'LING. "O'CHIRILGAN n YOZUVLAR" NI BOSIB ETING. HAMMA AGAR

Guruch. 8.4. Psevdokodda detallashtirishning bir bosqichiga misol.

12. 
    Dijkstra ba'zida bosqichma-bosqich tafsilot g'oyasi bilan ta'minlanadi. Biroq, Dijkstra modul matnini qurishning tubdan boshqacha usulini taklif qildi, bu bizga chuqurroq va istiqbolli ko'rinadi. Birinchidan, operatorlarni aniqlashtirish bilan birga, u qo'llaniladigan ma'lumotlar tuzilmalarini bosqichma-bosqich (bosqichma-bosqich) takomillashtirishni (tafsilotini) taklif qildi. Ikkinchidan, har bir qadamda u detallashtirish uchun virtual mashina yaratishni va uning shartlari bilan aytganda, ushbu mashina buni amalga oshirishga imkon beradigan barcha nozik tushunchalarni batafsil bayon qilishni taklif qildi. Shunday qilib, Dijkstra, mohiyatiga ko'ra, gorizontal qatlamlar bo'yicha detallashtirishni taklif qildi, bu uning qatlamli tizimlar haqidagi g'oyasini (6-ma'ruzaga qarang) modulni ishlab chiqish darajasiga o'tkazishdir. Modulni ishlab chiqishning ushbu usuli hozirda ADA til paketlari va ob'ektga yo'naltirilgan dasturlash vositalari tomonidan qo'llab-quvvatlanadi.
    
13.