Mazkur uslubiy ko’rsatma Muhammad al-Xorazmiy nomidagi tatu samarqand filialining uslubiy Kengash tomonidan chop yetishga tavsiya yetildi

Spiral modelning afzalliklari va kamchiliklari
Afzalliklari: Spiral modeli foydali bo'lishi mumkin, chunki u xavflarni boshqaradi va rivojlanishni bosqichlarga ajratadi. Bundan tashqari, byudjet va jadvalni aniqroq baholashga yordam beradi, chunki yo'l to'siqlari oldinroq aniqlangan. 
Kamchiliklari: Ushbu model juda moslashtirilganligi sababli, jarayonni qayta joylashtirish chalkash bo'lishi mumkin. Bu, shuningdek, xavflarni baholashni yaxshi biladigan jamoa a'zolarini talab qiladi. 
8. Prototip modeli

Prototype chiqarilgan dasturiy ta'minot turli qismlariga ko'rish uchun ishlatiladi dasturiy ilovalar yoki tizim dasturiy ta'minot protetib yaratish tayanadi. Ushbu model foydalanuvchi bilan keng hamkorlik va fikr -mulohazalarni ta'minlab, talablarni noto'g'ri tushunish oralig'ini cheklash uchun ishlatiladi.
Prototip modelining afzalliklari va kamchiliklari
Afzalliklari : Prototip modeli foydalanuvchilarning katta ishtiroki bilan vaqt va xarajatlarni kamaytirishi mumkin.
Kamchiliklari : Ushbu model prototip va tayyor mahsulot o'rtasida chalkashliklarni keltirib chiqarishi mumkin va potentsial prototipni ishlab chiqish uchun ortiqcha vaqtni qo'shishi mumkin.
7-MAVZU: MA’LUMOTLARNI MODELLASHTIRISH
Ma'lumotlarni modellashtirish nima?
Ma'lumotlarni modellashtirish (ma'lumotlarni modellashtirish) - ma'lumotlar bazasida saqlanadigan ma'lumotlar uchun ma'lumotlar modelini yaratish jarayoni. Ushbu ma'lumotlar modeli Ma'lumotlar ob'ektlari, turli ma'lumotlar ob'ektlari o'rtasidagi assotsiatsiyalar va qoidalarning kontseptual tasviridir. Ma'lumotlarni modellashtirish ma'lumotlarning vizual ko'rinishida yordam beradi va ma'lumotlar bo'yicha biznes qoidalari, me'yoriy muvofiqlik va hukumat siyosatini amalga oshiradi. Ma'lumotlar modellari ma'lumotlar sifatini ta'minlagan holda nomlash konventsiyalari, standart qiymatlar, semantika va xavfsizlikda izchillikni ta'minlaydi. 
Ma'lumotlar modeli
Ma'lumotlar modeli ma'lumotlar tavsifi, ma'lumotlar semantik va ma'lumotlar doimiylik cheklovlarni tashkil mavhum modeli sifatida belgilangan. Ma'lumotlar modeli ma'lumotlar ustida qanday operatsiyalar bajarilishi o'rniga qanday ma'lumotlar kerakligi va qanday tashkil etilishi kerakligiga urg'u beradi. Ma'lumotlar modeli me'morning qurilish rejasiga o'xshaydi, u kontseptual modellarni yaratishga va ma'lumotlar elementlari o'rtasidagi munosabatni o'rnatishga yordam beradi.
Ma'lumotlarni modellashtirish texnikasining ikki turi mavjud:

1. 
   Shaxs munosabatlari (ER) modeli
   
2. 
   UML (Birlashtirilgan modellashtirish tili)
   

Ma'lumotlar modellarining turlari:

• 
  Kontseptual ma'lumotlar modeli
  
• 
  Mantiqiy ma'lumotlar modeli
  
• 
  Jismoniy ma'lumotlar modeli
  

Nima uchun Data Modelidan foydalanish kerak?
Ma'lumotlar modelidan foydalanishning asosiy maqsadi:

• 
  Ma'lumotlar bazasi tomonidan talab qilinadigan barcha ma'lumotlar ob'ektlarining to'g'ri ifodalanishini ta'minlaydi. Ma'lumotlarni o'tkazib yuborish noto'g'ri hisobotlarni yaratishga va noto'g'ri natijalarga olib keladi.
  
• 
  Ma'lumotlar modeli ma'lumotlar bazasini kontseptual, jismoniy va mantiqiy darajada loyihalashda yordam beradi.
  
• 
  Ma'lumotlar modeli tuzilishi relyatsion jadvallarni, asosiy va tashqi kalitlarni va saqlangan protseduralarni aniqlashga yordam beradi.
  
• 
  U asosiy ma'lumotlarning aniq tasvirini beradi va ma'lumotlar bazasini ishlab chiquvchilar tomonidan jismoniy ma'lumotlar bazasini yaratish uchun ishlatilishi mumkin.
  
• 
  Bundan tashqari, etishmayotgan va ortiqcha ma'lumotlarni aniqlash foydalidir.
  
• 
  Ma'lumotlar modelini dastlabki yaratish mehnat va vaqtni talab qilsa-da, uzoq muddatda IT infratuzilmangizni yangilash va texnik xizmat ko'rsatishni arzonroq va tezroq qiladi.
  

Ma'lumotlar modellarining turlari
Ma'lumotlar modellarining turlari: Ma'lumotlar modellarining asosan uch xil turi mavjud: kontseptual ma'lumotlar modellari, mantiqiy ma'lumotlar modellari va jismoniy ma'lumotlar modellari va ularning har biri o'ziga xos maqsadga ega. Ma'lumotlar modellari ma'lumotlarni va ular ma'lumotlar bazasida qanday saqlanishini va ma'lumotlar elementlari o'rtasidagi munosabatni o'rnatish uchun ishlatiladi.

1. 
   Kontseptual ma'lumotlar modeli: Ushbu ma'lumotlar modeli tizimda NIMALARNI o'z ichiga oladi. Ushbu model odatda biznes manfaatdor tomonlari va Data Architects tomonidan yaratiladi. Maqsad biznes tushunchalari va qoidalarini tashkil qilish, qamrab olish va aniqlashdir.
   
