Rasmiy tekshirishlarning vazifalari va maqsadlari

Mavzu: Rasmiy (formal) inspeksiyalar. Rasmiy inspeksiyalar o‘tkazishning maqsad va vazifalari. Rasmiy inspeksiya bosqichlari va undagi ishtirokchilar rollari.


Rasmiy tekshirishlarning vazifalari va maqsadlari
Dasturiy ta'minot tizimining funksionalligini tekshirish uchun avtomatlashtirilgan yoki hatto aniq rasmiylashtirilgan qo'lda testlarni ishlab chiqish har doim ham mumkin emas. Ba'zi hollarda, sinov muhiti yaratgan sharoitda sinovdan o'tayotgan dastur kodini bajarish mumkin emas. Bu holat o'rnatilgan tizimlarda mumkin bo'ladi, agar dastur kodi faqat haqiqiy apparatda hosil bo'ladigan istisnolarni boshqarish uchun mo'ljallangan bo'lsa.

Dastur kodi emas, balki tizimning loyiha hujjatlari "bajarish" mumkin bo'lmagan yoki buning uchun alohida sinov holatlarini yarata olmaydigan hollarda, ular odatda dastur kodini yoki dastur kodini ko'rib chiqish usuliga murojaat qilishadi. to'g'riligi yoki izchilligi uchun hujjatlar.

Bunday o'zaro sharhlar odatda tekshiruvlar yoki ko'rib chiqishlar deb ataladi. Tekshiruvning ikki turi mavjud - norasmiy va rasmiy.

Norasmiy tekshirish paytida biron bir hujjat yoki dasturiy ta'minot tizimining bir qismi muallifi uni ekspertga topshiradi va u hujjat bilan tanishib chiqib, muallifga o'zi tuzatgan sharhlar ro'yxatini beradi. Tekshiruv fakti va sharhlar, qoida tariqasida, hech qanday joyda alohida saqlanmaydi, sharhlar asosidagi tuzatishlar holati ham hech qanday joyda kuzatilmaydi.

Rasmiy tekshirish, aksincha, yaxshi boshqariladigan jarayon bo'lib, uning tuzilishi odatda tegishli loyiha standarti bilan aniq belgilanadi. Shunday qilib, barcha rasmiy tekshiruvlar bir xil tuzilishga va bir xil chiqish hujjatlariga ega bo'lib, keyinchalik ular ishlab chiqishda qo'llaniladi.

Rasmiy tekshiruvning boshlanishi loyihaning umumiy ma'lumotlar bazasida aniq qayd etilgan. Tekshiruvdan o'tkaziladigan hujjatlar va sharhlar ro'yxati ham qayd etiladi, sharhlar asosida kiritilgan o'zgartirishlar nazorat qilinadi. Shu tarzda, rasmiy tekshirish avtomatlashtirilgan testga o'xshaydi: xabarnomalar ro'yxati test ishini bajarish hisobotlari bilan juda ko'p umumiyliklarga ega.

Rasmiy tekshirish vaqtida mutaxassislar guruhi tekshirilgan hujjatlarning dastlabki hujjatlarga muvofiqligini mustaqil ravishda tekshiradi. Tekshirishning mustaqilligi uni tekshirilayotgan hujjatni ishlab chiqishda ishtirok etmagan inspektorlar tomonidan amalga oshirilishi bilan ta'minlanadi. Rasmiy tekshirish jarayonining kirish qismi tekshirilgan hujjatlar va dastlabki hujjatlar, natijalar esa tekshirish materiallari, shu jumladan aniqlangan nomuvofiqliklar ro'yxati va tekshirilgan hujjatlarning holatini o'zgartirish to'g'risidagi qaror hisoblanadi. 15.1-rasmda dasturiy ta'minot tizimlarini ishlab chiqishda rasmiy tekshirishning o'rni ko'rsatilgan.

Rasmiy tekshirish bosqichlari va uning ishtirokchilarining roli

Qoida tariqasida, rasmiy tekshirish jarayoni besh bosqichdan iborat: ishga tushirish, rejalashtirish, tayyorgarlik (ekspertiza), muhokama qilish, yakunlash. Ba'zi hollarda tayyorgarlik va muhokamani ketma-ket bosqichlar sifatida emas, balki parallel kichik jarayonlar sifatida ko'rib chiqish kerak. Xususan, bunday holat rasmiy tekshiruvlarni qo'llab-quvvatlash uchun avtomatlashtirilgan tizimdan foydalanganda paydo bo'lishi mumkin. Loyihani rasmiy tekshirish tartibi ushbu loyiha bo'yicha rasmiy tekshiruvlarni o'tkazish tartibini to'g'ri tavsiflashi kerak.

Rasmiy tekshirish paytida aniqlangan nomuvofiqliklar bartaraf etilgandan so'ng, rasmiy tekshirish jarayoni, ehtimol, boshqa shaklda va ishtirokchilarning boshqa tarkibi bilan takrorlanadi. Rasmiy tekshirish tartibi tekshirish ob'ektiga kiritilgan o'zgartirishlar hajmi va xususiyatiga qarab qayta tekshirishning mumkin bo'lgan shakllarini tartibga solishi kerak. Tekshiruv obyektiga ilgari tekshirilgan versiyaga nisbatan kichik o‘zgartirishlar kiritilganda, qoida tariqasida, qayta tekshirish jarayonini (bitta inspektor tomonidan tekshirish, muhokama bosqichisiz) soddalashtirishga yo‘l qo‘yiladi.

15.2.1. Initializatsiya

Loyiha menejeri yoki uning o'rinbosari loyihaning barcha ma'lumotlarini (masalan, konfiguratsiyani boshqarish tizimidan) saqlaydigan ma'lumotlar bazasidan tekshirishga tayyor ob'ektlar ro'yxatini so'raydi, tekshirish ob'ektini tanlaydi, so'ngra rasmiy tekshiruv ishtirokchilarini tayinlaydi: muallif. , rahbar va bir yoki bir nechta inspektor. Fasilitator inspektor vazifasini ham bajarishi mumkin; qolgan ishtirokchilar faqat bitta rol o'ynaydi. Tekshirish ob'ektini ishlab chiqishda ishtirok etgan xodimlarni rahbar yoki inspektor lavozimiga tayinlashga yo'l qo'yilmaydi.

