Sinov oq quti

Foydalanish imkoniyati testi

A) Yukni tekshirish

Ishlash testi

Funktsional test

Sinov dasturiy ta'minot

Sinov - bu xatolarni topish maqsadida (yoki maqsadi) dasturni (yoki dasturning bir qismini) bajarish jarayoni.

Sinov turlarini tasniflash odatiy hol bo'lgan bir nechta mezonlar mavjud. Odatda, quyidagi belgilar ajralib turadi:

I) Tekshirish ob'ektiga ko'ra:

(ushbu tizimga qo'yiladigan talablarga muvofiqligini aniqlash uchun tashqi so'rovga javoban dasturiy-apparat tizimi yoki qurilmaning ishlashi va javob berish vaqti ko'rsatkichlarini aniqlash yoki yig'ish)

b) Stress testi

(normal ishlash chegaralaridan oshib ketish sharoitida tizimning ishonchliligi va barqarorligini baholaydi.)

c) barqarorlikni tekshirish

4) Foydalanuvchi interfeysi sinovi

5) Xavfsizlik sinovi

6) Mahalliylashtirish testi

7) Muvofiqlik testi

II) Tizimni bilish bilan:

1) Qora quti sinovi

(ichki tuzilishi noma'lum ob'ekt sinovdan o'tkazilmoqda)

(dasturning ichki tuzilishi tekshiriladi, dastur mantig'ini tahlil qilish orqali test ma'lumotlari olinadi)

III) Avtomatlashtirish darajasi bo'yicha:

1) qo'lda sinov

2) Avtomatlashtirilgan sinov

3) Yarim avtomatlashtirilgan sinov

IV) Komponentlarning izolyatsiyalanish darajasiga ko'ra:

1) Komponent (birlik) sinovi

2) Integratsiya testi

3) tizim sinovi

V) Tekshirish vaqti bo'yicha:

1) Alfa testi- to'liq vaqtli ishlab chiquvchilar yoki testerlar tomonidan dasturni sinovdan o'tkazishning yopiq jarayoni. Alfa mahsuloti ko'pincha atigi 50% to'ldiriladi, dastur kodi mavjud, ammo dizaynning muhim qismi yo'q.

2) Beta sinovi- og'ir foydalanish tugallangan versiya Ommaviy iste'molchiga bozorga yakuniy kirishdan oldin ularni keyinchalik bartaraf etish uchun uning ishidagi xatolarning maksimal sonini aniqlash uchun dasturlar. Sinovga oddiy kelajakdagi foydalanuvchilar orasidan ko'ngillilar jalb qilingan.

Dasturiy ta'minotni tekshirish testdan ko'ra umumiyroq tushunchadir. Tekshirishning maqsadi tekshirilayotgan ob'ektning (talablar yoki dastur kodi) talablarga javob berishi, mo'ljallanmagan funktsiyalarsiz amalga oshirilishi va dizayn spetsifikatsiyalari va standartlariga javob berishiga ishonch hosil qilishdir. ISO 9000-2000). Tekshirish jarayoni tekshiruvlar, kod sinovlari, test natijalarini tahlil qilish, muammoli hisobotlarni yaratish va tahlil qilishni o'z ichiga oladi. Shunday qilib, sinov jarayoni umumiy qabul qilinadi ajralmas qismi tekshirish jarayoni.

Sankt-Peterburg

Davlat elektrotexnika universiteti

MOEM bo'limi

intizom bo'yicha

"Dasturiy ta'minotni ishlab chiqish jarayoni"

"Dasturiy ta'minotni tekshirish"

Sankt-Peterburg

Tekshirish maqsadi ………………………………………………………………… 3-bet.

Kirish so'zlari…………………………………………………………….. 3-bet.

Maxsus va umumiy maqsadlar……………………………………….. 4-bet

Maqsadlar bo'yicha kutilgan amaliyot…………………………………… 4-bet

SG1 Tekshiruvga tayyorlanmoqda……………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………………… 4-bet

SG2 Imtihonlarni o'tkazish (bir-birini baholash)………………………… 7-bet

SG3 Tekshiruvni amalga oshirish……………………………………………..... 9-bet.

