Norqulov Ramazon Davlataliyevich 312-20-guruh talabasi O`zbekiston respublikasi axborot

 
 

---

Norqulov Ramazon Davlataliyevich 312-20-guruh talabasi 
4.1.2 Talablarni aniqlash 
Dasturiy ta'minotni ishlab chiqishning muhim muammolaridan biri talablarni 
aniqlash deb ataladi - mavhum g'oyalarni qabul qilish va rivojlanishning keyingi 
bosqichlari uchun asos bo'lgan aniq shaklda olish jarayoni. 
4.1.2.1 Talablarni aniqlash muammosi 
Talab ishlab chiquvchi uchun mutlaqo bir ma'noga ega bo'lmasligi uchun etarlicha 
batafsil bo'lishi kerak. Dasturiy ta'minotning mo'ljallangan xatti-harakatlarining har 
bir burchagi etarli darajada batafsil yoritilgan bo'lishi kerak. Shu bilan birga, albatta, 
talablarni aniqlash yetarli darajada engil bo'lishi kerak, shunda ular dasturiy 
ta'minotning butun hayoti davomida osongina boshqarilishi va yangilanishi va ishlab 
chiqish uchun etarli vaqt qoldirishi mumkin. 
Bunda keskinlik yotadi. Etarlicha batafsil, aniq talablar to'plamini ishlab chiqarish 
juda ko'p vaqt talab qilishi mumkin va ularni boshqarish va saqlash qiyin bo'lgan 
katta hajmdagi hujjatlar to'plamiga olib keladi. Boshqa tomondan, noaniqliklarni 
keltirib chiqaradigan kamroq batafsil talablar xatolar va xatolar uchun asos bo'lishi 
mumkin. 
Talablarni yaratish qanchalik qimmat bo'lishi mumkinligini tushunish uchun biz 
spektrning biroz chekkasidagi ba'zi talablar loyihalarini ko'rib chiqishimiz mumkin 
- dasturiy ta'minot tizimlarini qurish uchun "rasmiy usullar" dan foydalanish. 
Rasmiy usullar - bu dasturiy ta'minot talablari to'g'risida (boshqa narsalar qatorida) 
ularning to'g'riligi bo'yicha matematik asosli kafolatlar berish uchun matematik 
tizimlardan foydalanadigan texnikalar uchun umumiy atama. Shu nuqtai nazardan, 
ko'rib chiqilayotgan tizim modellashtiriladi (masalan, mavhum funktsiyalar to'plami 
yoki davlat mashinasi sifatida) va natijada olingan model muayyan xususiyatlarga 
bo'ysunishini (yoki aksincha ko'rsatmasligini) ta'minlash uchun tahlil qilinadi. 
Bunday texnikaning muvaffaqiyat hikoyalaridan biri C tili uchun CompCert 
kompilyatoridir. Bu erda C tili uchun to'liq kompilyator modellashtirilgan va "to'g'ri 
isbotlangan". Biroq, buning uchun taxminan ikki kishilik yil (teoremani isbotlash 
bo'yicha mutaxassis) mehnat va Coq teoremasini isbotlash tilida 400 000 qator dalil 
(talablarni o'zida mujassam etgan) talab qilindi. Bunday jalb qilingan 
yondashuvning salbiy tomonlari aniq - ular ko'p vaqt talab qiladi va manba kodini 
haqiqiy ishlab chiqish uchun kam resurs qoldiradi. 
Biroq, tabiiy tilning o'q nuqtalariga murojaat qilishning alternativi o'zining aniq 
muammolariga ega. Murakkab funksiyalarni ishlab chiquvchilar tushunadigan 
tarzda qo'lga kiritish qiyin bo'lishi mumkin va ular noaniq emas. Ogohlantirish 

---

Norqulov Ramazon Davlataliyevich 312-20-guruh talabasi 
muammosini Fred Bruks o'zining mashhur "kumush o'q yo'q" inshosida yaxshi 
ifodalagan.