2. 
   Mantiqiy ma'lumotlar modeli: belgilaydi QANDAY tizimi qat'iy nazar DBMS amalga oshirilishi lozim. Ushbu model odatda Data Architects va Business Analysts tomonidan yaratilgan. Maqsad - qoidalar va ma'lumotlar tuzilmalarining texnik xaritasini ishlab chiqish.
   
3. 
   Jismoniy Data Model : Bu Data chiqarilgan ta'riflaydi QANDAY tizimi muayyan DBMS tizimi yordamida amalga oshiriladi. Ushbu model odatda DBA va ishlab chiquvchilar tomonidan yaratilgan. Maqsad - ma'lumotlar bazasini amalda joriy etish. Ma'lumotlar modeli turlari
   

Kontseptual ma'lumotlar modeli
Kontseptual ma’lumot modeli bazasi tushunchalar va ularning munosabatlar uyushgan view hisoblanadi. Ma'lumotlarning kontseptual modelini yaratishdan maqsad ob'ektlar, ularning atributlari va munosabatlarini o'rnatishdir. Ushbu ma'lumotlarni modellashtirish darajasida ma'lumotlar bazasining haqiqiy tuzilishi haqida deyarli hech qanday tafsilot mavjud emas. Biznes manfaatdor tomonlari va ma'lumotlar arxitektorlari odatda kontseptual ma'lumotlar modelini yaratadilar.
Kontseptual ma'lumotlar modelining 3 ta asosiy ijarachilari

• 
  Ob'ekt : haqiqiy dunyo narsasi
  
• 
  Atribut : ob'ektning xususiyatlari yoki xususiyatlari
  
• 
  Aloqa : ikki shaxs o'rtasidagi bog'liqlik yoki assotsiatsiya
  

Ma'lumotlar modeliga misol:

• 
  Xaridor va mahsulot ikki shaxsdir. Mijoz raqami va ismi mijoz shaxsining atributlari hisoblanadi
  
• 
  Mahsulot nomi va narxi mahsulot ob'ektining atributlari hisoblanadi
  
• 
  Sotish - bu xaridor va mahsulot o'rtasidagi munosabatlar
  

Kontseptual ma'lumotlar modeli
Kontseptual ma'lumotlar modelining xususiyatlari:

• 
  Tashkilot miqyosida biznes tushunchalarini qamrab olishni taklif qiladi.
  
• 
  Ushbu turdagi ma'lumotlar modellari biznes auditoriyasi uchun mo'ljallangan va ishlab chiqilgan.
  
• 
  Kontseptual model ma'lumotlarni saqlash hajmi, joylashuvi yoki DBMS sotuvchisi va texnologiyasi kabi dasturiy ta'minot spetsifikatsiyalari kabi apparat xususiyatlaridan mustaqil ravishda ishlab chiqilgan. Asosiy e'tibor ma'lumotlarni taqdim etishdir, chunki foydalanuvchi uni "haqiqiy dunyoda" ko'radi.
  

Domen modellari deb nomlanuvchi kontseptual ma'lumotlar modellari asosiy tushunchalar va qamrovni o'rnatish orqali barcha manfaatdor tomonlar uchun umumiy lug'at yaratadi.
Mantiqiy ma'lumotlar modeli
Mantiqiy ma'lumotlar modeli ma'lumotlar elementlar va ular orasidagi o'rnatilgan munosabatlar uchun tuzilishini aniqlash uchun ishlatiladi. Mantiqiy ma'lumotlar modeli kontseptual ma'lumotlar modeli elementlariga qo'shimcha ma'lumotlarni qo'shadi. Mantiqiy ma'lumotlar modelidan foydalanishning afzalligi jismoniy model uchun asos yaratish uchun asos yaratishdir. Biroq, modellashtirish tuzilishi umumiy bo'lib qolmoqda.
Mantiqiy ma'lumotlar modeli
Ushbu ma’lumot modeling darajasida asosiy yoki ikkilamchi kalit aniqlanmagan. Ushbu ma'lumotlarni modellashtirish darajasida siz aloqalar uchun avval o'rnatilgan ulagich tafsilotlarini tekshirishingiz va sozlashingiz kerak.
Mantiqiy ma'lumotlar modelining xususiyatlari:

• 
  Bitta loyiha uchun ma'lumotlarga bo'lgan ehtiyojni tavsiflaydi, lekin loyiha doirasiga asoslangan boshqa mantiqiy ma'lumotlar modellari bilan integratsiyalashishi mumkin.
  
• 
  DBMSdan mustaqil ravishda ishlab chiqilgan va ishlab chiqilgan.
  
• 
  Ma'lumotlar atributlari aniq aniqlik va uzunlikdagi ma'lumotlar turlariga ega bo'ladi.
  
• 
  Modelga normallashtirish jarayonlari odatda 3NF gacha qo'llaniladi.
  

Jismoniy ma'lumotlar modeli
Jismoniy ma'lumotlar modeli bir ma'lumotlar bazasi maxsus bajarilishini ifodalaydi. U ma'lumotlar bazasi abstraktsiyasini taklif qiladi va sxemani yaratishga yordam beradi. Bu jismoniy ma'lumotlar modeli tomonidan taqdim etilgan meta-ma'lumotlarning boyligi bilan bog'liq. Jismoniy ma'lumotlar modeli, shuningdek, ma'lumotlar bazasi ustunlari kalitlarini, cheklovlarni, indekslarni, triggerlarni va boshqa RDBMS xususiyatlarini takrorlash orqali ma'lumotlar bazasi strukturasini vizuallashtirishga yordam beradi.
Jismoniy ma'lumotlar modelining xususiyatlari:

• 
  Jismoniy ma'lumotlar modeli bitta loyiha yoki dastur uchun ma'lumotlarga bo'lgan ehtiyojni tavsiflaydi, lekin u loyiha doirasiga asoslangan boshqa jismoniy ma'lumotlar modellari bilan birlashtirilgan bo'lishi mumkin.
  
• 
  Ma'lumotlar modeli jadvallar o'rtasidagi munosabatlarni o'z ichiga oladi, ular munosabatlarning tubdan va nochorligini ko'rib chiqadi.
  
• 
  Loyihada foydalaniladigan DBMS, joylashuv, ma'lumotlarni saqlash yoki texnologiyaning ma'lum bir versiyasi uchun ishlab chiqilgan.
  