Ilova 1. Tekshiruv jarayonini avtomatlashtirish vositalariga umumiy nuqtai……….. 11-bet

2-ilova. Asosiy zamonaviy yondashuvlar tekshirish uchun………….. 12-bet

Foydalanilgan adabiyotlar roʻyxati…………………………………………….. 14-bet.

Mukammallik va etuklikning integratsiyalashgan modeli

Tasdiqlash (3 etuklik darajasi)

Maqsad

Tekshirishning maqsadi tanlangan o'rta dastur yoki yakuniy mahsulot belgilangan talablarga javob berishiga ishonchni ta'minlash.

1. suv yozuvlari

Dasturiy ta'minot mahsulotlarini tekshirish tayyor mahsulot yoki uning oraliq versiyalarini tekshirish asl talablarni qondirish uchun. Bu nafaqat dasturning o'zini sinab ko'rishni, balki loyihani, foydalanuvchi va texnik hujjatlarni va hokazolarni tekshirishni ham nazarda tutadi.

Dasturiy ta'minot tizimini tekshirishning maqsadi hayot aylanish bosqichlarida yo'l qo'yilishi mumkin bo'lgan xatolarni aniqlash va hisobot berishdir. Tekshirishning asosiy vazifalari:

yuqori darajadagi talablarning tizim talablariga muvofiqligini aniqlash;

tizim arxitekturasida yuqori darajadagi talablarni hisobga olish;

dastlabki koddagi arxitektura va unga qo'yiladigan talablarga muvofiqligi;

bajariladigan kodning tizimga qo'yiladigan talablarga muvofiqligini aniqlash;

texnik jihatdan to'g'ri va etarlicha to'liq bo'lgan yuqoridagi vazifalarni hal qilish uchun qo'llaniladigan vositalarni aniqlash.

Tekshirish tayyor mahsulotlarni tekshirishni va oraliq mahsulotlarni barcha tanlangan talablarga, shu jumladan mijozlar talablari, tayyor mahsulotlarga qo'yiladigan talablar va uning alohida komponentlariga qo'yiladigan talablarga muvofiqligini tekshirishni o'z ichiga oladi.

Tekshiruv o'z mohiyatiga ko'ra, mahsulot ishlab chiqarish va mahsulot ustidagi barcha ishlar boshlangan paytdan boshlab qo'shimcha (qo'shimcha) jarayondir. Tekshirish talablarni tekshirishdan boshlanadi, so'ngra barcha oraliq mahsulotlarni ishlab chiqish va ishlab chiqarishning turli bosqichlarida tekshirishdan so'ng, yakuniy mahsulotni tekshirish bilan yakunlanadi.

Oraliq mahsulotlarni ishlab chiqish va ishlab chiqarishning har bir bosqichida tekshirish yakuniy mahsulot mijozning talablariga, tayyor mahsulotga qo'yiladigan talablarga va uning alohida tarkibiy qismlariga qo'yiladigan talablarga javob berish ehtimolini sezilarli darajada oshiradi.

Jarayonlarni tekshirish va tasdiqlash asosan turli natijalarga erishishga qaratilgan bir-biriga bog'liq jarayonlardir. Tasdiqlashning maqsadi tayyor mahsulot haqiqatan ham asl maqsadiga mos kelishini ko'rsatishdir. Tekshirish mahsulotning ma'lum talablarga to'liq javob berishiga ishonch hosil qilishga qaratilgan. Boshqacha qilib aytganda, Verification “ siz buni to'g'ri qilasiz” va Tasdiqlash bu “ siz to'g'ri ish qilyapsiz”.

