11.2. Dasturiy ta'minotning to'liqligini ta'minlash.
PS ning to'liqligi PS ning funksionalligi va ishonchliligini ifodalash uchun PS sifatining umumiy primitividir va funksionallik uchun u yagona ibtidoiydir (4-ma'ruzaga qarang).
Dasturiy ta'minot tizimining funksionalligi uning funktsional spetsifikatsiyasi bilan belgilanadi. PS ning sifatining ibtidoiysi sifatida to'liqligi ushbu spetsifikatsiyaning berilgan PSda qanday amalga oshirilganligining o'lchovidir. Ushbu primitivni to'liq ta'minlash funktsional spetsifikatsiyada belgilangan funktsiyalarning har birini, u erda ko'rsatilgan barcha tafsilotlar va xususiyatlarni amalga oshirishni anglatadi. Oldin muhokama qilingan barcha texnologik jarayonlar buni qanday amalga oshirish mumkinligini ko'rsatadi.
Shu bilan birga, dasturiy ta'minot tizimining sifatini spetsifikatsiya qilishda dasturiy ta'minotning funksionalligini amalga oshirishning bir necha darajalarini aniqlash mumkin: birinchi navbatda amalga oshirilishi kerak bo'lgan ma'lum bir soddalashtirilgan (dastlabki yoki boshlang'ich) versiya va bir nechta oraliq versiyalar aniqlanishi mumkin. versiyalarini ham aniqlash mumkin. Bunday holda, qo'shimcha texnologik vazifa paydo bo'ladi: PSning funksionalligini oshirishni tashkil etish. Bu erda shuni ta'kidlash kerakki, dasturiy ta'minot tizimining soddalashtirilgan versiyasini ishlab chiqish uning prototipini ishlab chiqish emas. Prototip kelajakdagi PSni qo'llash shartlarini yaxshiroq tushunish, uning tashqi tavsifini aniqlashtirish uchun ishlab chiqilmoqda. U tanlangan foydalanuvchilar uchun mo'ljallangan va shuning uchun talab qilinadigan dasturiy ta'minot tizimidan nafaqat bajariladigan funktsiyalarda, balki foydalanuvchi interfeysi xususiyatlarida ham katta farq qilishi mumkin. Kerakli dasturiy ta'minot tizimining soddalashtirilgan versiyasi u mo'ljallangan har qanday foydalanuvchilar tomonidan amaliy foydalanish uchun mo'ljallangan bo'lishi kerak. Shu sababli, bunday dasturiy ta'minotning funksionalligini ta'minlashning asosiy printsipi dasturiy ta'minotni eng boshidan dastur to'liq talab qilinadigan tarzda, ishlab chiquvchilar dasturiy ta'minotning ushbu qismlari yoki detallari bilan shug'ullanmaguncha ishlab chiqishdir. uning sifati spetsifikatsiyasiga ko'ra keyinga qoldirilishi mumkin. Shunday qilib, PS arxitekturasining tashqi tavsifi ham, tavsifi ham to'liq ishlab chiqilishi kerak. Faqat ishlab chiqilgan dasturiy ta'minot tizimining arxitekturasida belgilangan, ushbu dasturiy ta'minot tizimining dastlabki versiyasida ishlashi talab qilinmaydigan dasturiy ta'minot quyi tizimlarini amalga oshirishni kechiktirish mumkin. Dasturiy ta'minotning quyi tizimlarini amalga oshirish eng yaxshi maqsadli konstruktiv amalga oshirish usuli bilan amalga oshiriladi, dasturiy ta'minotning dastlabki versiyasida ushbu versiyada ishlashi talab qilinmaydigan ushbu dasturiy modullarning tegishli simulyatorlarini qoldiradi. Tegishli funktsiyalarning ba'zi tafsilotlarini amalga oshirishni hisobga olmaganda, ba'zi dasturiy modullarni soddalashtirilgan tarzda amalga oshirish ham maqbuldir. Biroq, texnologik nuqtai nazardan, bunday modullar eng yaxshi o'ziga xos taqlidchi sifatida qaraladi (garchi juda rivojlangan bo'lsa ham).
Ishlab chiqilgan dasturiy ta'minot tizimidagi xatolar tufayli uning funksionalligini ta'minlashda erishilgan to'liqlik (uning sifati spetsifikatsiyasiga muvofiq) aslida kutilgandek bo'lmasligi mumkin. Faqatgina aytishimiz mumkinki, bu to'liqlik amalga oshirilgan sinov hajmi va sifati bilan belgilanadigan ma'lum bir ehtimollik bilan erishildi. Ushbu ehtimollikni oshirish uchun dasturiy ta'minot tizimini sinovdan o'tkazish va disk raskadrovka qilishni davom ettirish kerak. Biroq, bunday ehtimollikni baholash juda aniq vazifadir (PSda xatoning namoyon bo'lishi dastlabki ma'lumotlarning funktsiyasi ekanligini hisobga olgan holda), u hali ham tegishli nazariy tadqiqotlarni kutmoqda.