• 
  Ustunlarda aniq ma'lumotlar turlari, tayinlangan uzunliklar va standart qiymatlar bo'lishi kerak.
  
• 
  Birlamchi va tashqi kalitlar, ko'rinishlar, indekslar, kirish profillari va avtorizatsiyalar va boshqalar aniqlanadi.
  

Ma'lumotlar modelining afzalliklari va kamchiliklari:
Ma'lumotlar modelining afzalliklari:

• 
  Ma'lumotlar modelini loyihalashning asosiy maqsadi funktsional guruh tomonidan taqdim etilgan ma'lumotlar ob'ektlarining to'g'ri ifodalanishiga ishonch hosil qilishdir.
  
• 
  Ma'lumotlar modeli jismoniy ma'lumotlar bazasini yaratishda foydalanish uchun etarlicha batafsil bo'lishi kerak.
  
• 
  Ma'lumotlar modelidagi ma'lumotlar jadvallar, asosiy va tashqi kalitlar va saqlangan protseduralar o'rtasidagi munosabatni aniqlash uchun ishlatilishi mumkin.
  
• 
  Ma'lumotlar modeli biznesga tashkilotlar ichida va o'rtasida muloqot qilishda yordam beradi.
  
• 
  Modelni to'ldirish uchun to'g'ri ma'lumotlar manbalarini aniqlashga yordam bering
  

Ma'lumotlar modelining kamchiliklari:

• 
  Ma'lumotlar modelini ishlab chiqish uchun jismoniy ma'lumotlarning saqlangan xususiyatlarini bilish kerak.
  
• 
  Bu navigatsiya tizimi murakkab ilovalarni ishlab chiqish, boshqarishni ishlab chiqaradi. Shunday qilib, u biografik haqiqatni bilishni talab qiladi.
  
• 
  Tuzilishdagi kichikroq o'zgarishlar ham butun dasturni o'zgartirishni talab qiladi.
  
• 
  DBMSda ma'lumotlarni manipulyatsiya qilishning o'rnatilgan tili mavjud emas.
  

Xulosa

• 
  Ma'lumotlarni modellashtirish - bu ma'lumotlar bazasida saqlanadigan ma'lumotlar uchun ma'lumotlar modelini ishlab chiqish jarayoni.
  
• 
  Ma'lumotlar modellari nomlash konventsiyalari, standart qiymatlar, semantika, xavfsizlik va ma'lumotlar sifatini ta'minlashda izchillikni ta'minlaydi.
  
• 
  Ma'lumotlar modeli tuzilishi relyatsion jadvallarni, asosiy va tashqi kalitlarni va saqlangan protseduralarni aniqlashga yordam beradi.
  
• 
  Kontseptual, mantiqiy va jismoniy uch xil bo'ladi.
  
• 
  Kontseptual modelning asosiy maqsadi ob'ektlarni, ularning atributlarini va munosabatlarini o'rnatishdir.
  
• 
  Mantiqiy ma'lumotlar modeli ma'lumotlar elementlarining tuzilishini belgilaydi va ular orasidagi munosabatlarni o'rnatadi.
  
• 
  Jismoniy ma'lumotlar modeli ma'lumotlar modelining ma'lumotlar bazasiga xos amalga oshirilishini tavsiflaydi.
  
• 
  Ma'lumotlar modelini loyihalashning asosiy maqsadi funktsional guruh tomonidan taqdim etilgan ma'lumotlar ob'ektlarining to'g'ri ifodalanishiga ishonch hosil qilishdir.
  
• 
  Eng katta kamchilik shundaki, tuzilishdagi kichikroq o'zgarishlar ham butun dasturni o'zgartirishni talab qiladi.
  
• 
  Ma'lumotlarni modellashtirish bo'yicha ushbu qo'llanmani o'qib chiqib, siz Ma'lumotlar modeli nima kabi asosiy tushunchalarni bilib olasiz? Ma'lumotlar modelining har xil turlari, afzalliklari, kamchiliklari va ma'lumotlar modeli misoli bilan tanishish.
  

8-MAVZU: TALABLAR SPETSIFIKATSIYASI
Talablar spetsifikatsiyasi - bu talablar hujjatida foydalanuvchi va tizim talablarini yozish jarayoni. Ideal holda, foydalanuvchi va tizim talablari aniq, aniq, tushunarli, to'liq va izchil bo'lishi kerak. Amalda bunga erishish qiyin, chunki manfaatdor tomonlar talablarni turli yo'llar bilan izohlaydilar va ko'pincha talablarda o'ziga xos qarama-qarshiliklar va nomuvofiqliklar mavjud.
Tizim uchun foydalanuvchi talablari funktsional va funktsional bo'lmagan talablarni batafsil texnik bilimga ega bo'lmagan tizim foydalanuvchilari tomonidan tushunarli bo'lishi uchun tavsiflashi kerak. Ideal holda, ular faqat tizimning tashqi harakatlarini ko'rsatishi kerak. Talablar hujjatida tizim arxitekturasi yoki dizayni tafsilotlari bo'lmasligi kerak. Shunday qilib, agar siz foydalanuvchi talablarini yozayotgan bo'lsangiz, dasturiy ta'minot jargonidan, tuzilgan yozuvlardan yoki rasmiy belgilardan foydalanmasligingiz kerak. Siz foydalanuvchi talablarini tabiiy tilda, oddiy jadvallar, shakllar va intuitiv diagrammalar bilan yozishingiz kerak.
Tizim talablari - bu dastur muhandislari tomonidan tizim dizayni uchun boshlang'ich nuqta sifatida foydalaniladigan foydalanuvchi talablarining kengaytirilgan versiyalari. Ular tafsilotlarni qo'shadi va foydalanuvchi talablari tizim tomonidan qanday ta'minlanishi kerakligini tushuntiradi. Ular tizimni amalga oshirish bo'yicha shartnomaning bir qismi sifatida ishlatilishi mumkin va shuning uchun butun tizimning to'liq va batafsil tavsifi bo'lishi kerak.
Ideal holda, tizim talablari tizimning tashqi xatti-harakatlarini va uning ishlash cheklovlarini oddiygina tavsiflashi kerak. Ular tizim qanday ishlab chiqilishi yoki amalga oshirilishi bilan bog'liq bo'lmasligi kerak. Biroq, murakkab dasturiy ta'minot tizimini to'liq aniqlash uchun zarur bo'lgan detallar darajasida barcha dizayn ma'lumotlarini istisno qilish deyarli mumkin emas. Buning bir qancha sabablari bor:
1. Talablar spetsifikatsiyasini tuzishda yordam berish uchun tizimning boshlang'ich arxitekturasini loyihalashingiz kerak bo'lishi mumkin. Tizim talablari tizimni tashkil etuvchi turli kichik tizimlarga muvofiq tashkil etilgan.
2. Aksariyat hollarda tizimlar loyihani cheklaydigan va yangi tizimga talablar qo'yadigan mavjud tizimlar bilan o'zaro ishlashi kerak.
3. Funktsional bo'lmagan talablarni qondirish uchun maxsus arxitekturadan zarur bo'lishi mumkin. Tizimning xavfsiz ekanligini tasdiqlashi kerak bo'lgan tashqi regulyator allaqachon sertifikatlangan me'moriy dizayndan foydalanishni belgilashi mumkin.
Foydalanuvchi talablari deyarli har doim tabiiy tilda yozilgan bo'lib, talablar hujjatidagi tegishli diagrammalar va jadvallar bilan to'ldiriladi. Tizim talablari tabiiy tilda ham yozilishi mumkin, lekin shakllar, grafik tizim modellari yoki matematik tizim modellariga asoslangan boshqa belgilar ham ishlatilishi mumkin. 1-jadvalda tizim talablarini yozish uchun ishlatilishi mumkin bo'lgan belgilar umumlashtirilgan.
1-jadval

