Проверката е процесът на проверка на софтуерен продукт

Термините "проверка" и "валидиране" често се използват в техническата литература и се свързват с анализа на качеството на всеки софтуер. В научната литература могат да се намерят различни тълкувания на тези понятия. Така че, нека се опитаме да разберем този въпрос.

Най-правилната от наша гледна точка е следната дефиниция. Валидирането и проверката са дейности, насочени към контрол на качеството софтуерния продукт с цел откриване в ранните етапи на грешки в него. Изглежда, че те имат обща цел. Но все пак тези видове имат различия в източниците на тестваните свойства, ограниченията и правилата, неспазването на които може да се смята за грешка.

Проверката е проверка на съответствието на софтуера техническа документация, представлявано от техническия проект, архитектура или модел на домейна. В "отговорностите" на този термин се включва сравнението на процедурата за изчисляване с процеса на тяхното разработване, правила и стандарти.

Проверката на данните може да се извърши, за да се установи съответствието на работата на програмата с установените стандарти, изисквания, проектни решения и потребителска документация. В същото време задължителните документи трябва да подлежат на предварителна проверка, с която те се сравняват за съответствие със стандартите и стандартите, установени в страната, в която се използва софтуерът. Необходимо е да се вземат предвид и да се спазват всички последователни операции.

В случай на откриване на грешка или дефект в работата на програмата или констатация за противоречие между горепосочените документи и функционирането на програмата, решението за избор на документ за корекция трябва да бъде решение на конкретен проблем.

За разлика от проверката, валидирането е отговорено за проверка дали развитите или придружаваните софтуерни продукти отговарят на нуждите или нуждите на клиентите или потребителите. Тези нужди често не се записват в никакви документи. Ето защо валидирането е по-малко формализирано от проверката. Това е процес, при който представителят на клиента, потребителят участва, както и анализатор или експерт могат да присъстват. домейн. С други думи, тези, които могат да изразят специфичните нужди и реалните нужди на заинтересованите страни.

Проверката е отговор на въпроса "Правил ли е софтуерът правилно?" И валидирането - "Правил ли е правилният софтуер?".

При търсенето на отговори на поставените въпроси може да се установи, че валидирането (или атестацията) на съдържанието има стойност, малко по-голяма от тази на проверката (проверка). Проверката обаче е тясно свързана с осигуряването на качествен контрол на софтуера.

Например, проверката на компютърна програма включва процес, при който целта е да се гарантира, че изискванията на данните, получени в даден жизнен цикъл на продукта, са изпълнени, с тези, които са получени на предишния етап.

Ако говорим за проверка на модела, ще говорим за проверка на верността на картографирането на даден изчислителен модел с необходимите концептуални или математически модели.

Когато се провери системният код, изходният код се анализира и документацията му за съответствие се документира.

В процеса на проверка могат да бъдат включени операции, включващи алтернативни изчисления. Техническата и научната документация на новия проект се сравнява със съответната документация на вече съществуващия проект, задължително тестване, изпитване на новия софтуер и демонстриране на резултатите.