Какво е проверка и как действа тя? Този термин се разбира по различни начини, във всяка сфера на активност, когато се използва:
-Проверката е потвърждение на крайния продукт, на предварително определени изисквания.
-Проверка също място като един от лежи методи за откриване изкривяване, и други подобни.
-Третият и последен вариант, когато проверка има за цел по никакъв начин да се потвърди данните, като ги разглежда с каквито и да било данни, предоставени.
В допълнение, има и друг термин, тъй като официална проверка, предполага доказателство, използвайки различни методи, официално за правилност, или обратното, нередности система в съответствие с описанието, неговите свойства. Има няколко метода за проверка:
- Първо, този метод е аксиоматични семантиката Hoera;
- На второ място, това е решаващ за програмиране - този метод е бил използван още през осемдесетте години на миналия век, по време на разработването на компютърни програми с доказателствата за коректност;
- Автоматично доказателство за теореми - метод за потвърждение, който се реализира в областта на софтуера;
- Следваща - метода на индуктивни твърдения;
- Тестване на модели - метод, който позволява автоматично паралелни системи от данни с предварително определен краен брой състояния (с други думи, проверките на метод, дали даден модел отговаря на всички критерии и условия на спецификацията);
- Символичен изпълнение и абстрактно тълкуване.
Като цяло удостоверяване - процес, който може да се автоматизира напълно, но за много малък кръг от непретенциозни "теории". За да се поддържа строгост на тестване и не пропускайте нито един детайл, можете да изпълните почти безкраен цикъл, когато е налице процес на доказване на проверяващия, който след това се проверява верификатор.
Свързани статии