Tasdiqlash iqtisodiy samaradorlik va samaradorlikni baholash uchun tegishli jarayonlarda (masalan, yetkazib berish, ishlab chiqish, ishlatish yoki texnik xizmat ko'rsatish kabi) imkon qadar erta amalga oshirilishi kerak. Bu jarayon tahlil qilish, tekshirish va sinovdan o'tkazishni o'z ichiga olishi mumkin.

Bu jarayon ijrochilarning turli darajadagi mustaqilligi bilan amalga oshirilishi mumkin. Ijrochilarning mustaqillik darajasi tashkilotning o'zidagi turli xil sub'ektlar o'rtasida ham, javobgarlik taqsimotining turli darajalariga ega bo'lgan boshqa tashkilotdagi sub'ektlar o'rtasida ham taqsimlanishi mumkin. Bu jarayon jarayon deb ataladi mustaqil tekshirish agar amalga oshiruvchi tashkilot sotuvchi, ishlab chiquvchi, operator yoki texnik xizmat ko'rsatuvchidan mustaqil bo'lsa.

Ekspert baholashlari (mutaxassislik) nuqsonlarni samarali bartaraf etish uchun yaxshi tashkil etilgan vosita sifatida tekshirishning muhim qismidir. Bundan muhim xulosa - mahsulotning ishchi versiyalarini, shuningdek, mumkin bo'lgan kamchiliklarni aniqlash va kerak bo'lganda yaxshilash uchun imkoniyat yaratish uchun foydalaniladigan ish jarayonlarini chuqurroq tushunish va tushunishni rivojlantirish zarurati.

Tekshiruvlar kamchiliklarni va boshqa zarur o'zgarishlarni aniqlash uchun mutaxassislar tomonidan bajarilgan ishlarni uslubiy o'rganishni o'z ichiga oladi.

Ekspert baholashning asosiy usullari quyidagilardan iborat:

tekshirish

oxirigacha tarkibiy nazorat

Tasdiqlash va tekshirishning ikkita tushunchasi ko'pincha chalkashib ketadi. Bundan tashqari, tizim talablarini tekshirish ko'pincha tizimni tekshirish bilan aralashtiriladi. Men bu masalani ko'rib chiqishni taklif qilaman.

Maqolada men ob'ektni modellashtirishning ikkita yondashuvini ko'rib chiqdim: yaxlit va tuzilma sifatida. Hozirgi maqolada bizga ushbu bo'linish kerak bo'ladi.

Aytaylik, bizda ishlab chiqilgan funktsional ob'ekt bor. Ushbu ob'ektni biz boshqa funktsional Ob'ektni qurishning bir qismi sifatida ko'rib chiqaylik. Ob'ektning konstruktsiyasining tavsifi bo'lsin, unda ob'ektning tavsifi mavjud bo'lsin. Bunday tavsifda ob'ekt bir butun sifatida tavsifga ega, ya'ni uning boshqa ob'ektlar bilan o'zaro ta'sir qilish interfeyslari Ob'ektni qurish doirasida tasvirlangan. Ob'ektning struktura sifatida tavsifi berilsin. Ob'ektning struktura sifatida tavsifini loyihalash uchun talablarni o'z ichiga olgan axborot ob'ekti bo'lsin. Xulosa qilish qoidalarini o'z ichiga olgan bilimlar to'plami mavjud bo'lsin, ular asosida ob'ektning struktura sifatida tavsifi ob'ektni bir butun sifatida tavsiflashdan olinadi. Bilimlar to'plami dizaynerlarga institutlarda o'rgatilgan narsa - juda ko'p, ko'p bilim. Ular ob'ekt haqidagi bilimlar asosida uning tuzilishini loyihalash imkonini beradi.

Demak, boshlashingiz mumkin. Biz shuni ta'kidlashimiz mumkinki, agar ob'ekt bir butun sifatida to'g'ri tasvirlangan bo'lsa, bilimlar to'plami to'g'ri bo'lsa va xulosa qilish qoidalariga rioya qilingan bo'lsa, u holda ob'ekt qurilishining natijaviy tavsifi to'g'ri bo'ladi. Ya'ni, ushbu tavsif asosida mos keladigan funktsional ob'ekt real sharoitlar operatsiya. Qanday xavflar paydo bo'lishi mumkin:

1. Ob'ekt haqida noto'g'ri bilimlardan foydalanish. Odamlar ongidagi Ob'ekt modeli haqiqatga mos kelmasligi mumkin. Ular, masalan, zilzilalarning haqiqiy xavfini bilishmagan. Shunga ko'ra, ob'ektga qo'yiladigan talablar noto'g'ri tuzilgan bo'lishi mumkin.

2. Ob'ekt haqidagi bilimlarning to'liq bo'lmaganligi - nimadir o'tkazib yuborilgan, xatolarga yo'l qo'yilgan. Misol uchun, ular shamollar haqida bilishgan, lekin uni eslatishni unutishgan. Bu ob'ektga qo'yiladigan talablarning etarli darajada to'liq tavsiflanmaganligiga olib kelishi mumkin.

3. Noto'g'ri bilimlar to'plami. Bizga massaning boshqa parametrlardan ustunligi o'rgatilgan, ammo biz tezlikni oshirishimiz kerak edi.

4. Ob'ekt tavsifiga xulosa chiqarish qoidalarini noto'g'ri qo'llash. Mantiqiy xatolar, ob'ekt dizayniga qo'yiladigan talablarda biror narsa etishmayapti, talablar izi buzilgan.

5. Tizimni loyihalash bo'yicha olingan xulosalarni to'liq qayd etmaslik. Hamma narsa hisobga olindi, hamma narsa hisoblandi, lekin ular yozishni unutishdi.

6. Yaratilgan tizim tavsifga mos kelmaydi.

Ko'rinib turibdiki, barcha loyiha artefaktlari, qoida tariqasida, to'ldirilgan shaklda faqat loyiha oxirida paydo bo'ladi va hatto har doim ham emas. Ammo, agar biz rivojlanishni sharshara deb hisoblasak, unda xavflar men ta'riflaganimdek. Har bir xavfni tekshirish - bu nom berilishi mumkin bo'lgan maxsus operatsiya. Agar kimdir qiziqsa, siz ushbu shartlarni o'ylab topishga harakat qilishingiz mumkin.

Tekshirish nima? Rus tilida tekshirish - bu qoidalarga muvofiqligini tekshirish. Qoidalar hujjat shaklida. Ya'ni, hujjatlar talablari bilan hujjat bo'lishi kerak. Agar hujjatlar ushbu hujjat talablariga javob bersa, u tekshiruvdan o'tgan.

Tasdiqlash nima? Rus tilida tasdiqlash - bu xulosalarning to'g'riligini tekshirish. Ya'ni, ob'ekt ma'lumotlari asosida dizayn tavsifini qanday olishni tavsiflovchi bilimlar to'plami bo'lishi kerak. Ushbu xulosalarni qo'llashning to'g'riligini tekshirish validatsiya hisoblanadi. Tasdiqlash, boshqa narsalar qatori, tavsifning izchilligi, to'liqligi va tushunarliligini tekshirish.

Talablarni tekshirish ko'pincha ushbu talablar asosida yaratilgan mahsulotni tekshirish bilan aralashtiriladi. Buni qilishga arzimaydi.

jamoada ikki kishidan ortiq bo'lsa, muqarrar ravishda jamoadagi rollar, huquqlar va majburiyatlarni taqsimlash masalasi ko'tariladi. Muayyan rollar to'plami ko'plab omillar bilan belgilanadi - rivojlanish ishtirokchilari soni va ularning shaxsiy imtiyozlari, qabul qilingan rivojlanish metodologiyasi, loyiha xususiyatlari va boshqa omillar. Deyarli har qanday rivojlanish guruhida quyidagi rollarni ajratib ko'rsatish mumkin. Ulardan ba'zilari butunlay yo'q bo'lishi mumkin, ayrim odamlar bir vaqtning o'zida bir nechta rollarni bajarishi mumkin, ammo umumiy tarkib juda oz o'zgaradi.

Buyurtmachi (arizachi). Bu rol ishlab chiqilayotgan tizimga buyurtma bergan tashkilot vakiliga tegishli. Odatda, arizachi ularning o'zaro ta'sirida cheklangan va faqat loyiha menejerlari va sertifikatlash yoki amalga oshirish bo'yicha mutaxassis bilan muloqot qiladi. Odatda, mijoz mahsulotga qo'yiladigan talablarni o'zgartirishga (faqat menejerlar bilan hamkorlikda), ishlab chiqilayotgan tizimning texnik bo'lmagan xususiyatlariga ta'sir qiluvchi dizayn va sertifikatlash hujjatlarini o'qishga haqli.

Loyihalar bo'yicha menejer. Bu rol mijoz va loyiha jamoasi o'rtasida aloqa kanalini ta'minlaydi. Mahsulot menejeri mijozning taxminlarini boshqaradi va loyiha uchun biznes kontekstini ishlab chiqadi va qo'llab-quvvatlaydi. Uning ishi sotish bilan bevosita bog'liq emas, u mahsulotga qaratilgan, uning vazifasi belgilash va ta'minlashdir mijozlar talablari. Loyiha menejeri mahsulotga qo'yiladigan talablarni va mahsulot uchun yakuniy hujjatlarni o'zgartirish huquqiga ega.

Dastur menejeri. Bu rol loyiha jamoasi ichidagi aloqa va munosabatlarni boshqaradi, qaysidir ma'noda koordinator vazifasini bajaradi, funktsional spetsifikatsiyalarni ishlab chiqadi va boshqaradi, loyiha jadvalini va loyiha holati to'g'risida hisobotlarni yuritadi va loyiha uchun muhim qarorlarni qabul qiladi.

Sinov- xatoni aniqlash uchun dasturni bajarish jarayoni.

test ma'lumotlari- tizimni sinab ko'rish uchun ishlatiladigan kirishlar.

Sinov holati (sinov ishi)- tizimni sinab ko'rish uchun kirishlar va agar tizim talablar spetsifikatsiyasiga muvofiq ishlayotgan bo'lsa, kirishlarga qarab kutilgan natijalar.

Yaxshi sinov holati- hali aniqlanmagan xatoni aniqlash ehtimoli yuqori bo'lgan vaziyat.

omadli sinov- hali aniqlanmagan xatoni aniqlaydigan test.

Xato- dasturchining ishlab chiqish bosqichida dasturiy ta'minotda ichki nuqson mavjudligiga olib keladigan, dasturning ishlashi davomida noto'g'ri natijaga olib kelishi mumkin bo'lgan harakati.

Rad etish- tizimdagi nosozliklar sabab bo'lishi mumkin bo'lgan kutilmagan natijaga olib keladigan oldindan aytib bo'lmaydigan xatti-harakatlari.

Shunday qilib, dasturiy ta'minotni sinovdan o'tkazish jarayonida, qoida tariqasida, quyidagilar tekshiriladi.

Tekshirish va tasdiqlash ( tekshirish va tasdiqlash-V& v) dasturiy ta'minotning to'g'ri bajarilishini va mijozning texnik xususiyatlari va talablariga muvofiqligini tahlil qilish, tekshirish uchun mo'ljallangan. Dasturlar va tizimlarning to'g'riligini tekshirishning ushbu usullari mos ravishda quyidagilarni anglatadi:

• tekshirish - tizimni uning spetsifikatsiyasiga muvofiq yaratishning to'g'riligini tekshirish;
• Validatsiya - bu tizim uchun belgilangan talablarning bajarilishining to'g'riligini tekshirish.

Tekshirish yaratilgan tizimni loyihalash va ishlab chiqish tugagandan so'ng uning to'g'riligi to'g'risida xulosa chiqarishga yordam beradi. Tasdiqlash belgilangan talablarning maqsadga muvofiqligini aniqlashga imkon beradi va to'g'ri dastur va tizimlarni olish uchun bir qator harakatlarni o'z ichiga oladi, xususan:

• tekshirish va nazorat qilish tartiblarini rejalashtirish dizayn qarorlari va talablar;
• CASE-vositalari bilan dasturlarni loyihalashni avtomatlashtirish darajasini ta'minlash;
• maqsadli testlar to'plamlari bo'yicha test usullari orqali dasturlarning to'g'ri ishlashini tekshirish;
• mahsulotni ish muhitiga moslashtirish va boshqalar.

Tasdiqlash ushbu faoliyatni dastlabki talablarning to'g'ri bajarilishini va belgilangan shartlar va cheklovlarning bajarilishini tasdiqlash uchun hayot tsikli bosqichlarida spetsifikatsiyalar va dizayn natijalarini ko'rib chiqish va tekshirish orqali amalga oshiradi. Tekshirish va tasdiqlash vazifalari talablar spetsifikatsiyasining to'liqligi, izchilligi va noaniqligini va tizim funktsiyalarining bajarilishining to'g'riligini tekshirishni o'z ichiga oladi.

Tasdiqlash va tasdiqlash quyidagilarga bog'liq:

• tizimning asosiy tarkibiy qismlari;
• tizimni taqsimlangan muhitda amalga oshirishni ta'minlovchi komponentlar interfeyslari (dasturiy ta'minot, texnik va axborot) va ob'ektlarning (protokollar va xabarlar) o'zaro ta'siri;
• ma'lumotlar bazasiga va fayllarga (operatsiyalar va xabarlarga) kirish vositalari va turli foydalanuvchilarning ma'lumotlariga ruxsatsiz kirishdan himoya qilish vositalarini tekshirish;
• dasturiy ta'minot va umuman tizim uchun hujjatlar;
• testlar, test protseduralari va kiritilgan ma'lumotlar.