Notatsiya	Tavsifi
Tabiiy til gaplari	Talablar tabiiy tilda raqamlangan jumlalar yordamida yoziladi. Har bir jumla bitta talabni ifodalashi kerak.
Strukturaviy tabiiy til	Talablar standart shakl yoki shablonda tabiiy tilda yoziladi. Har bir maydon talabning bir tomoni haqida ma'lumot beradi.
Loyihaviy tavsiflash tili	Ushbu yondashuv dasturlash tili kabi tildan foydalanadi, lekin tizimning operatsion modelini aniqlash orqali talablarni belgilash uchun ko'proq mavhum xususiyatlarga ega. Ushbu yondashuv hozirda kamdan-kam qo'llaniladi, garchi u interfeys spetsifikatsiyalari uchun foydali bo'lishi mumkin.
Grafik notatsiyalar	Tizimga qo'yiladigan funksional talablarni aniqlash uchun matnli izohlar bilan to'ldirilgan grafik modellar qo'llaniladi; UML foydalanish holatlari va ketma-ketlik diagrammalari odatda qo'llaniladi.
Matematik spetsifikatsiya	Bu belgilar chekli holat mashinalari yoki toʻplamlar kabi matematik tushunchalarga asoslanadi. Garchi bu aniq spetsifikatsiyalar talablar hujjatidagi noaniqlikni kamaytirishi mumkin bo'lsa-da, ko'pchilik mijozlar rasmiy spetsifikatsiyani tushunmaydi. Ular bu ular xohlagan narsani ifodalashini tekshira olmaydi va uni tizim shartnomasi sifatida qabul qilishni istamaydi.

Grafik modellar holat qanday o'zgarishini ko'rsatish kerak bo'lganda yoki harakatlar ketma-ketligini tasvirlash kerak bo'lganda foydalidir. 5-bobda tasvirlangan UML ketma-ketlik jadvallari va holat jadvallari ma'lum bir xabar yoki hodisaga javoban sodir bo'ladigan harakatlar ketma-ketligini ko'rsatadi. Rasmiy matematik spetsifikatsiyalar ba'zan xavfsizlik yoki xavfsizlik uchun muhim tizimlarga qo'yiladigan talablarni tavsiflash uchun ishlatiladi, lekin boshqa holatlarda kamdan-kam qo'llaniladi. Men 12-bobda spetsifikatsiyalarni yozishga ushbu yondashuvni tushuntiraman.

Tabiiy til spetsifikatsiyasi
Dasturiy ta'minot injiniringining boshlanishidan boshlab dasturiy ta'minotga qo'yiladigan talablarni yozish uchun tabiiy tildan foydalanilgan. U ifodali, intuitiv va universaldir. Bundan tashqari, potentsial noaniq, noaniq va uning ma'nosi o'quvchining foniga bog'liq. Natijada, talablarni yozishning muqobil usullari bo'yicha ko'plab takliflar paydo bo'ldi.
Biroq, ularning hech biri keng tarqalgan bo'lib qabul qilinmagan va tabiiy til tizim va dasturiy ta'minot talablarini belgilashning eng keng tarqalgan usuli bo'lib qoladi.
Tabiiy til talablarini yozishda tushunmovchiliklarni kamaytirish uchun men sizga oddiy ko'rsatmalarga amal qilishingizni tavsiya qilaman:

1. 
   Standart formatni ixtiro qiling va barcha talab ta'riflari ushbu formatga mos kelishini ta'minlang. Formatni standartlashtirish kamchiliklarni kamaytirish va talablarni tekshirishni osonlashtiradi. Men foydalanadigan format talabni bitta jumlada ifodalaydi. Talab nima uchun taklif qilinganligini tushuntirish uchun har bir foydalanuvchi talabi bilan mantiqiy bayonotni bog'layman. Mantiqiy asos, shuningdek, talabni kim taklif qilgani (talab manbasi) haqidagi ma'lumotlarni o'z ichiga olishi mumkin, shunda talab o'zgartirilishi kerak bo'lsa, kimga murojaat qilishni bilishingiz mumkin.
   

