Термины «верификация» и «валидация» очень часто използвани в техническата литература и свързани с анализа на качеството на всеки софтуер. В научната литература могат да се намерят различни тълкувания на тези понятия. Така че, нека се опитаме да разберем този въпрос.
Най-правилното, от наша гледна точка,е следната дефиниция. Валидирането и проверката са дейности, които са насочени към осъществяване на качествен контрол на софтуерния продукт, за да се открият грешките в него в ранните етапи. Изглежда, че те имат обща цел. Все пак тези видове имат разлики в източниците на проверими свойства, ограничения и правила, чието неспазване може да се счита за грешка.
Проверката е проверка за съответствие.софтуерна техническа документация, предоставена от техническото задание, архитектурата или модела на домейна. "Задълженията" на този термин включват сравнението на процедурата за сетълмент с процеса на тяхното развитие, правила и стандарти.
Проверката на данните може да се извърши заинсталиране на съответствие на програмата с установените стандарти, изисквания, дизайнерски решения и потребителска документация. Същевременно документите, с които се прави сравнение за съответствие със стандартите и стандартите, установени в страната, в която се използва софтуерът, подлежат на задължителна предварителна проверка. Необходимо е да се вземат предвид и да се спазват всички последователни операции.
В случай на откриване на грешка или дефект в работатапрограмата или откриване на противоречие между горните документи и текущото функциониране на програмата, решението за избор на документ за корекция трябва да бъде решение на отделен проблем.
За разлика от проверката, валидирането е отговорно запроверка на съответствието на разработени или поддържани софтуерни продукти с нуждите или нуждите на клиентите или потребителите. Тези нужди често не се записват в нито една документация. Ето защо валидирането е по-малко формализирано от проверката. Това е процес, в който участва представител на клиента, потребителя и също може да присъства анализатор или експерт по въпросите. С други думи, тези, които могат да изразят специфичните нужди и реалните нужди на заинтересованите страни.
Проверката е отговорът на въпроса „Правилно ли се изпълнява софтуерът?“, А валидирането е „Правилният софтуер ли е направен?“.
При поиске ответа на поставленные вопросы можно да открием, че валидирането (или сертифицирането) в съдържанието има някак по-широк обхват от проверката (проверката). Проверката обаче е тясно свързана с осигуряване на контрол на качеството на софтуера.
Например проверка на компютърни програмиосигурява процес, при който целта е да се гарантира, че изискванията на данните, получени в определен жизнен цикъл на продукта, са удовлетворени от тези, получени на предишния етап.
Ако говорим за проверка на модела, тогава ще говорим за проверка на правилността на картографирането на този изчислителен модел към необходимите концептуални или математически модели.
При проверка на системния код се анализира кодирането на източника и се проверява документалното му описание.
В процессе верификации могут включаться операции, съдържащи алтернативни изчисления. Техническата и научната документация на нов проект се сравнява със съответната документация на съществуващ проект, задължително тестване, тестване на нов софтуерен продукт и демонстрация на резултати.