Boshqacha qilib aytganda, dastur to'g'riligining asosiy tizimli usullari quyidagilardir:

• tekshirish PS komponentlari va talablar spetsifikatsiyasini tekshirish;
• PS tekshiruvi dasturning berilgan spetsifikatsiyalarga muvofiqligini belgilash;
• sinovdan o'tkazish turli xil nuqsonlar, anomaliyalar, uskunaning ishlamay qolishi yoki tizimning ishdan chiqishi natijasida yuzaga kelgan xato va nuqsonlarni aniqlash uchun muayyan operatsion muhitda sinov ma'lumotlari bo'yicha PS chiqish kodi (9-bobga qarang).

ISO/IEC 3918-99 va 12207 tekshirish va tasdiqlash jarayonlarini o'z ichiga oladi. Ular uchun hayot aylanish bosqichlarida yaratilgan mahsulotning (shu jumladan ishchi, oraliq mahsulotlarning) to'g'riligini va uning talablariga muvofiqligini tekshirish uchun maqsadlar, vazifalar va harakatlar belgilanadi.

Tekshirish va tasdiqlash jarayonlarining asosiy vazifasi tekshiring va tasdiqlang yakuniy dasturiy ta'minot maqsadga muvofiqligi va mijozning talablariga javob berishi. Ushbu jarayonlar hayot aylanish bosqichlarining ish mahsulotlaridagi xatolarni ularning paydo bo'lish sabablarini aniqlamasdan aniqlashga, shuningdek, uning spetsifikatsiyasiga nisbatan dasturiy ta'minotning to'g'riligini aniqlashga imkon beradi.