2. Majburiy va kerakli talablarni farqlash uchun tildan izchil foydalaning. Majburiy talablar - bu tizim qo'llab-quvvatlashi kerak bo'lgan talablar va odatda "shall" yordamida yoziladi. Kerakli talablar muhim emas va "shuld" yordamida yoziladi.
3. Talabning asosiy qismlarini tanlash uchun matnni ajratib ko'rsatishdan (qalin, kursiv yoki rangli) foydalaning.
4. O'quvchilar texnik dasturiy ta'minot muhandisligi tilini tushunadi deb o'ylamang. "Arxitektura" va "modul" kabi so'zlarni noto'g'ri tushunish oson. Shuning uchun siz jargon, qisqartma va qisqartmalardan foydalanishdan qochishingiz kerak.
5. Iloji bo'lsa, har bir foydalanuvchi talabi bilan mantiqiy asosni bog'lashga harakat qilishingiz kerak. Mantiqiy talab nima uchun kiritilganligini tushuntirishi kerak. Bu, ayniqsa, talablar o'zgartirilganda foydalidir, chunki bu qanday o'zgarishlar istalmaganligini aniqlashga yordam beradi.
Quyida keltirilgan avtomatlashtirilgan insulin pompasi uchun o'rnatilgan dasturiy ta'minot uchun ikkita talabni o'z ichiga oladi.

1-rasm. Insulin nasosi
2-jadval. Insulin nasosiga bo'lgan talabning tuzilgan spetsifikatsiyasi

Insulin nasosi/ Boshqaruv DT/ SRS/ 3.3.2
Funksiya	Insulin dozasini hisoblash: Xavfsiz shakar darajasi
Tavsifi	Joriy o'lchangan shakar darajasi xavfsiz zonada 3 va 7 birlik oralig'ida bo'lganda yuboriladigan insulin dozasini hisoblab chiqadi.
Kiruvchi ma’lumot	Hozirgi shaker darasjasi r2 sifatida o’qiladi, avvlgilari r0 va r1.
Manba	Joriy shakar darajasi sensor orqali olinadi. Boshqalarini esa xotiradan olinadi.
Chiquvchi ma’lumot	CompDose- ta’minlab beriladigan insulin dozasi.
Tavsifi	Asosiy nazorat sikli
Harakat	Agar shakar darajasi barqaror bo'lsa yoki pasaysa yoki daraja ortib borayotgan bo'lsa, lekin o'sish tezligi pasaysa, CompDose nolga teng. Agar daraja ortib borayotgan bo'lsa va o'sish tezligi ortib borayotgan bo'lsa, CompDose joriy shakar darajasi va oldingi daraja o'rtasidagi farqni 4 ga bo'lish va natijani yaxlitlash orqali hisoblanadi. Agar natija nolga yaxlitlangan bo'lsa, CompDose yuborilishi mumkin bo'lgan minimal dozani o'rnatadi.
Talablar	Shakar darajasining o'zgarish tezligini hisoblash uchun oldingi ikkitani o'qish.
Old-shart	Insulin rezervuarida insulinning kamida ruxsat etilgan maksimal bir martalik dozasi mavjud.
So’ng-shart	r0 r1 bilan almashtiriladi, keyin r1 r2 bilan almashtiriladi.
Yon effektlar	None

Strukturaviy spetsifikatsiyalar

Strukturaviy tabiiy til - bu tizim talablarini yozish usuli bo'lib, unda talablar muallifining erkinligi cheklangan va barcha talablar standart tarzda yozilgan. Ushbu yondashuv tabiiy tilning ko'p ifodaliligi va tushunarliligini ta'minlaydi, lekin spetsifikatsiyaga qandaydir bir xillik yuklanishini ta'minlaydi. Strukturaviy til belgilari tizim talablarini belgilash uchun shablonlardan foydalanadi. Spetsifikatsiya muqobil variantlarni va iteratsiyani ko'rsatish uchun dasturlash tili konstruksiyalaridan foydalanishi mumkin va asosiy elementlarni soyalash yoki turli shriftlar.
Robertsonlar (Robertson va Robertson, 1999) o'zlarining VOLERE talablari muhandislik usuli haqidagi kitobida foydalanuvchi talablarini dastlab kartalarga yozishni tavsiya qiladi, har bir karta uchun bitta talab. Ular har bir kartada talablar asosi, boshqa talablarga bog'liqlik, talablar manbai, yordamchi materiallar va boshqalar kabi bir qator maydonlarni taklif qiladi. Bu 2-jadvalda ko'rsatilgan tuzilgan spetsifikatsiya misolida qo'llaniladigan yondashuvga o'xshaydi.
Tizim talablarini belgilashda tizimli yondashuvdan foydalanish uchun siz talablar uchun bir yoki bir nechta standart shablonlarni belgilaysiz va bu shablonlarni tuzilgan shakllar sifatida taqdim etasiz. Spetsifikatsiya tizim tomonidan boshqariladigan ob'ektlar, tizim tomonidan bajariladigan funktsiyalar yoki tizim tomonidan qayta ishlangan hodisalar atrofida tuzilishi mumkin. Shaklga asoslangan spetsifikatsiyaning misoli, bu holda, qon shakar xavfsiz diapazonda bo'lganida yuboriladigan insulin dozasini qanday hisoblashni belgilaydi.
3-shakl. Insulin pompasi uchun hisoblashning jadvalli spetsifikatsiyasi