Odatda, tekshiruv ob'ektini ishlab chiquvchilardan biri muallif sifatida ishlaydi, ammo ishlab chiquvchi mavjud bo'lmagan holatlar bo'lishi mumkin - masalan, u boshqa loyihaga o'tkazilgan yoki ta'tilda. Keyin muallifning roliga xodim tayinlanadi, u tekshirilgan hujjatlarda aniqlangan nomuvofiqliklarni tuzatadi. Buyurtmachi tomonidan ishlab chiqilgan hujjatlarni tekshirishda muallif tayinlanishi mumkin emas.

Kamida ikkita inspektorni tayinlash tavsiya etiladi. Ayniqsa, murakkab yoki yangi tushunchalar bo‘lgan hujjatlar tekshirilsa, shuningdek, yetarlicha tajribaga ega bo‘lmagan xodimlar inspektor sifatida jalb etilsa, ularning soni ko‘paytirilishi mumkin. Shu bilan birga, tekshiruv ishtirokchilarining tavsiya etilgan umumiy soni beshdan oshmasligi kerak.

Asoslangan hollarda, rasmiy dizayn tekshiruvi tartibi, masalan, tekshirish ob'ekti juda oddiy bo'lsa va bunday tekshirish ob'ektining taxminiy xususiyatlari ahamiyatsiz bo'lsa, bitta inspektor tomonidan tekshirishga ruxsat berishi mumkin. Bunday tekshirish ob'ektiga misol sifatida ilgari tekshirilgan testlarni o'tkazgandan so'ng olingan tizimli qamrovni yig'ish natijalari to'plami bo'lishi mumkin, ular uchun faqat paketning tarkibi va versiyalarning mustahkamligi tekshiriladi.

Qayta tekshirish qisqartirilgan shaklda amalga oshirilgan taqdirda, rahbar loyiha rahbari ishtirokisiz qayta tekshirish jarayonini mustaqil ravishda boshlaydi. Loyihani tekshirishning rasmiy tartibi rahbarga qayta tekshirish jarayonini (ishtirokchilarning bir xil tarkibi bilan) mustaqil ravishda boshlashga imkon berishi mumkin, hatto u to'liq hajmda amalga oshirilgan bo'lsa ham, agar bu loyihaning o'ziga xosligi bilan bog'liq bo'lsa.

15.2.2. Rejalashtirish

Rasmiy tekshirish jarayoni boshlangandan so'ng, o'qituvchi tekshirilishi kerak bo'lgan hujjatlar loyiha ma'lumotlar bazasida mavjudligini va ularning holati rasmiy tekshirishga tayyorligini tekshiradi. Agar bunday bo'lmasa, tekshirish keyinga qoldiriladi.

Keyin rahbar tekshirilgan hujjatlarning holatini tekshirish boshlanganligini belgilash va tekshirilgan hujjatlarga kirishni cheklash uchun o'zgartirishi kerak. Tekshiruv davomida hujjatlarni o'zgartirish mumkin emas va tegishli holat tekshirish tugaguniga qadar saqlanadi. Keyinchalik biz ushbu holatni ko'rib chiqish deb nomlaymiz.

Shundan so'ng, rahbar loyiha ma'lumotlar bazasidan tekshirish shaklini nusxalashi va unga tekshirilgan va dastlabki hujjatlarning identifikatorlarini va ularning versiya raqamlarini, ularning rollarini ko'rsatgan ishtirokchilar ro'yxatini va tekshirish jarayonining amalda boshlangan sanasini kiritishi kerak; ya'ni tekshirilayotgan hujjatlar Ko'rib chiqish holatiga qo'yilgan nuqta.

Mashg'ulotchi inspektorlarga tayyorgarlik ko'rish uchun zarur bo'lgan vaqtni va muhokama davomiyligini taxmin qilishi kerak. Tayyorgarlik bosqichi uchun ajratilgan vaqt bir soatdan kam bo'lishi mumkin emas. Shuningdek, o'qituvchi muhokamaning sanasi, vaqti va joyini belgilashi kerak, agar u uchrashuv shaklida bo'lsa. Bu tekshiruvning boshqa ishtirokchilari bilan muvofiqlashtirishni talab qilishi mumkin. Agar siz yig'ilish shaklida muhokamaning davomiyligini 2 soatdan ortiq deb hisoblasangiz, unda har biri ikki soatdan ortiq davom etmaydigan bir nechta uchrashuvlarni rejalashtirishingiz kerak.

Loyihani rasmiy tekshirish tartibi, agar oldingi tekshirish natijasi qisqartirilgan shaklda ikkinchi tekshirishni o'tkazish to'g'risida qaror qabul qilingan bo'lsa, yig'ilishsiz ikkinchi tekshiruvni o'tkazishga ruxsat berishi mumkin. Rasmiy tekshiruv natijalari elektron shaklda yuritilgan va saqlangan bo'lsa, yig'ilish o'tkazmaslik ham qabul qilinadi. Bunday holda, loyihani rasmiy tekshirish tartibi rasmiy tekshirish ishtirokchilarining bir-biri bilan o'zaro munosabatlarini tartibga solishi kerak. Bundan tashqari, loyihani rasmiy tekshirish tartibi tayyorlash, muhokamalarni o'tkazish va qaror qabul qilish mexanizmini belgilashi kerak.

Tekshiruv blankasini tayyorlab, yig‘ilish o‘tkazish vaqti va joyini belgilab, rahbar tekshiruv ishtirokchilarini yig‘ilish o‘tkaziladigan vaqt va joy to‘g‘risida xabardor qilishi hamda ularga tayyorlangan tekshirish blankasini yuborishi shart.

Loyihani rasmiy tekshirish tartibi, agar takroriy tekshirish qisqartirilgan shaklda amalga oshirilsa va etakchi yagona inspektor bo'lsa, oldingi tekshirish paytida to'ldirilgan shakldan foydalanishni o'z ichiga olishi mumkin.

15.2.3. Trening
Tekshiruv blankasi ilova qilingan xat yoki topshiriqni olgandan so'ng, inspektorlar blankada ko'rsatilgan ID va versiya raqamlaridan foydalangan holda loyiha ma'lumotlar bazasidan asl va tekshirilgan hujjatlarni olishlari kerak. Shu bilan birga, inspektorlar barcha hujjatlarning tegishli holatda ekanligiga ishonch hosil qilishlari kerak.

Tayyorgarlik jarayonida inspektorlar nazorat savollari ro'yxatidan kelib chiqib, tekshirilgan hujjatlarni batafsil o'rganadilar. Aniqlangan nomuvofiqliklar aniq lokalizatsiya qilinishi, shakllantirilishi va qayd etilishi kerak.

Qayta tekshirishni qisqartirilgan shaklda o'tkazishda faqat oldingi tekshirishda tekshirilgan tekshirish ob'ektining versiyasiga nisbatan o'zgarishlarni tahlil qilishga ruxsat beriladi. Agar bir vaqtning o'zida qayd etilgan izohlar bilan bog'liq bo'lmagan o'zgarishlar mavjudligi aniqlansa, u holda tekshirish jarayoni to'xtatiladi va to'liq shaklda yangi tekshirish tayinlanadi. Bunday o'zgartirishlar tekshirilayotgan hujjatlarning mohiyatiga ta'sir qilmaydigan arzimas xatolarni, masalan, iboraning ma'nosiga ta'sir qilmaydigan sharhlardagi xatolarni tuzatishdan iborat bo'lsa, ushbu qoidadan istisno bo'lishi mumkin.

Agar takroriy tekshirish qisqartirilgan shaklda bitta inspektor tomonidan amalga oshirilgan bo'lsa va u o'zgartirishlar hajmi juda katta yoki o'zgarishlar juda murakkab deb hisoblasa, u loyiha rahbarini xabardor qilish orqali tekshirish jarayonini to'xtatishga haqli. to'liq shaklda yangi tekshirish rejalashtirilishi mumkin.

Muallif, agar u tekshirish ob'ektini ishlab chiquvchi bo'lmasa, muhokama paytida va tekshirish tugagandan so'ng inspektorlarning savollariga javob berishga tayyor bo'lishi uchun tayyorgarlik jarayonida u bilan batafsil tanishishi kerak. , topilgan nomuvofiqliklarni bartaraf qiling.

15.2.4. Munozara

Muhokama bir yoki bir nechta yig'ilish shaklida o'tkaziladi, ularning har biri ikki soatdan oshmaydi. Kuniga bir martadan ortiq yig'ilish o'tkazilmasligi tavsiya etiladi. Agar muhokama rejalashtirilgan yig'ilishlar soniga to'g'ri kelmasa, qo'shimcha yig'ilishlar rejalashtirilgan. Yig'ilishda rahbar, inspektorlardan kamida bittasi va qoida tariqasida muallif ishtirok etishi kerak. Biroq, o'qituvchi o'z xohishiga ko'ra, agar u kasal bo'lsa yoki boshqa sabablarga ko'ra yig'ilishda qatnasha olmasa, muallif yo'qligida, agar tekshiruvchilarning hech biri nomuvofiqliklarni aniqlamasa yoki ularning sharhlari aniq va aniq bo'lsa, yig'ilishni o'tkazishi mumkin. muallif tomonidan tushuntirish talab etilmaydi yoki muallif bilan telefon aloqasi o'rnatilgan. Agar yig'ilish muallif yo'qligida boshlangan bo'lsa va keyinchalik uning ishtirok etish zarurati paydo bo'lsa, rahbar yig'ilishni to'xtatib qo'yishi va keyinga qoldirishi kerak.

Agar inspektorlarning hech biri muhokamaga tayyorgarlik ko'rmagan bo'lsa, majlis to'xtatiladi. Mashg'ulotchi, shuningdek, agar inspektorlardan kamida bittasi tayyor bo'lmasa yoki yo'q bo'lsa, o'z xohishiga ko'ra yig'ilishni kechiktirishi mumkin.

Muhokama jarayonida o'qituvchi tekshirilayotgan hujjatni o'qish yoki matn yoki diagramma elementlarining bo'limlari yoki paragraflarini ketma-ket nomlash yoki boshqa yo'l bilan barcha ishtirokchilar tomonidan hujjatni sinxron ko'rib chiqish orqali ishtirokchilarning ishini sinxronlashtiradi. Hujjatni ko'zdan kechirayotganda, inspektorlar sharhlari bo'lgan joylarda taqdimotchini to'xtatadilar. Agar kelishmovchiliklar bo'lmasa, vositachi kelishmovchilikni tuzatadi va hujjat bo'ylab harakatlanishni davom ettiradi. Kichik hajmdagi hujjatlarni tekshirganda, taqdimotchi o'z xohishiga ko'ra hujjatni barcha ishtirokchilar tomonidan ko'rishni sinxronlashtira olmaydi, balki ishtirokchilardan sharhlar so'rashi mumkin; bunday so'rovni nazorat ro'yxatini to'ldirish bilan birlashtirish mumkin (pastga qarang).

Agar ishtirokchilarning bildirilgan sharh bo'yicha fikrlari turlicha bo'lsa, moderator muhokamani boshqaradi, so'zni so'zlamoqchi bo'lgan har bir kishiga doimiy ravishda beradi va muallif navbatsiz so'z berish huquqidan foydalanadi. Agar munozara natijasida mulohazaning matni o'zgargan bo'lsa, o'qituvchi ushbu yangi matnni yozib qo'yadi, keyin uni o'qib chiqadi va agar barcha ishtirokchilar rozi bo'lsa, hujjat bo'ylab harakatlanishni davom ettiradi.

Muhokama natijasi, shuningdek, hech qanday muammo yo'qligini tan olish bo'lishi mumkin. Bunday holda, o'qituvchi hamma bunga rozi ekanligiga ishonch hosil qiladi va hujjat bo'ylab harakat qilishni davom ettiradi.

Ishtirokchilar muammolarni aniqlashga intilishlari kerak, lekin yechim izlamasliklari kerak. Bahsli masalalar bo'yicha konsensusga erishish ham muhokamadan maqsad emas. Agar turli fikrlar mavjud bo'lsa, unda barcha muqobil fikrlar qayd etilishi kerak. Mashg'ulotchi muhokamani samarasiz deb baholasa, uni to'xtatib qo'yishi kerak.

Barcha ishtirokchilar o‘z raqiblarini hurmat qilishlari, so‘zlovchining gapini bo‘lmasliklari va mezbon ularga so‘z berganida gapirishlari talab qilinadi. Tor tarkibda parallel munozaralarga yo'l qo'yilmaydi - har bir ishtirokchi o'z bayonotini qo'shniga emas, balki butun yig'ilishga etkazishi shart.

Shuningdek, hamkasblarning malakasini tanqid qilish va baholashdan qochish kerak. Tekshiruvning maqsadi muallifning yoki boshqa tekshiruv ishtirokchilarining malakasini baholash emas, balki tekshirilayotgan hujjatlarning sifatini oshirishdan iborat. Rasmiy tekshiruv rahbari muhokamaning boshqa ishtirokchilaridan ustunlikka ega emas, u faqat ushbu jarayonni tashkil qiladi va uning natijalarini tekshirish blankasiga yozib qo'yadi.

Muhokama jarayonida nazorat savollariga berilgan javoblarni tekshirish tarzida yozib, mulohazalarni yozib borish zarur. Buning uchun o'qituvchi nazorat savollarini ketma-ket o'qib chiqadi. Agar barcha inspektorlarda savolda ko'rsatilgan mulkni buzadigan izohlar bo'lmasa, "Ha" yoki "Ha" ustunidagi savolga qarshi belgi (belgi yoki xoch) qo'yiladi; aks holda, "Yo'q" yoki "Yo'q" katakchalarini belgilang va "Izohlar" (yoki shunga o'xshash) katakchasida tekshirish varaqasi oxiridagi eslatmalar jadvalida qayd etilgan tegishli eslatmalarning raqamlari ko'rsatiladi.

"Yo'q" (Qo'llash mumkin emas) katagi, agar tegishli savolda ko'rsatilgan mulkni ushbu tekshirish ob'ekti bo'yicha baholash mumkin bo'lmasa, belgilanadi; bu holda "Izohlar" ustunida ushbu mulkni baholashning mumkin emasligi asoslari yoziladi.

Agar takroriy tekshirish paytida nazorat savollariga javoblar allaqachon ko'rsatilgan oldingi tekshirish blankasidan foydalanilgan bo'lsa, unda bu javoblar tuzatilmaydi va ilgari qayd etilgan nomuvofiqliklarga izohlar uchun jadvalda ular to'g'risida belgilar qo'yiladi. bartaraf etish. Yangi nomuvofiqliklar aniqlangan taqdirda, sharhlar ilgari qayd etilganlardan keyin jadvalga yoziladi va keyingi takroriy tekshirish to'liq belgilanishi kerak.

Muhokama yakunida ishtirokchilar tekshirish obyektini amaldagi tahrirda qabul qilish imkoniyati yoki to‘liq yoki qisqartirilgan shaklda tuzatishlar kiritish va qayta tekshirish o‘tkazish zarurligi to‘g‘risida qaror qabul qiladilar. Tekshiruv ob'ekti mavjud versiyada faqat nomuvofiqliklar bo'lmasa qabul qilinishi mumkin. Qisqartirilgan shaklda qayta tekshirish o'tkazish to'g'risidagi qaror, agar barcha ishtirokchilar bunga rozi bo'lsa, qabul qilinadi. Agar ishtirokchilardan kamida bittasi takroriy tekshirishning to'liq shaklini talab qilsa, u holda takroriy tekshirish to'liq hajmda o'tkazilishi kerak. Fasilitatorning fikri boshqa ishtirokchilarning fikrlari bilan teng ravishda hisobga olinadi. Qabul qilingan qaror mezbon tomonidan tekshirish varaqasida qayd etiladi va barcha ishtirokchilarning, shu jumladan, agar u yig'ilishda ishtirok etgan bo'lsa, sifatli xizmat ko'rsatish vakilining imzolari bilan tasdiqlanadi.

Nazariy jihatdan, muallif yozib olingan sharhlarning birortasiga rozi bo'lmasa va inspektorlar nomuvofiqliklar borligini ta'kidlaganida, vaziyat yuzaga kelishi mumkin. Bunday holda, tekshirilayotgan hujjatlarning holatini o'zgartirish to'g'risida qaror qabul qilish mumkin emas, shuning uchun tekshirishni kechiktirish va muammoni hal qilishni rasmiy tekshirish jarayonidan olib tashlash kerak.

Tekshiruv formasida yig'ilishning davomiyligi va har bir ishtirokchining tayyorgarlik ko'rgan vaqti ham qayd etiladi.

Loyihani tekshirishning rasmiy tartib-qoidasi, agar inspektorlarning hech biri izohga ega bo'lmasa, muhokamalar va uchrashuvlarni bekor qilishga ruxsat berishi mumkin. Bu bir vaqtning o'zida rahbar bo'lgan bitta inspektor tomonidan tekshirishni o'tkazishda yoki rahbarga har bir inspektor tomonidan aniqlangan nomuvofiqliklar to'g'risida ma'lumot beradigan va ularning har biri tasdiqlaganligini tasdiqlovchi avtomatlashtirilgan rasmiy tekshirish tizimidan foydalanganda mumkin. tekshirish ob'ektini o'rganishni yakunlash. Bunday holda, tekshirish shaklini to'ldirish moderator tomonidan mustaqil ravishda amalga oshiriladi.

15.2.5. Tugallash

Yig'ilish oxirida, muhokama oxirida inspektorlar moderatorga o'zlarining ish materiallarini topshiradilar, ularda tekshirilgan hujjatlarning yozuvlari va tekshirish blankalari bo'lgan bosma nusxalari mavjud. Mashg'ulotchi ushbu materiallarni shaffof papkaga, munozara davomida to'ldirilgan tekshirish blankasining nusxasi bilan birga, undan papkalarni aniqlash mumkin bo'lishi uchun tekshirish blankasining titul varag'i bilan birga joylashtiradi.

Yig'ilishdan so'ng, o'qituvchi qarorga muvofiq loyiha ma'lumotlar bazasida tekshirilgan hujjatlarning holatini o'zgartiradi - ularga "Qabul qilingan" yoki "Qayta ishlash" maqomi beriladi.

Oxirgi holatda, takroriy tekshirish zarur, uning shakli qisqacha izoh bilan belgilanadi.

16.1. Rasmiy tekshirish jarayonini hujjatlashtirish
Odatda, agar korxonada dasturiy ta'minot tizimlarini ishlab chiqish bo'yicha bir nechta loyihalar mavjud bo'lsa, rasmiy tekshirish tartibi korxona standarti shaklida tartibga solinadi. Bu rasmiy tekshiruvlarga jalb qilingan xodimlarga loyihadan loyihaga o'tishda osongina moslashishga imkon beradi.

Biroq, har bir loyihaning o'ziga xos xususiyatlari bo'lishi mumkin. Shuning uchun har bir loyiha o'zining rasmiy tekshirish tartibini ishlab chiqish tavsiya etiladi. Loyihani rasmiy tekshirish tartibi ushbu loyihaning o'ziga xos xususiyatlarini hisobga olgan holda ushbu standartni aniqlashtirishi va to'ldirishi va ushbu standart talablariga zid bo'lmasligi kerak.

Loyihani rasmiy tekshirish tartibi ushbu loyiha bo'yicha rasmiy tekshiruvlarni o'tkazish tartibini to'g'ri tavsiflashi kerak.

Loyihani rasmiy tekshirish tartibida ushbu standartning umumiy qoidalarini takrorlash tavsiya etilmaydi, ba'zi, ayniqsa muhim fikrlar bundan mustasno, masalan, tekshirilgan hujjatlarning holatini o'zgartirish.

Loyihani rasmiy tekshirish tartibida loyiha ma'lumotlar bazasidagi tekshirilayotgan hujjatlarning barcha maqom identifikatorlari rasmiy tekshiruv ishtirokchilari bilan shug'ullanishi kerak bo'lgan nomlanishi kerak. Kamida shtat identifikatorlari nomlanishi kerak, bu esa:

hujjatning tekshirishga tayyorligi;

rejalashtirish, tayyorlash va muhokama qilish bosqichlaridan o'tish;
hujjatlarni qayta ishlash zarurati;
asl hujjatlarga muvofiqligini tasdiqlash.
Loyihani tekshirishning rasmiy tartibi, agar loyiha turli darajadagi inspektorlarning ishtirokini talab qiladigan turli darajadagi murakkablikdagi hujjatlarni tekshirsa, tekshirish ob'ektining har bir turi uchun inspektorlarning minimal sonini tartibga solishi kerak.

Loyihani tekshirishning rasmiy tartibi tekshirish ob'ektiga kiritilgan o'zgartirishlar hajmi va xususiyatiga qarab qayta tekshirishning mumkin bo'lgan shakllarini tartibga solishi kerak. Tekshirish ob'ektiga kichik o'zgartirishlar kiritilganda, qoida tariqasida, takroriy tekshirish jarayonini (bitta inspektor tomonidan tekshirish, muhokama qilish bosqichi yo'q) soddalashtirishga ruxsat beriladi. Loyihani rasmiy tekshirish tartibi, agar takroriy tekshirish qisqartirilgan shaklda o'tkazilsa, oldingi tekshiruvdan olingan shakldan foydalanishni o'z ichiga olishi mumkin. Loyihani tekshirishning rasmiy tartibi rahbarga qayta tekshirish jarayonini (ishtirokchilarning bir xil tarkibi bilan) mustaqil ravishda boshlashga imkon berishi mumkin, hatto u to'liq hajmda amalga oshirilgan bo'lsa ham, agar bu loyihaning o'ziga xosligi bilan bog'liq bo'lsa.

16.1.1. Tekshirish shakli

Tekshiruv varaqasi tekshirishlar davomida to'ldiriladigan asosiy hujjatdir. Odatda loyiha standartlarini ishlab chiqish jarayonida ishlab chiqiladi. Loyihadagi tekshirish ob'ektlarining har bir turi uchun alohida tekshirish shakli ishlab chiqilishi kerak.

Tekshirish shakli uchta asosiy qismdan iborat:

sarlavha sahifasi;

nazorat ro'yxati;
nomuvofiqliklar ro'yxati.
Bundan tashqari, arizaning barcha sahifalarida, birinchisidan tashqari, hech bo'lmaganda tekshirish shaklining raqamini o'z ichiga olgan sarlavha qo'yish tavsiya etiladi.

16.1.1.1. Sarlavha sahifasi

Sarlavha sahifasi rasmiy tekshiruvni aniqlash va qarorni qayd etish uchun mo'ljallangan va odatda kamida quyidagi elementlarni o'z ichiga oladi:

"rasmiy tekshirish" degan so'zlar;

loyiha identifikatori;
tekshirish ob'ekti turi identifikatori, masalan, "Test", "Loyiha standarti" va boshqalar;
tekshirish shaklining versiya identifikatori;
konfiguratsiya ma'lumotlar bazasi identifikatori;
tekshirilayotgan hujjatlarning har birining identifikatorlarini qayd etish joyi;
tekshirilayotgan hujjatlarning har birining versiya identifikatorlarini yozib olish joyi;
dastlabki hujjatlarning har birining identifikatorlarini yozib olish joyi;
har bir dastlabki hujjatlarning versiya identifikatorlarini yozish uchun joy;
tekshirishning boshlanish sanasini yozish uchun joy;
uchrashuvning haqiqiy sanasi va vaqtini yozish uchun joy;
tekshirish ishtirokchilarining ism-shariflarini yozib olish, ularning rollari va imzolash joylari va tayyorgarlik ko'rish uchun sarflangan vaqtni qayd etish uchun joy (jadval);
yig'ilishning davomiyligini qayd etish uchun joy;
qarorni yozib olish joyi.

Hujjat identifikatori loyiha ma'lumotlar bazasidagi fayl nomi va unga to'liq yo'ldan iborat. Turli hujjatlar uchun umumiy bo'lgan identifikatsiya elementlari, masalan, yo'l yoki asosiy nom, shaklning alohida maydonlariga joylashtirilishi mumkin.

Agar loyihani tekshirishning rasmiy tartib-qoidasi oldingi tekshiruv shaklini ishlatib, ikkinchi tekshirishni o'tkazish imkoniyatini nazarda tutsa, muqova sahifasida quyidagi maydonlar ham bo'lishi kerak:

takroriy tekshirish sanasini yozish uchun joy;

qayta tekshirilgan hujjatlarning har birining versiya identifikatorlarini yozib olish joyi;
takroriy tekshiruv rahbarining familiyasini yozish joyi;
rahbar tomonidan takroriy tekshirish o'tkazish uchun sarflangan vaqtni qayd etish joyi;
qarorni belgilash joyi;
rahbar imzosi uchun joy.
Ro'yxatdagi barcha elementlar bir xil sahifada bo'lishi kerak.

16.1.1.2. Tekshirish roʻyxati

Nazorat savollari ro'yxati quyidagi ustunlardan iborat jadval shaklida taqdim etilishi kerak:

tartib raqami;

savol matni;
ijobiy javob uchun joy ("Ha" yoki "Ha");
salbiy javob uchun joy ("Yo'q" yoki "Yo'q");
"Yo'q" yoki "Qo'llash mumkin emas" javobi uchun joy;
nomuvofiqlikka murojaat qilish uchun joy.
Nazorat savollari shunday shakllantirilishi kerakki, ijobiy javob hech qanday nomuvofiqlikni bildirmaydi. Bayonotlar aniq, qisqa va aniq bo'lishi kerak.

16.1.1.3. Mos kelmaydiganlar ro'yxati

Mos kelmaydiganlar ro'yxati uchta ustunli bo'sh jadval sifatida taqdim etilishi kerak:

seriya raqami uchun;

nomuvofiqlikni tavsiflash;
tuzatishni belgilash uchun.
16.1.1.4. Yugurish sarlavhasi
Altbilgida quyidagilar bo'lishi kerak:

loyiha identifikatori;

tekshirish shaklining versiya identifikatori;
tekshirilayotgan hujjatlardan kamida bittasining identifikatorlarini qayd etish joyi;
tekshirilayotgan hujjatlardan kamida bittasining versiya identifikatorlarini yozish uchun joy.
16.1.2. Tekshirilayotgan hujjatning hayot aylanishi
Rasmiy tekshirish jarayonida 2 turdagi hujjatlar mavjud:

loyiha hujjatlari (maqsadli hujjat, dastlabki hujjat, tasdiqlovchi hujjat);

tasdiqlovchi hujjatlar (tekshiruv hisoboti, nazorat ro'yxati, topilgan muammolar ro'yxati).
Tasdiqlovchi hujjatlar tekshirish jarayonida paydo bo'ladi va tekshirish jarayonida o'zgarishi mumkin. Sarlavha sahifasi ishga tushirish bosqichida yaratiladi. Tayyorgarlik bosqichida aniqlangan muammolar ro'yxati tuziladi. Nazorat savollari ro'yxati muhokama bosqichida to'ldiriladi. Tekshiruv jarayoni tugagandan so'ng, tasdiqlovchi hujjatlar arxivlanadi va endi o'zgartirilmaydi. Tasdiqlovchi hujjatlar ular uchun belgilangan muddatlarga muvofiq saqlanadi.

Rasmiy tekshirish jarayonida tekshirilayotgan hujjat ketma-ket bir nechta holatni o'zgartiradi. Ishlab chiqish jarayonida (rasmiy tekshirish boshlanishidan oldin) hujjat Faol (Faol) holatiga ega. Bu holatda muallif hujjatga ham o‘qish, ham yozish uchun kirishi mumkin. Muallif hujjat ustida ishlashni tugatgan deb hisoblagandan so'ng, u hujjatni Tayyor (Tayyor) holatiga o'tkazadi. Bu hujjatning rasmiy tekshirishga tayyorligini bildiradi. Tayyor holatda muallif endi hujjatni o'zgartira olmaydi. Keyingi hujjat holati - Ko'rib chiqish (rasmiy tekshirish). Hujjat bu holatda rasmiy tekshiruvni boshlash bosqichida joylashtiriladi. Hujjatni Ko'rib chiqish holatiga o'tish taqdimotchi tomonidan amalga oshiriladi. Ko'rib chiqish holatida hujjat rasmiy ko'rib chiqishning barcha ishtirokchilari uchun faqat o'qish uchun mo'ljallangan. Agar hujjat rasmiy tekshiruvdan o'tgan bo'lsa (hech qanday muammo topilmasa), u Tasdiqlangan holatga kiradi. Hujjatni tasdiqlangan holatga o'tkazish taqdimotchi tomonidan amalga oshiriladi. Bu holatda, hujjat rasmiy tekshiruvning barcha ishtirokchilari, shuningdek, loyihaning qolgan ishtirokchilari uchun faqat o'qish uchun mo'ljallangan. Agar rasmiy tekshiruvdan so'ng maqsadli hujjatda tuzatishlar talab etilsa, hujjat yangilanish holatiga o'tkaziladi (qayta ishlash). Bu holatda muallif hujjatni o'qish va yozish huquqiga ega. Hujjat qayta ko'rib chiqilgandan so'ng, muallif hujjatga Tayyor holatni belgilaydi va holatga o'tish jarayoni hujjat Tasdiqlangan holatga o'tkazilguncha takrorlanadi. Agar tekshirilayotgan hujjat jiddiy o'zgarishlarni talab qilmasa, rahbar kerakli tuzatishlar kiritilganiga ishonch hosil qilgandan so'ng, maqsadli hujjat Tasdiqlangan holatga o'tkazilishi mumkin.

Tekshirilayotgan hujjat tekshirish jarayoni tugagandan so'ng tuzatilishi kerak. Tuzatilgandan so'ng, maqsadli hujjat qayta tekshirilishi mumkin. Shunday qilib, maqsadli hujjat bir nechta ketma-ket tekshiruvlardan o'tishi mumkin (rasmiy tekshirish jarayonida hujjatlarning hayot aylanishining bir necha bosqichini o'tkazing). Tekshirilayotgan hujjatning umumiy hayot aylanishini 16.1-rasmda tasvirlash mumkin.

16.2. Rasmiy kod tekshiruvlari

Dastur kodini rasmiy tekshirish jarayoni mavhum rasmiy tekshirish uchun belgilangan barcha qoidalarga bo'ysunadi, biroq u birinchi navbatda tekshirilayotgan dastur kodining tuzilishi bilan bog'liq ba'zi o'ziga xosliklarga ega, shuningdek kodning bo'limlari bo'lishi mumkin emas. test holatlari asosida avtomatlashtirilgan test yordamida tekshiriladi.

16.2.1. Tekshirilayotgan kodni ko'rib chiqish bosqichining xususiyatlari

Asosiy fikrlarni ajratib ko'rsatish va jadvallarni yaratish yoki ulardan foydalanish. Manba kodini ko'rib chiqishni boshlashdan oldin, manba kodi tekshirilayotgan talablar nuqtalariga e'tibor qaratish va bu talablarni avtomatik ravishda tekshirib bo'lmasligi sabablarini yozish yaxshidir. Shundan so'ng, siz haqiqiy manba kodini ko'rishni davom ettirishingiz mumkin. Tekshiruv davomida dastlabki kodda kiritilishi kerak bo'lgan barcha eslatmalar loyiha ma'lumotlar bazasida saqlanadigan faylda emas, balki uning nusxasida amalga oshirilishi kerak, keyinchalik tekshirish materiallari bilan birga topshiriladi. Nusxa asl fayl bilan bir xil formatda bo'lishi mumkin yoki qog'ozda chop etilishi yoki DOC, PDF yoki shunga o'xshash sharhlarga ruxsat beruvchi formatda chiqishi mumkin.

Manba kodidagi kuzatuv jadvallaridan foydalanib, zarur talablarga javob beradigan tekshiriladigan funksiyalar yoki usullar aniqlanadi. Kodning bo'limlari ta'kidlanadi va tegishli talabning yorlig'i yoki raqami bilan belgilanadi. Agar kod bo'limi talablarga javob bersa, bu faktni ta'kidlash rangi yoki tegishli matnli eslatma bilan belgilash kerak. Agar kod bo'limida muammolar bo'lsa, bu faktni ta'kidlash rangi yoki tekshirish shaklidagi sharhlar ro'yxatidagi tegishli bandga havola bilan ko'rsatish kerak.

Dastlabki kodga qo'yiladigan talablarning kuzatuv jadvallari mavjud bo'lmaganda, kodning ushbu alohida bo'limi nima uchun ko'rsatilgan talablarni amalga oshirishini tushuntirib beruvchi eslatmalarni kiritish tavsiya etiladi. Bunday eslatmalar hujjatni muhokama qilish bosqichida yordam beradi.

Kodlash uslubi tekshirilmoqda. Dastur kodini rasmiy tekshirishda tekshirishning alohida obyekti kodlash uslubi hisoblanadi. Ko'pgina loyihalarda dasturlar va ma'lumotlar fayllari manba kodini formatlash qoidalarini tavsiflovchi standartlar mavjud. Noto'g'ri kodlash uslubi umuman dasturning ishlashiga ta'sir qilmaydi, lekin tizimni yanada rivojlantirish jarayonida o'zgarishlarni saqlab qolish va qo'llab-quvvatlashni ancha qiyinlashtiradi. Shuning uchun, kodning tekshirilgan bo'limlarida kodlash uslubidan og'ishlar matnda va sharhlar ro'yxatida ham qayd etilishi kerak. Ba'zi hollarda, to'liq kodlash uslubini tekshirishga qaratilgan tekshiruvlar o'tkaziladi.

Kod ishonchliligini tekshirish. Ba'zan, agar talablar noto'g'ri qiymatlarga ishlov berish kerakligini aniq ko'rsatmasa ham, mustahkamlik kafolatlarini tekshirish yaxshi amaliyotdir. Agar dasturning noto'g'ri ishlashi noto'g'ri qiymatlarni qayta ishlovchilarning yo'qligi sababli mumkin bo'lsa, buni sharhlar ro'yxatida belgilash tavsiya etiladi.

16.2.2. Uchrashuv bosqichining xususiyatlari

Rollarni taqsimlash. Inspektorlar tarkibida tizimning haqiqiy o'rnatilishida tekshirilayotgan kodning bajarilishining o'ziga xos xususiyatlarini tushunadigan kamida bitta mutaxassis bo'lishi maqsadga muvofiqdir. Bu emulyatorlarda amalga oshiriladigan o'rnatilgan tizimlarni sinovdan o'tkazishda ayniqsa muhimdir. Yig'ilish davomida bunday mutaxassis o'qituvchiga sharhlar ko'p bo'lsa, ularni ko'rib chiqish ketma-ketligini aniqlashga yordam berishi mumkin.

Uchrashuv boshqaruvi. Yig'ilishni o'tkazishda, odatda tavsiya qilinganidek, tekshirilayotgan fayl matnini o'qib chiqish tavsiya etilmaydi. Buning o'rniga, texnik xizmat ko'rsatuvchi o'zini funktsiyalar yoki usullarning nomlarini sanab o'tish bilan cheklanishi yoki tekshirish paytida dastlabki kodning talablarga, ro'yxatga olish raqamlari yoki identifikatorlarga muvofiqligini tekshirsa yaxshi bo'ladi. Inspektorlar, agar biror funktsiya yoki talab bo'yicha izohlar bo'lsa, qo'llarini ko'tarib, sharhlarni o'qiydilar.

16.2.3. Tugatish va qayta tekshirish bosqichining xususiyatlari

