Тексеру - бағдарламалық қамтамасыз ету растау процесі

терминдер «тексеру» және «тексеру» өте жиі техникалық әдебиетте қолданылады және кез келген бағдарламалық қамтамасыз талдау сапасына байланысты. Ғылыми әдебиетте бұл ұғымдардың түрлі түсіндіру бар. Сондықтан, мәселені қарастыру үшін көріңіз.

ең қолайлы, біздің ойымызша, келесі анықтамасы болып табылады. Тексеру және тексеру - сапасын бақылауды жүзеге асыратын бағытталған іс-шаралар болып табылады бағдарламалық қамтамасыз оның ерте кезеңдерінде қателерді анықтау үшін. Олар ортақ мақсат бар екенін көрінуі еді. Дегенмен, бұл түрлер тексеруге қасиеттері, шектеулер мен ережелерге көздері айырмашылықтар бар, бұзу қате деп санауға болады.

Тексеру - бағдарламалық қамтамасыз ету сәйкестік чек техникалық құжаттамаға қойылатын талаптар спецификациясы көзделген, сәулет немесе домен моделі. мерзімі «Парыз» дамыту, ережелер мен стандарттарды процесіне енгізілген және салыстыру есептеу рәсімдер.

Деректерді тексеру сәйкестік бағдарлама белгіленген стандарттарға, талаптарға, жобалау және пайдаланушы құжаттаманың істеуін орнату үшін орындалуы мүмкін. Бұл жағдайда, міндетті алдын-ала тексеру бағдарламалық қамтамасыз ету жүзеге асырылады елде баяндалған стандарттар мен ережелерге сәйкестігін салыстырғанда олар құжаттарға, жатады. Ол қарау және жүзеге операциялардың реттілігі үшін құрмет ескеру қажет.

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

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

Тексеру - «? Дұрыс жасады бағдарламалық құрал болып табылады» сұраққа жауап болып табылады, және валидация - «оң бағдарламалық қамтамасыз ма?».

Осы сұрақтарға жауап іздегенде, сіз тексеру (немесе сертификаттау) мазмұнға тексеру (верификациялау) сәл кеңірек орнатылғанын. таба алады Алайда, тексеру тығыз бағдарламалық өнім сапасына бақылауды қамтамасыз ету байланысты.

Мысалы, компьютерлік бағдарламаның тексеру мақсатында негізі осы талаптарға сай қамтамасыз ету үшін, атап айтқанда, алдыңғы қадамда алынған адамдарға, өнімнің өмірлік циклын алынған процесс қамтамасыз етеді.

біз моделі тексеру туралы айтатын болсақ, бұл жерде біз тұжырымдамалық немесе қажетті компьютерлік модельдерін дұрыс дисплейде тексеру шоғырландырылатын болады математикалық модельдер.

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

тексеру процесі баламалы есептеулерді қамтитын операцияларды қамтуы мүмкін. қолданыстағы жобаның тиісті құжаттаманы, міндетті тестілеу, жаңа бағдарламалық өнімді тестілеу және көрсететін нәтижелерімен жаңа жобаның техникалық және ғылыми құжаттама салыстыру.