Shart	Harakat
Shakar darajasi tushishi (r2	CompDose=0
Shakar darajasi stabil (r2=r1)	CompDose=0
Shakar darajasi oshishi va o’sish reyirngi tushmoqda ((r2-r1)<(r1-r0))	CompDose=0
Shakar darjasi oshishi va o’sihs reytingi stabil yoki o’smoqda ((r2-r1)>=(r1-r0))	CompDose _ round ((r2 _ r1)/4) If rounded result _ 0 then CompDose _ MinimumDose

Funktsional talablarni belgilash uchun standart shakldan foydalanilganda, quyidagi ma'lumotlar kiritilishi kerak:

1. Belgilanayotgan funksiya yoki ob'ektning tavsifi.
2. Uning kirishlari va ular qayerdan kelganligi tavsifi.
3. Uning natijalari tavsifi va ular qayerga ketadi.
4. Hisoblash uchun zarur bo'lgan ma'lumotlar yoki foydalaniladigan tizimdagi boshqa ob'ektlar haqida ma'lumot ("talab" qismi).
5. Amalga oshiriladigan harakatning tavsifi.
6. Funksional yondoshuv ishlatilsa, funksiya chaqirilgunga qadar nima to‘g‘ri bo‘lishi kerakligini belgilovchi oldingi shart va funksiya chaqirilgandan keyin nima rost bo‘lishini ko‘rsatuvchi post-shart.
7. Operatsiyaning yon ta'siri (agar mavjud bo'lsa) tavsifi.
Strukturaviy spetsifikatsiyalardan foydalanish tabiiy til spetsifikatsiyasining ba'zi muammolarini bartaraf qiladi. Spetsifikatsiyadagi o'zgaruvchanlik kamayadi va talablar yanada samarali tashkil etiladi. Biroq, ba'zida talablarni aniq va ravshan tarzda yozish hali ham qiyin, ayniqsa murakkab hisob-kitoblar (masalan, insulin dozasini qanday hisoblash) aniqlanganda.
Ushbu muammoni hal qilish uchun siz tabiiy til talablariga qo'shimcha ma'lumot qo'shishingiz mumkin, masalan, jadvallar yoki tizimning grafik modellaridan foydalanish. Bular hisob-kitoblar qanday davom etishini, tizim holati qanday o'zgarishini, foydalanuvchilarning tizim bilan o'zaro munosabatini va harakatlar ketma-ketligi qanday bajarilishini ko'rsatishi mumkin.
Jadvallar, ayniqsa, bir qator mumkin bo'lgan muqobil vaziyatlar mavjud bo'lganda foydali bo'ladi va ularning har biri uchun bajarilishi kerak bo'lgan harakatlarni tavsiflash kerak. Insulin pompasi insulinga bo'lgan ehtiyojni hisoblashda qon shakar darajasining o'zgarish tezligiga asoslanadi. O'zgarish stavkalari joriy va oldingi o'qishlar yordamida hisoblanadi.



Shakl 4.12 Talablar muhandislik jarayonining spiral ko'rinishi

9-MAVZU: LOYIHALASH METRIKALARI

Dasturiy ta'minotni o'lchash dasturiy ta'minot komponenti, tizim yoki jarayonning atributi uchun raqamli qiymat yoki profilni olish bilan bog'liq. Ushbu qiymatlarni bir-biri bilan va tashkilot bo'ylab amal qiladigan standartlar bilan taqqoslash orqali siz dasturiy ta'minot sifati haqida xulosa chiqarishingiz yoki dasturiy jarayonlar, vositalar va usullarning samaradorligini baholashingiz mumkin. Masalan, tashkilot yangi dasturiy ta'minotni sinovdan o'tkazish vositasini joriy qilmoqchi.
Asbobni joriy etishdan oldin, siz ma'lum bir vaqt ichida aniqlangan dasturiy ta'minotdagi nuqsonlar sonini qayd qilasiz. Bu vositaning samaradorligini baholash uchun asosdir. Asbobni biroz vaqt ishlatganingizdan so'ng, ushbu jarayonni takrorlang. Agar asbob joriy etilgandan so'ng bir xil vaqt ichida ko'proq nuqsonlar aniqlansa, u dasturiy ta'minotni tekshirish jarayoni uchun foydali yordam beradi deb qaror qilishingiz mumkin.
dasturiy ta'minot o'lchov uzoq muddatli maqsad dasturiy ta'minot sifati haqida hukm qilish uchun o'tilganlik joyda o'lchash foydalanish hisoblanadi. Dastur o'lchov foydalanish, bir tizim ideal ushbu choralarning dan, tizimi sifati uchun bir qiymati xulosa qilish mumkin, metrikalariga bir qator yordamida baholanadi va mumkin. dasturiy ta'minot zarur sifatli ostonasini etib edi, u ko'rib holda tasdiqlangan bo'lishi mumkin. Qachon muvofiq, o'lchash vositalari, shuningdek, ishlab chiqilgan bo'lishi mumkin dasturiy maydonlarini ta'kidlab mumkin. Biroq, biz avtomatlashtirilgan sifatli baholash yaqin kelajakda haqiqatga aylanadi, deb hech oyat-belgilar bordir, hali bu ideal vaziyat juda uzoq yo'l va.
Dasturiy ta'minot ko'rsatkichi - ob'ektiv ravishda o'lchanadigan dasturiy ta'minot tizimi, tizim hujjatlari yoki ishlab chiqish jarayonining xarakteristikasi. Ko'rsatkichlarga misollar kod satrlarida mahsulot hajmini o'z ichiga oladi; Tuman indeksi (Gunning, 1962), bu yozma matnning o'qilishining o'lchovidir; yetkazib berilgan dasturiy mahsulotdagi nosozliklar soni; va tizim komponentini ishlab chiqish uchun zarur bo'lgan odam-kunlar soni.
Dasturiy ta'minot ko'rsatkichlari nazorat ko'rsatkichlari yoki bashorat qiluvchi ko'rsatkichlar bo'lishi mumkin. Nomlardan ko'rinib turibdiki, boshqaruv ko'rsatkichlari jarayonni boshqarishni qo'llab-quvvatlaydi va bashorat qiluvchi ko'rsatkichlar dasturiy ta'minot xususiyatlarini taxmin qilishda yordam beradi. Nazorat ko'rsatkichlari odatda dasturiy jarayonlar bilan bog'liq. Nazorat yoki jarayon ko'rsatkichlariga misollar o'rtacha harakat va xabar qilingan nuqsonlarni tuzatish uchun zarur bo'lgan vaqtdir. Bashorat qiluvchi ko'rsatkichlar dasturiy ta'minotning o'zi bilan bog'liq va ba'zan "mahsulot ko'rsatkichlari" deb nomlanadi. Bashorat qiluvchi koʻrsatkichlarga misol qilib modulning siklomatik murakkabligi, dasturdagi identifikatorlarning oʻrtacha uzunligi va dizayndagi obʼyektlar sinflari bilan bogʻliq atributlar va amallar soni kiradi. Menejerlar jarayonni o'zgartirish kerakmi yoki yo'qligini hal qilish uchun jarayon o'lchovlaridan va dasturiy ta'minotni o'zgartirish uchun zarur bo'lgan harakatlarni baholashga yordam berish uchun bashorat qiluvchi ko'rsatkichlardan foydalanadilar. Ushbu bobda men asosan dasturiy ta'minot tizimining kodini tahlil qilish orqali qiymatlari baholanadigan bashorat qiluvchi ko'rsatkichlarni muhokama qilaman. 

