Кіріспе
Бағдарламалық жасақтаманы қарау - "проект қызметкерлері, менеджерлер, пайдаланушылар, клиенттер, пайдаланушылар өкілдері немесе басқа да мүдделі тараптар бағдарламалық жасақтаманы пікір немесе мақұлдау үшін қарайды". Осыған байланысты "бағдарламалық өнім" термині "бағдарламалық әзірлеу қызметінің нәтижесі ретінде шығарылған кез келген техникалық құжат немесе жартылай құжат" дегенді білдіреді және келісімшарттар, жобалық жоспарлар мен бюджеттер, талап құжаттары, спецификациялар, жобалар, бастапқы код, пайдаланушы құжаттамасы, қолдау және техникалық қызмет көрсету құжаттамасы, сынақ жоспарлары, сынақ спецификациялары, стандарттар және кез келген басқа да арнайы жұмыс өнімдері сияқты құжаттарды қамтуы мүмкін.
Теңдестердің бағалауының әртүрлі түрлері
Кодты қайта қарау - компьютерлік бастапқы кодты жүйелі түрде (көбінесе әріптестердің қарауы ретінде) тексеру. Жұптық бағдарламалау - екі адам бір жұмыс орнында бірге кодты құрастыратын кодты қарау түрі. Тексеру - бұл сарапшылардың ақауларды табу үшін нақты белгіленген процесті ұстанатын өте ресми сараптау түрі. Walkthrough - автордың бағдарламалық өнімге қатысуы арқылы әзірлеу тобының мүшелерін және басқа да мүдделі тараптарды жетектеп, қатысушылар ақаулар туралы сұрақтар қойып, түсініктемелер жасайтын әріптестердің шолу түрі. Техникалық тексеру - білікті мамандар тобы бағдарламалық өнімнің мақсатты пайдалануға жарамдылығын тексеретін және спецификация мен стандарттарға сәйкес келмейтін жерлерді анықтайтын әріптестердің тексеруінің бір түрі.
Ресми және бейресми тексерулер
"Ресмилік" - белгілі бір іс-әрекеттің келісілген (жазбаша) ережелерге қаншалықты бағынатынын анықтайды. Бағдарламалық қамтамасыз етуді қарау процестері формалдылықтың спектрінде бар, спектрдің бір шетінде "достар тексеруі" сияқты салыстырмалы түрде құрылымдалмаған іс-шаралар, ал екінші жағынан, жүріп өту, техникалық шолу және бағдарламалық қамтамасыз етуді тексеру сияқты ресми тәсілдер бар. IEEE Std. 1028 1997 соңғы үшінің әрқайсысы үшін ("ресми әріптестердің шолуы") бағдарламалық қамтамасыз етуді тексерумен бірге ресми құрылымдарды, рөлдерді және процестерді айқындайды. Зерттеулер ресми шолулар құн тиімділігі жағынан бейресми шолулардан әлдеқайда артық екендігін растайды. Бейресми тексерулер қажетсіз қымбатқа түседі (бағдардың жетіспеушілігіне байланысты уақытты ысырап ету) және жиі қауіпсіздік сезімін береді, бұл табылған және жөнделген нақты ақаулардың салыстырмалы түрде аз санымен негізделмейді.
IEEE 1028 ресми тексерулер үшін жалпы процесс
IEEE 1028 "формалды" тексерулер үшін (бірнеше нұсқалармен, әсіресе бағдарламалық қамтамасыз етуді тексеру үшін) жалпы іс-шаралар жиынтығын айқындайды. Осы стандартта басқаруды тексеру, техникалық тексеру, тексеру, тексеру, аудит және т.б. Стандарттық іс-әрекеттердің белгіленген реті негізінен Майкл Фаганның IBM-де әзірлеген бағдарламалық қамтамасыз етуді тексеру процесіне негізделген. Тексерудің әртүрлі түрлері осы құрылымды әртүрлі дәрежеде қолдануға болады, бірақ барлық іс-шаралар тексеру үшін міндетті: 0. [Қабылдауды бағалау]: Қарау жүргізуші стандартты тексеру тізімін қолданады. 1. Жасырын Басқарудың дайындығы: Жауапты басқару тексеруге қажетті персонал, уақыт, материалдар мен құралдар бар екенін және оны саясат, стандарттар немесе басқа да тиісті критерийлерге сәйкес жүргізетінін қамтамасыз етеді. 2. Қауіпсіздік. Тексеруді жоспарлау: Тексеруді жүргізуші тексерудің мақсаттарын анықтайды немесе растайды, тексерушілер тобын ұйымдастырады және тексеруді жүргізу үшін қажетті барлық ресурстармен қамтамасыз етілуін қамтамасыз етеді. 3. Өмірлік. Тексеру рәсімдерінің жалпы сипаттамасы: Тексеруді жүргізетін жетекші немесе басқа да білікті адам (қажет болған жағдайда кездесуде) барлық тексерушілердің тексерудің мақсаттарын, тексеру рәсімдерін, оларға қол жетімді материалдарды және тексеру жүргізудің рәсімдерін түсінуін қамтамасыз етеді. 4. Ауыртпалық [Жеке] Дайындық: Рецензенттер қаралып жатқан жұмысты топтық тексеруге жеке дайындалады, оны "аномалиялар" (болуы мүмкін ақаулар) үшін мұқият қарап, оның сипаты рецензияның түріне және оның мақсаттарына байланысты өзгереді. 5. Қалай? [Топтық] Тексеру: Тексерушілер өздерінің дайындық іс-әрекетінің нәтижелерін біріктіру үшін жоспарланған уақытта кездеседі және қаралып жатқан құжаттың (немесе іс-әрекеттің) мәртебесі туралы консенсусқа келеді. 6. Қалай? Қайта өңдеу/бақылау: Жұмыс өнімінің авторы (немесе басқа тағайындалған адам) ақауларды жою немесе тексеру кездесуінде келісілген талаптарды қанағаттандыру үшін қажетті іс-қимылдарды жасайды. Қарап шығу жетекшісі барлық іс-қимылдар аяқталғанын тексереді. 7. Ауысым. [Еңбекті бағалау]: Қарауды жүргізуші тексере отырып, тексере отырып, тексере отырып, барлық қажетті іс-шаралар орындалғанын және тексере отырып, барлық тиісті шығыстар аяқталғанын тексереді.
0. [Entry evaluation]: The review leader uses a standard checklist of entry criteria to ensure that optimum conditions exist for a successful review. 1. Management preparation: Responsible management ensure that the review will be appropriately resourced with staff, time, materials and tools, and will be conducted according to policies, standards or other relevant criteria. 2. Planning the review: The review leader identifies or confirms the objectives of the review, organises a team of reviewers and ensures that the team is equipped with all necessary resources for conducting the review. 3. Overview of review procedures: The review leader, or some other qualified person, ensures (at a meeting if necessary) that all reviewers understand the review goals, the review procedures, the materials available to them and the procedures for conducting the review. 4. [Individual] Preparation: The reviewers individually prepare for group examination of the work under review, by examining it carefully for "anomalies" (potential defects), the nature of which will vary with the type of review and its goals. 5. [Group] Examination: The reviewers meet at a planned time to pool the results of their preparation activity and arrive at a consensus regarding the status of the document (or activity) being reviewed. 6. Rework/follow up: The author of the work product (or other assigned person) undertakes whatever actions are necessary to repair defects or otherwise satisfy the requirements agreed to at the examination meeting. The review leader verifies that all action items are closed. 7. [Exit evaluation]: The review leader verifies that all activities necessary for successful review have been accomplished and that all outputs appropriate to the type of review have been finalized.
Қарап тексерулердің мәні
Бағдарламалық жасақтаманы тексерудің (әсіресе ресми тексерулердің) ең айқын құндылығы - олар мәселелерді тестілеу немесе далалық пайдалану арқылы анықтауға қарағанда ертерек және арзан анықтауға мүмкіндік береді ("қателерді анықтау процесі"). Жақсы жүргізілген тексеру арқылы ақауды табу және түзету шығындары сол ақауды сынау арқылы немесе далада табуға қарағанда бір немесе екі шамамен төмен болуы мүмкін. Бағдарламалық жасақтамаларды шолудың екінші, бірақ ең бастысы, олар техникалық авторларды өте аз ақаулық құжаттарын әзірлеуге, сондай-ақ ақауларды көтермелейтін процестердің жеткіліксіздігін анықтауға және жоюға ("ақауларды болдырмау процесі") пайдалануға болады. Бұл, әсіресе, егер олар жұмыстың үлгілері бойынша жұмыстың аяқталуын күтудің орнына ерте және жиі жүргізілсе, әріптестердің шолулары үшін маңызды. Кішігірім жұмыс үлгілерін ерте және жиі қарау автордың жұмыс процестеріндегі жүйелі қателерді анықтауға мүмкіндік береді, оларды одан әрі ақаулық жұмыс жасалмас бұрын түзетуге болады. Автордың біліктілігін арттыру жоғары сапалы техникалық құжатты әзірлеуге кететін уақытты күрт қысқартуға және құжатты төменгі сатыдағы процестерде пайдалану кезіндегі қателік мөлшерін күрт төмендетуге мүмкіндік береді. Жалпы қағида бойынша, техникалық құжат неғұрлым ерте дайындалса, оның ақаулары кез келген кейінгі сатыдағы қызмет пен олардың жұмыс өнімдеріне әсері соғұрлым үлкен болады. Осыған сәйкес, маркетингтік жоспарлар, келісімшарттар, жобалық жоспарлар мен кестелер мен талаптардың ерекшеліктері сияқты құжаттарды ерте тексерудің пайдасы зор. Зерттеушілер мен тәжірибелілер қателерді және қауіпсіздік мәселелерін табуда қайта қарау процесінің тиімділігін көрсетті.