Bu jarayonlar o‘zaro bog‘liq bo‘lib, bir atama – “tekshirish va tasdiqlash” (V&V 7) bilan belgilanadi.

Tekshirish amalga oshiriladi:

• individual komponentlarni chiqish kodiga tarjima qilishning to'g'riligini, shuningdek, mijozning belgilangan talablariga muvofiq komponentlarning munosabatlarini kuzatish orqali interfeys tavsiflarini tekshirish;
• ma'lumotlarni manipulyatsiya qilish va natijalarni uzatish uchun foydalaniladigan tizim vositalarida qabul qilingan protseduralarni hisobga olgan holda fayllarga yoki ma'lumotlar bazasiga kirishning to'g'riligini tahlil qilish;
• komponentlarni himoya qilish vositalarining mijozlar talablariga muvofiqligini tekshirish va ularni kuzatish.

Tizimning alohida komponentlarini tekshirgandan so'ng, ularning integratsiyasi, shuningdek, integratsiyalashgan tizimni tekshirish va tasdiqlash amalga oshiriladi. Sinov to'plamlari testni yakunlash va tizimning to'g'riligini o'rnatish uchun etarli va etarli ekanligini aniqlash uchun tizim ko'plab test to'plamlarida sinovdan o'tkaziladi.

Rasmiy tekshirish bo'yicha xalqaro loyihani yaratish g'oyasi T. Hoare tomonidan taklif qilingan bo'lib, u 2005 yil fevral oyida Kaliforniyada tasdiqlangan dasturiy ta'minot bo'yicha simpoziumda muhokama qilingan. Keyin, o'sha yilning oktyabr oyida Tsyurixda bo'lib o'tgan IFIP konferentsiyasida "PS to'g'riligini tekshirish uchun yaxlit avtomatlashtirilgan vositalar to'plamini" ishlab chiqish bo'yicha 15 yil muddatga xalqaro loyiha qabul qilindi.