1-rasm Prediktor va nazorat o'lchovlari
Dasturiy ta'minot tizimining o'lchovlaridan foydalanishning ikkita usuli mavjud:
1. Tizim sifati atributlariga qiymat berish. Tizim tarkibiy qismlarining siklomatik murakkabligi kabi xususiyatlarini o'lchash va keyin bu o'lchovlarni jamlash orqali siz tizim sifatining atributlarini, masalan, xizmat ko'rsatish qobiliyatini baholashingiz mumkin.
2. Kimning sifati sifatsiz tizim komponentlarini aniqlash uchun. O'lchovlarni me'yordan chetlashgan xususiyatlari bilan alohida-alohida qismlariga aniqlash mumkin. Misol uchun, siz eng yuqori murakkabligi bilan birga bo'lganlar kashf qismlariga o'lchash mumkin. Bu murakkabligi ularni qiyin tushunish qiladi, chunki xatolar o'z ichiga extimoli bor.
Ushbu atributlar haqida mulohaza yuritish uchun siz dasturiy ta'minotning ba'zi ichki atributlarini (masalan, uning hajmi, murakkabligi va boshqalar) o'lchashingiz va ular sizni qiziqtirgan sifat xususiyatlariga bog'liq deb taxmin qilishingiz kerak.

2-rasm Ichki va tashqi dasturiy ta'minot o'rtasidagi aloqalar

2-rasmda ba'zi tashqi dasturiy ta'minot sifati atributlari va ular bilan intuitiv ravishda bog'liq bo'lishi mumkin bo'lgan ichki atributlar ko'rsatilgan. Diagramma tashqi va ichki atributlar o'rtasida bog'liqlik bo'lishi mumkinligini ko'rsatadi, ammo bu atributlarning qanday bog'liqligi aytilmaydi. 

Dasturiy ta'minotning ichki atributlari, masalan, komponentning siklomatik murakkabligi dasturiy ta'minotning manba kodini tahlil qiluvchi dasturiy vositalar yordamida o'lchanadi. Ushbu o'lchovlarni amalga oshirish uchun ishlatilishi mumkin bo'lgan ochiq manba vositalari mavjud. Garchi sezgi dasturiy ta'minot komponentining murakkabligi va foydalanishda kuzatilgan nosozliklar soni o'rtasida bog'liqlik bo'lishi mumkinligini ko'rsatsa ham, buni ob'ektiv ravishda isbotlash qiyin. Ushbu gipotezani sinab ko'rish uchun sizga ko'p sonli komponentlar uchun nosozlik ma'lumotlari va tahlil qilish uchun komponent manba kodiga kirish kerak. Juda kam kompaniyalar o'zlarining dasturiy ta'minoti haqida ma'lumot to'plash bo'yicha uzoq muddatli majburiyatlarni oldilar, shuning uchun tahlil qilish uchun muvaffaqiyatsizlik ma'lumotlari kamdan-kam hollarda mavjud.
1990-yillarda Hewlett-Packard (Grady, 1993), AT&T (Barnard and Price, 1994) va Nokia (Kilpi, 2001) kabi bir qancha yirik kompaniyalar metrikalar dasturlarini joriy qildilar. Ular o'zlarining mahsulotlari va jarayonlarini o'lchashdi va ulardan sifatni boshqarish jarayonlarida foydalanishdi. Asosiy e'tibor dastur kamchiliklari va tekshirish va tasdiqlash jarayonlari bo'yicha ko'rsatkichlarni yig'ishga qaratildi. Offen va Jeffrey (1997) va Hall va Fenton (1997) sanoatda metrik dasturlarni joriy etishni batafsilroq muhokama qilishadi.
Sanoatda tizimli dasturiy ta'minotni o'lchashning joriy qo'llanilishi to'g'risida ommaga juda kam ma'lumot mavjud. Ko'pgina kompaniyalar o'zlarining dasturiy ta'minoti haqida ma'lumot to'plashadi, masalan, talablarni o'zgartirish so'rovlari soni yoki sinovda aniqlangan nuqsonlar soni. Biroq, ular dasturiy mahsulotlar va jarayonlarni solishtirish yoki dasturiy ta'minot jarayonlari va vositalariga o'zgarishlarning ta'sirini baholash uchun ushbu o'lchovlarni tizimli ravishda ishlatishlari aniq emas. Bu qiyin bo'lishining bir necha sabablari bor:
1. Bu tashkiliy tarzda o'lchab dasturini joriy etish investitsiyalar daromadliligini o'lchash mumkin emas. Bu tizimli dasturiy ta'minot o'lchash va baholash joriy etish boshlang'ich xarajatlarini oqlash qiyin, shuning uchun metrikalariga foydalanish holda o'tgan bir necha yil davomida dasturiy ta'minot sifati muhim harakat bor edi.
2. Dasturiy ta'minot ko'rsatkichlari yoki o'lchash va tahlil qilish uchun standartlashtirilgan jarayonlar uchun standartlar mavjud emas. Ko'pgina kompaniyalar bunday standartlar va yordamchi vositalar mavjud bo'lmaguncha o'lchov dasturlarini joriy etishni istamaydilar.
3. Ko'p kompaniyalar, dasturiy ta'minot jarayonlari standartlashtirilgan emas va kam belgilangan va nazorat qilinadi. kabi, o'lchovlari mazmunli tarzda foydalanish uchun shu kompaniya ichida juda ko'p jarayon o'zgaruvchanlik bor.
4. Dasturiy ta'minotni o'lchash va ko'rsatkichlar bo'yicha olib borilgan tadqiqotlarning aksariyati kodga asoslangan ko'rsatkichlarga va rejaga asoslangan rivojlanish jarayonlariga qaratilgan. Biroq, ERP tizimlari yoki COTSni sozlash yoki tezkor usullardan foydalangan holda tobora ko'proq dasturiy ta'minot ishlab chiqilmoqda. Shuning uchun biz oldingi tadqiqotlar ushbu dasturiy ta'minotni ishlab chiqish usullariga tegishlimi yoki yo'qligini bilmaymiz.
5. O'lchovni joriy etish jarayonlarga qo'shimcha xarajatlarni qo'shadi. Bu dasturni ishlab chiqish bilan bevosita bog'liq bo'lmagan texnologik jarayonlarni yo'q qilishni tavsiya etadigan tezkor usullarning maqsadlariga zid keladi. Shuning uchun tezkor usullarni qo'llagan kompaniyalar metrikalar dasturini qabul qilishlari ehtimoldan yiroq emas.
Dasturiy ta'minotni o'lchash va ko'rsatkichlar empirik dasturiy ta'minot muhandisligining asosidir (Endres va Rombach, 2003). Bu tadqiqot sohasi bo'lib, unda dasturiy ta'minot tizimlari bo'yicha tajribalar va real loyihalar haqida ma'lumotlar to'plash dasturiy ta'minot muhandisligi usullari va usullari haqidagi farazlarni shakllantirish va tasdiqlash uchun ishlatilgan.
Ushbu sohada ishlaydigan tadqiqotchilarning ta'kidlashicha, biz dasturiy ta'minot muhandisligi usullari va usullari haqiqatan ham o'z ixtirochilari taklif qilgan foydalarni taqdim etayotganiga aniq dalillar keltira olsak, ularning qiymatiga amin bo'lishimiz mumkin. Afsuski, ob'ektiv o'lchovlarni amalga oshirish va ulardan xulosa chiqarish mumkin bo'lganda ham, bu qaror qabul qiluvchilarni ishontirishi shart emas. Aksincha, qaror qabul qilishga ko'pincha sub'ektiv omillar ta'sir qiladi, masalan, yangilik yoki texnikalar amaliyotchilarni qanchalik qiziqtirishi. Menimcha, empirik dasturiy ta'minot muhandisligi natijalari dasturiy injiniring amaliyotiga sezilarli ta'sir ko'rsatishi uchun ko'p yillar kerak bo'ladi.
Mahsulot ko'rsatkichlari
Mahsulot ko'rsatkichlari dasturiy ta'minot tizimining ichki atributlarini o'lchash uchun ishlatiladigan bashorat qiluvchi ko'rsatkichlardir. Mahsulot ko'rsatkichlariga misollar kod satrlarida o'lchanadigan tizim o'lchamini yoki har bir ob'ekt sinfi bilan bog'liq usullarning sonini o'z ichiga oladi.
Afsuski, ushbu bo'limda avvalroq tushuntirganimdek, o'lcham va siklomatik murakkablik kabi oson o'lchanadigan dasturiy ta'minot xususiyatlari tushunarlilik va barqarorlik kabi sifat atributlari bilan aniq va izchil aloqaga ega emas. Aloqalar ishlab chiqish jarayonlari va foydalaniladigan texnologiya va ishlab chiqilayotgan tizim turiga qarab farqlanadi.
Mahsulot ko'rsatkichlari ikki sinfga bo'linadi:
1. Dinamik tarzda o'lchash. Bu tarzda o'lchash tizimi sinov paytida yoki tizim foydalanish ketdi keyin to'planishi mumkin. Bir misol, xato hisobotlarni soni yoki hisob bajarish uchun qabul vaqti bo'lishi mumkin.
2. Statik o'lchov. Statik metrikalariga misol kodi hajmi va foydalanish identifikatorlari o'rtacha uzunligi bor. Ushbu turdagi ko'rsatkichlar turli sifat atributlari bilan bog'liq. Dinamik ko'rsatkichlar dasturning samaradorligi va ishonchliligini baholashga yordam beradi. Statik ko'rsatkichlar dasturiy ta'minot tizimi yoki tizim komponentlarining murakkabligi, tushunarliligi va barqarorligini baholashga yordam beradi.
Odatda dinamik ko'rsatkichlar va dasturiy ta'minot sifati xususiyatlari o'rtasida aniq bog'liqlik mavjud. Muayyan funktsiyalar uchun talab qilinadigan bajarish vaqtini o'lchash va tizimni ishga tushirish uchun zarur bo'lgan vaqtni baholash juda oson. Bular to'g'ridan-to'g'ri tizimning samaradorligi bilan bog'liq. Shunga o'xshab, tizimdagi nosozliklar soni va nosozliklar turi 15-bobda muhokama qilinganidek, dasturiy ta'minotning ishonchliligi bilan bevosita bog'liq bo'lishi mumkin.
Ushbu tajribalarning hech biri yakuniy bo'lmagan, ammo dastur hajmi va boshqaruvning murakkabligi tushunarlilik, tizim murakkabligi va barqarorlikning eng ishonchli prognozi bo'lib tuyuladi.
10-MA’RUZA. DASTURIY TA’MINOTNING VERIFIKATSIYASI VA ATTESTATSIYASI
Reja:

• 
  Dtning verfikatsiyasi va attestatsiya o’rtasidagi farqlar bilan tanishish;
  
• 
  Dasturlarni inspeksiyalash bilan tanishish;
  
• 
  Verifikatsiyda static tahlil nima uchun asosiy metod ekanligini tushunib olish;
  

Verifikatsiya vs. Attestatsiya
Verifikatsiya va attestatsiya dasturiy ta’minotning o’z spetsifikatsiyasiga mosligi va buyurtmachi talablariga mos ekanligini tekshiradi. Verifikatsiya va attestatsiya DTning hayotiy siklini to’liq qamrab oladi – ular talablar bosqichida boshlanadi hamda testlash bosqichining dastur kodini testlashda tugallanadi.
Verifikatsiya va attestatasiya jarayonlarini adashtirib qo’yish osonligiga qaramasdan, ular bir narsa emas. Ular o’rtasidagi farqni quyidagicha tushuntirish mumkin:

• 
  Verifikatsiya “Tizim to’g’ri tuzildimi?” degan savolga javob beradi;
  
• 
  Attestatsiya esa, “Tizim to’g’ri ishlayaptimi?” degan savolga javob beradi.
  

Verifikatsiya DT ning tizim spetsifikatsiyasidafi funksional va nofunksional talablarga mosligini tekshiradi. Attestatsiya – yanada umumiy jarayon. Attestatsiya vaqtida dasturiy mahsulot buyurtmachi hohishlariga mosligiga ishonch hosil qilinadi. Tizim nafaqat spetsifikatsiyaga mosligini, balki foydalanuvchi hohishiga mosligini aniqlash uchun attestatsiya verifikatsiyadan keyin o’tkaziladi.
Ikki asosiy metodika
Verifikatsiya va attestatsiya jarayonida, tizimni tekshirish va tahlil qilish uchun 2 asosiy metodikadan foydalaniladi: