Кіріспе

Құжаттардағы кемшіліктерді табуға бағытталған процесс.

Фаган инспекциясы – бағдарламалық жасақтаманы әзірлеу процесінің әртүрлі кезеңдерінде құжаттардағы (мысалы, бастапқы код немесе ресми сипаттамалар) кемшіліктерді анықтауға бағытталған процесс. Ол бұл әдісті формалды бағдарламалық тексеруді ойлап тапқан Майкл Фаганның есімімен аталған. Фаган инспекциясы процесті алдын ала белгіленген кіру және шығу критерийлері бар нақты бір іс-әрекет ретінде анықтайды. Кіру және шығу критерийлері белгіленген кез келген процесс үшін, Фаган инспекциясы процестің нәтижесі белгіленген шығу критерийлеріне сәйкес келе ме екенін тексеру үшін қолданылуы мүмкін. Фаган инспекциясы берілген процестің нәтижесін бағалау үшін топтық қарастыру әдісін пайдаланады.

Қолданылуы

Бағдарламалық жасақтаманы әзірлеу процесі – Фаган инспекциясының әдеттегі қолданылуы. Ақауды түзетуге кеткен шығын, техникалық қолдау кезеңінде түзетуге қарағанда бастапқы операцияларда 10-100 есе арзан болғандықтан, ақауларды олар енгізілген жерге мүмкіндігінше жақын анықтау өте қажет. Бұл әрбір операцияның нәтижесін тексеру және оны сол операцияның нәтиже талаптарымен немесе шығу критерийлерімен салыстыру арқылы іске асырылады.

Пайдалары мен нәтижелері

Тексерулерді қолдану арқылы түпкілікті өнімдегі қателердің санын едәуір азайтуға және жоғары сапалы өнім жасауға болады. Алдағы уақытта команда тексеру сессиялары жобалау және кодтауда жиі кездесетін қателер туралы түсінік беретіндіктен, қателерді олардың пайда болу себебінен алдын алуға мүмкіндік алады. Тексеру процесін үздіксіз жетілдіру арқылы осы түсініктерді одан да тиімді пайдалануға болады. Мысалы, команда электрондық кеңесу жүйесін (EMS) пайдалану арқылы кеңестердің өнімділігін арттыруды зерттеп жатыр және оң нәтижелерге қол жеткізді.

Басқа зерттеушілер анықталған қателердің дерекқорын сақтайтын және осы жиі кездесетін қателерді автоматты түрде іздейтін бағдарламалық құралды пайдалануды ұсынады. Бұл да өнімділікті жақсартуға көмектеседі.