U quyidagi asosiy vazifalarni belgilab berdi:

• dasturlarni qurish va tahlil qilishning yagona nazariyasini ishlab chiqish;
• ishlab chiqarishning barcha bosqichlari uchun, jumladan, texnik shartlarni ishlab chiqish va ularni tekshirish, test holatlarini yaratish, dasturlarni takomillashtirish, tahlil qilish va tekshirishni o'z ichiga olgan kompleks integratsiyalangan tekshirish vositalarini yaratish;
• rasmiy spetsifikatsiyalar va tekshirilgan dasturiy ta'minot ob'ektlari omborini yaratish turli xil turlari va turlari.

Ushbu loyiha tekshirish dasturiy ta'minotni yaratish va to'g'riligini tekshirishning barcha jihatlarini qamrab oladi va yaratilayotgan dasturlarda doimiy xatolar yuzaga kelishi bilan bog'liq barcha muammolar uchun davo bo'ladi, deb taxmin qiladi.

Belgilangan dasturlarni isbotlash va tekshirishning ko'plab rasmiy usullari amalda sinovdan o'tgan. Bajarildi katta ish doirasida ISO/IEC xalqaro qo'mitasi ISO standarti/ IEC 12207:2002 dasturiy ta'minotni tekshirish va tekshirish jarayonlarini standartlashtirish. Turli xil dasturlash ob'ektlarining to'g'riligini rasmiy usullar bilan tekshirish istiqbolli.