Uchrashuv hujjatlari. Tekshirilayotgan hujjat muallifining fikr-mulohazalarini to'g'rilash bo'yicha ishini engillashtirish uchun yig'ilishda muhim deb topilgan har bir izohni manba kodi va talablar qatoriga to'g'ri kiritish tavsiya etiladi.

Boshqarishni o'zgartirish. Manbalarni qayta tekshirishda fayllarni solishtirish uchun maxsus vositalardan foydalanish tavsiya etiladi. Tekshiruv natijalariga ko'ra o'zgartirishlar faqat sharhlar berilgan sohalarda kiritilishi kerak. Agar boshqa o'zgarishlar bo'lsa, rahbar to'liq hajmda yangi tekshirishni tayinlash huquqiga ega.

16.3. Loyiha hujjatlarini rasmiy tekshirish
Loyihaviy hujjatlarni rasmiy tekshirish jarayoni mavhum rasmiy tekshirish uchun belgilangan barcha qoidalarga bo'ysunadi, ammo u, birinchi navbatda, loyiha hujjatlarining izchilligi va to'liqligi tekshirilishi bilan bog'liq bo'lgan ba'zi xususiyatlarga ega. Ko'rib chiqilayotgan kontekstda ushbu atamalarning aniq ta'rifi qiyin, shuning uchun izchillik deganda biz loyiha hujjatlarida qarama-qarshi ma'noga ega bo'lgan talablarning yo'qligini tushunamiz, unga ko'ra dasturiy ta'minot tizimini amalga oshirishning bir nechta mutlaqo boshqa variantlari mumkin. To'liqlik deganda biz tizim xatti-harakatlarini aniq amalga oshirish uchun talablarning etarliligini tushunamiz.

16.3.1. Hujjatlarni ko'rib chiqish bosqichining xususiyatlari

Tizim talablarini tekshirishda, qoida tariqasida, ushbu hujjatga tegishli "tashqi" va "ichki" ma'lumotlar hisobga olinadi. Tashqi ma'lumotlar deganda, birinchi navbatda, tizimni ishlab chiqishda qabul qilingan texnik echimlarning mohiyati, uni boshqa tizimlardan ajratib turadigan tamoyillar tushuniladi. Bu talablarning ushbu tamoyillarga muvofiqligini tekshiradi. Ichki ma'lumotlar, birinchi navbatda, hujjatning ichki yaxlitligi va izchilligini anglatadi - noaniqliklar va beqaror sohalardan xoli dastur kodini ishlab chiqish imkonini beruvchi xususiyatlar. Hujjatning ichki xususiyatlarini tekshirishda inspektor javob berishi kerak bo'lgan asosiy savol: "Ishlab chiqish guruhi u bilan ishlashi uchun talablar belgilanganmi?" yoki boshqacha qilib aytganda, "Bu talablar aniq, to'liq va vakolatli tarzda ifodalanganmi?". Tekshiruv jarayoni ushbu savollarga javob berishga yordam beradi va tekshiruvlar o'tkazishda quyidagi nazorat ro'yxatidan foydalanish mumkin.

Har bir talab mutlaqo aniq emasmi? (Agar talab ketma-ket bir necha marta o'qilgan bo'lsa, avval birinchi so'z, keyin ikkinchi, keyin uchinchi va hokazo ta'kidlangan bo'lsa, bu talabning ma'nosi o'zgaradimi?)

Belgilangan talablarning har biri uchun, ishlab chiqish tugagandan so'ng, ushbu talab bajarilgan yoki bajarilmaganligini ayta oladigan vakolatli shaxs bormi? Ushbu muammoni hal qilish usuli talablar hujjatlarida belgilanganmi?
Aniqlanmagan yoki etishmayotgan talablar bormi?
Berilganlar orasida zarur bo'lmagan talablar bormi?
Agar bir-biriga qarama-qarshi talablar mavjud bo'lsa, qaysi holatlarda qaysi talab ustuvor bo'lishi kerakligi haqida aniq qaror qabul qilish qoidasi bormi?
16.3.2. Yakunlash bosqichining xususiyatlari
Hujjatlarning nomuvofiqligining rivojlanish jarayoniga ta'siri. Dastur kodidagi o'zgarishlarni kuzatish. Loyiha hujjatlarini dastlabki tekshirish, qoida tariqasida, dasturiy ta'minot tizimining o'zi hali yozilmagan bo'lsa, amalga oshiriladi. Biroq, allaqachon ishlayotgan tizimga qo'yiladigan talablardagi o'zgarishlarni tekshirishda (masalan, uning versiyasini yangilashda) hujjatlarni va uning asosida yaratilgan dastur kodini bir vaqtning o'zida kompleks tekshirish talab qilinishi mumkin. Bunday holda, tekshirish natijalariga ko'ra hujjatlarga kiritilishi kerak bo'lgan o'zgartirishlar dastur kodini tegishli o'zgartirishni talab qilganda vaziyat yuzaga kelishi mumkin. Ushbu muammoni hal qilish kuzatuv jadvallari yordamida amalga oshiriladi.

Kompleks tekshiruv talablarni o'zgartirgandan keyin emas, balki butun o'zgarishlar zanjiri tugagandan so'ng - funktsional talablar, arxitektura, past darajadagi talablar va dastur kodini o'zgartirgandan so'ng amalga oshirilganda biroz boshqacha vaziyat yuzaga keladi. Bunday holda, qarama-qarshi talablar aniqlanganda, ushbu talablarni amalga oshiradigan dasturiy ta'minot tizimining barcha qismlarini aniqlash kerak. Agar ushbu qismlarning rivojlanishi turli odamlar tomonidan amalga oshirilgan bo'lsa, qarama-qarshi talablarning talqini ham farq qilishi mumkin edi. Bunday holda, nomuvofiqlikni bartaraf etish tizimning loyiha hujjatlari va manba kodida "o'zgarishlar to'lqini" ga olib kelishi mumkin. Tekshiruvlar tugagandan so'ng "o'zgarish to'lqinlari" ni oldini olish uchun tekshirishlarni hayot tsiklining keyingi bosqichi boshlangunga qadar yoki keyingi darajadagi tafsilotlar ishlab chiqilgunga qadar bosqichma-bosqich o'tkazish tavsiya etiladi.