Fanidan mustaqil ish bajardi: 311-20 guruh talabasi Bekmirzayev Muhammadali

4.1.2 Talablar olish
Dasturlashning muhim muammolardan biri "talablar olish" deyiladi - g'oyalarini aniq shaklda olg'a sifatida olib, undan kelib chiqadigan keyingi bosqichlar uchun asos qiluvchi shaklda qayta ishlash jarayoni.


4.1.2.1 Talablar olishning qiyinchiligi
Talab boshlovchiga qo'l keladigan bo'lishi uchun tafsilotli ko'p tomondan muayyan talabni shakllantirish kerak. Maksadlangan dastur davrining har bir kuchi yo'nalishlari qamrab olinishi kerak va yetarli darajada tafsilotli bo'lishi kerak. Biroq, talablar olish jarayoni juda qulay bo'lishi kerak, shuning uchun ular dasturning barcha hayot muddatida qulay boshqarilishi va yangilanishi uchun yetarli vaqt bo'lishi kerak.
Bu yerda tensiya mavjud. Yetarli darajada tafsilotli, noaniq bo'lmasligi uchun qulay bo'ladigan talablarni ishlab chiqarish, tahlil qilish va boshqarishga qodir bo'ladigan ko'plab hujjatlarni shakllantirish va saqlashga olib keladi. Boshqa yo'lda, kam tafsilotli talablar, keyingi bosqichlarda noaniqliklarni oshirish, xato va bog'lovchiliklarga olib kelishi mumkin.
Talablar olishning qancha qimmat bo'lishini ko'rsatish maqsadida, dastur tizimlarini qurishning bir necha yo'qotilgan uchida talablarga oid loyihalariga qaraymiz - dasturlarni amalga oshirishni matematik asoslar yordamida rag'batlantirishning "Formal Methods" deb ataladigan texnikalarni. Formal Methods, dasturlar talablari bilan bog'liq holatlarda (boshqa narsalar orasida) matematik modellar ishlatadigan texnikalarni anglatadi, bu modellar talablarning to'g'ri bo'lishi haqida matematik jihatdan javobgarlikka ega bo'lishini ta'minlash maqsadida ishlatiladi. Bu kontekstda, muhokama qilinadigan tizim (masalan, bir to'plam o'zgaruvchalar yoki holatlar sifatida) asosan (masalan, abstrakt funktsiyalar to'plami yoki holat avtomati) quriladi va natijadagi model talablarni bajaradi (yoki aksincha, ko'rsatmaydi).
Ushbu texnikaning muvaffaqiyatli tarixi, C tillari uchun CompCert tuzgich
ining qismatidir. Bu yerda, C tillari uchun to'liq tuzgich modeli yaratildi va "tahqiq qilingan" sifatida hisoblandi. Biroq, bu uchun yaklasik 2 kishi-yillik vaqtni (teorema isbotlashida mutahassisning xakidagi) va 400,000 qatorlik doklarni [91] (talablarni aks etkazadiganlar) talab etdi (ular Coq teorema isbotlash tilida amalga oshirildi). Ushbu muammolanuvchi qaror beringan yondashuvlar ma'lum - ular vaqtni sarflaydi va manba kodi yaratish uchun kam resurs qoldiradi.
Biroq, qalamdan yozilgan natural tildagi bulletlika qaytish varianti o'zining o'ziga xos muammolarga ega. Murakkab funktsiyalar dasturchilar tomonidan tushunish uchun va noaniqliksiz bo'lmagan shaklda ifodalash kuchli bo'lishi mumkin. Talablarni olish muammolari Fred Brooksning mashhur "no silver bullet" tanqidiy maqolasida yaxshi ifodalangan edi [25]:
1. Talablar qanchalik qimmat bo'lishini tasavvur qilish dastur tizimini qurishning eng qiyin qismidir. Noaniqlikda bajarilgan ishlar to'g'risida juda to'liq ma'lumotlar aniqlashdan boshqa konseptual ishning boshqa qismi to'g'rimasdan amalga oshishda dastur tizimiga katta zarar keltirishi mumkin. To'g'rilash unchalik qiyin bo'lgan qismi keyinchalik tuzatishning asosiy manbai bo'lganidan ko'ra.