Repozitariy - bu tayyor komponentlar, asboblar va metod blankalarini ishlab chiqish va sinovdan o'tkazish, baholashda foydalaniladigan dasturlar, spetsifikatsiyalar va vositalar ombori. U quyidagi umumiy vazifalarni bajaradi:

• tekshirilgan spetsifikatsiyalarni, isbotlash usullarini, dastur ob'ektlarini va murakkab ilovalar uchun kodlarni amalga oshirishni to'plash;
• turli tekshirish usullarini to'plash, ularni keyinchalik qo'llash uchun amalga oshirilgan nazariy g'oyani qidirish va tanlash uchun mos shaklda loyihalash;
• turli dasturlash ob'ektlarining, shuningdek, asboblar va tayyor tizimlarning rasmiy spetsifikatsiyalarini o'rnatish va almashish uchun standart shakllarni ishlab chiqish;
• yangi PS yaratish uchun tayyor tasdiqlangan mahsulotlarni ombordan yangi taqsimlangan va tarmoq muhitlariga o'tkazish uchun o'zaro muvofiqlik va o'zaro ta'sir mexanizmlarini ishlab chiqish.

Ushbu loyiha 50 yil ichida ishlab chiqilishi kerak. Ilgari amalga oshirilgan loyihalarda ham xuddi shunday maqsadlar qo‘yilgan edi: dasturiy ta’minot sifatini yaxshilash, xizmat ko‘rsatish modellarini rasmiylashtirish, PIC-lardan foydalanish orqali murakkablikni kamaytirish, xatolarni vizual diagnostika qilish va ularni bartaraf etish uchun disk raskadrovka vositalarini yaratish va h.k. Biroq, dasturlashda ham tub o‘zgarishlar ma’noda ham sodir bo‘lmadi. vizual disk raskadrovka yoki erishishda Yuqori sifatli ON. Rivojlanish jarayoni davom etmoqda.

Yangi xalqaro dasturiy ta'minotni tekshirish loyihasi uning ishtirokchilaridan nafaqat bilimni talab qiladi nazariy jihatlari dastur spetsifikatsiyalari, balki kelgusi yillarda uni amalga oshirish uchun yuqori malakali dasturchilar.