Verificare

Verificarea (din latinescul  verum  „adevărat” + facere  „a face”) în diferite domenii ale activității umane poate însemna:

• confirmarea că cerințele specificate sunt îndeplinite prin furnizarea de dovezi obiective [1] ;
• evaluarea conformității unui produs, serviciu sau sistem cu normele, cerințele, specificațiile sau condițiile stabilite [2] ;
• verificarea, confirmarea, metoda de demonstrare a oricăror poziții teoretice, algoritmi, programe și proceduri prin compararea acestora cu date, algoritmi și programe experimentale (de referință sau empirice ). ;
• tehnica recunoașterii adevărului ;
• în știință, verificarea prevederilor teoretice pentru conformitatea cu realitatea folosind experiment [3] .

În sensul demonstrabilității, verificabilitatea explicațiilor ( modelelor ) obiectelor / fenomenelor , în funcție de gradul de confirmare de către realitate ( empiric , fapte ), formează conceptele :

• O ipoteză  este o afirmație plauzibilă, falsificabilă, nedovedită, bazată pe o serie de observații sau judecăți, concepte, postulate (în știință) care o confirmă.
• Un concept  este un model cu sau fără fapte care îi confirmă adevărul (vezi Filosofie ).
• Teorie  - o explicație cu furnizarea de dovezi ale gradului maxim (vezi Știință ).

Verificarea formală în informatică

Verificarea formală este o dovadă folosind metode formale a corectitudinii sau incorectitudinii unui program (sistem) în conformitate cu descrierea formală a proprietăților programului (sistemului).

Metode de verificare formală:

• Metoda lui Hoare de semantică axiomatică
• Metoda lui Floyd a afirmațiilor inductive
• Programare bazată pe dovezi
• Demonstrarea automată a teoremelor (demonstrarea teoremei)
• Verificarea modelului
• Execuție simbolică
• Interpretare abstractă (Abstract Interpretation).

Principiul de verificare a Cercului de la Viena

De fapt, ideea de verificabilitate nu este ideea de pornire a reprezentanților Cercului de la Viena [4] și a fost formulată chiar mai devreme - deși nu destul de clar - de Wittgenstein :

O propoziție poate fi înțeleasă numai dacă știm în ce condiții poate fi adevărată. Aceasta înseamnă că ceea ce se cere nu este cunoașterea dacă o propoziție este adevărată sau falsă, ci cunoașterea circumstanțelor care fac posibilă stabilirea adevărului ei.LFT , 4.024

Principiul verificării a fost propus de Cercul de la Viena [4] , care l-a inclus pe filosoful pozitivist Moritz Schlick în anii 1920. Membrii cercului credeau că în știință ar trebui să rămână două clase de propuneri științifice - adevăruri analitice care nu au conținut de subiect și adevăruri faptice, fapte empirice ale științelor specifice, a căror semnificație poate fi verificată într-un mod special - principiul verificării. . Procedura de verificare „purificarea” științei din metafizică cu ajutorul propozițiilor protocolare [4] de natură empiric stă la baza întregului program al pozitivismului logic .

Verificarea este o procedură de verificare a adevărului cunoștințelor. Acesta sugerează că propozițiile complexe ar trebui împărțite în propoziții de protocol. Adevărul propozițiilor de protocol este absolut neîndoielnic, întrucât corespunde realității observate. Forma propoziției de protocol arată astfel: „NN a observat un astfel de obiect într-un asemenea moment și într-un astfel de loc”. Reducerea propozițiilor complexe la cele de protocol se numește reducere. Astfel, toată activitatea unui om de știință se rezumă la verificarea propozițiilor de protocol și generalizarea acestora. Ca urmare a procedurii de verificare, toate întrebările metafizice au intrat în categoria celor lipsite de sens și au fost aruncate. Motivul pentru aceasta constă în faptul că întrebările filozofice nu pot fi reduse printr-un lanț logic de raționament la afirmații empirice care le pot confirma sau infirma.

Schlick a subliniat, de asemenea, că baza cunoștințelor noastre empirice sunt așa-numitele afirmații , așa cum a numit propoziții despre „percepția prezentă”. Astfel de propoziții, așa cum credea filozoful, sunt, de asemenea, unic și definitiv decidabile, la fel ca propozițiile de natură analitică. Pe această bază a fost propusă cerința verificării complete, care ar putea fi formulată după cum urmează:

O propoziție are sens dacă și numai dacă nu este o propoziție analitică sau o contradicție și dacă rezultă logic dintr-o clasă finită de propoziții consistente , iar elementele acestei clase de propoziții sunt propoziții de observație.

Astfel, verificarea a fost un criteriu al adevărului, dar în același timp o modalitate de a dezvălui sensul, și principiul distingerii dintre cunoașterea empirice semnificativă și cea metafizică, lipsită de sens.

Cu toate acestea, curând a devenit evident că un astfel de verificaționism direct este imposibil în acele cazuri în care avem de-a face cu evenimente trecute, cu judecăți generale etc. Atunci acest criteriu a fost slăbit și a apărut criteriul verificării fundamentale, sau al verificabilității: condițiile pentru verificarea practica a daca un alt fapt sau nu. Un exemplu tipic în acei ani a fost argumentul despre partea îndepărtată a lunii , care în principiu poate fi confirmată atunci când este construită o aeronavă care va zbura în jurul Lunii. Însuși conceptul de sentințe de protocol era și el vulnerabil. K. Popper a acționat ca un critic extern , care a considerat că principiul falsificării (refutării) ar trebui introdus ca un criteriu de caracter științific.

Vezi și

• Dovada
• falsificarea
• Validare
• Identificare

Note

1. ↑ ISO/IEC/IEEE 24765:2017 Ingineria sistemelor și software - Vocabular
2. ↑ Institutul de Management de Proiect. Un ghid pentru corpul de cunoștințe al managementului de proiect ( ghidul PMBOK ). — Ediția a șasea. - Newtown Square, PA. - 1 resursă online p. — ISBN 9781628253900
3. ↑ [slovar.cc/enc/bolshoy/2074859.html Verificare]. Dicționar enciclopedic mare.
4. ↑ 1 2 3 Apel, K.-O. Transformarea filozofiei. M.: Logos, 2001. - P.35

Literatură

• Sinitsyn S. V., Nalyutin N. Yu.  Verificare software. M.: BIOM, 2008, 368 p. ISBN 978-5-94774-825-3