Verifikation

Verifikation (fra latin  verum  "sand" + facere  "at gøre") i forskellige områder af menneskelig aktivitet kan betyde:

• bekræftelse af, at de specificerede krav er opfyldt gennem tilvejebringelse af objektiv dokumentation [1 ]
• vurdering af, om et produkt, en tjeneste eller et system er i overensstemmelse med normer, krav, specifikationer eller etablerede betingelser [2] ;
• verifikation, bekræftelse, metode til bevis for eventuelle teoretiske positioner, algoritmer, programmer og procedurer ved at sammenligne dem med eksperimentelle ( reference eller empiriske ) data, algoritmer og programmer ;
• sandhedsgenkendelsesteknik ;
• i videnskab, kontrol af de teoretiske bestemmelser for overensstemmelse med virkeligheden ved hjælp af eksperiment [3] .

I betydningen bevisbarhed danner verificerbarheden af ​​forklaringer ( modeller ) af objekter / fænomener , afhængigt af graden af ​​bekræftelse af virkeligheden ( empirisk , fakta ), begreberne :

• En hypotese  er en ubevist falsificerbar plausibel erklæring baseret på en række observationer eller domme, begreber, postulater (i videnskaben), der bekræfter den.
• Et koncept  er en model med eller uden fakta, der bekræfter dets sandhed (se Filosofi ).
• Teori  - en forklaring med bevis for den maksimale grad (se Videnskab ).

Formel verifikation i datalogi

Formel verifikation er et bevis ved hjælp af formelle metoder for rigtigheden eller ukorrektheden af ​​et program (system) i overensstemmelse med den formelle beskrivelse af programmets (systemets) egenskaber.

Formelle verifikationsmetoder:

• Hoares metode til aksiomatisk semantik
• Floyds metode til induktive udsagn
• Evidensbaseret programmering
• Automatisk bevis for teoremer (sætningsbevis)
• Modelkontrol _
• Symbolsk udførelse
• Abstrakt fortolkning (Abstrakt fortolkning).

Verifikationsprincippet for Wien-cirklen

Faktisk er ideen om verificerbarhed ikke startideen for repræsentanterne for Wien-cirklen [4] og blev formuleret endnu tidligere - om end ikke helt klart - af Wittgenstein :

Et forslag kan kun forstås, hvis vi ved, under hvilke forhold det kan være sandt. Det betyder, at det, der kræves, ikke er viden om, hvorvidt en sætning er sand eller falsk, men viden om de omstændigheder, der gør det muligt at fastslå dens sandhed.LFT , 4,024

Verifikationsprincippet blev fremsat af Wienerkredsen [4] , som omfattede den positivistiske filosof Moritz Schlick i 1920'erne. Medlemmerne af kredsen mente, at to klasser af videnskabelige forslag skulle forblive i videnskaben - analytiske sandheder, der ikke har noget emneindhold, og faktuelle sandheder, empiriske fakta fra specifikke videnskaber, hvis betydning kan verificeres på en særlig måde - verifikationsprincippet . Verifikationsproceduren, der "renser" videnskaben fra metafysikken ved hjælp af protokolsætninger [4] af empirisk karakter ligger til grund for hele programmet for logisk positivisme .

Verifikation er en procedure til at kontrollere sandheden af ​​viden. Det foreslår, at komplekse sætninger bør opdeles i protokol. Sandheden af ​​protokolsætningerne er absolut utvivlsom, da den svarer til den observerede virkelighed. Protokolsætningens form ser således ud: "NN observerede sådan og sådan en genstand på sådan og sådan tid og på sådan og sådan et sted." Reduktionen af ​​komplekse sætninger til protokols kaldes reduktion. Således handler al en videnskabsmands aktivitet om at kontrollere protokolsætningerne og deres generalisering. Som et resultat af verifikationsproceduren faldt alle metafysiske spørgsmål i kategorien meningsløse og blev kasseret. Grunden til dette ligger i, at filosofiske spørgsmål ikke kan reduceres gennem en logisk kæde af ræsonnementer til empiriske udsagn, der kan bekræfte eller afkræfte dem.

Schlick påpegede også, at grundlaget for vores empiriske viden er de såkaldte udsagn , som han kaldte sætninger om "nutidsopfattelse". Sådanne sætninger, som filosoffen troede, er også entydigt bestemt afgørelige, ligesom sætninger af analytisk karakter. På denne baggrund blev kravet om fuldstændig verifikation fremsat, som kunne formuleres som følger:

En sætning har betydning, hvis og kun hvis den ikke er en analytisk sætning eller en modsigelse, og hvis den logisk følger af en konsistent endelig klasse af sætninger , og elementerne i denne sætningsklasse er observationssætninger.

Verifikation var således et sandhedskriterium, men samtidig en måde at afsløre meningen, og princippet om at skelne mellem empirisk meningsfuld viden og metafysisk, meningsløs.

Det blev dog hurtigt klart, at en sådan direkte verifikationisme er umulig i de tilfælde, hvor vi har at gøre med tidligere begivenheder, med generelle domme osv. Så blev dette kriterium svækket, og kriteriet om grundlæggende verifikation, eller verificerbarhed, dukkede op: betingelserne for praktisk verifikation af, om en anden kendsgerning eller ej. Et typisk eksempel i de år var argumentet om månens fjerne side , som i princippet kan bekræftes, når der bygges et fly, der vil flyve rundt om månen. Selve konceptet med protokolsætninger var også sårbart. K. Popper fungerede som en ekstern kritiker , der mente, at princippet om forfalskning (gendrivelse) burde indføres som et kriterium for videnskabelig karakter.

Se også

• Bevis
• falsificerbarhed
• Validering
• Identifikation

Noter

1. ↑ ISO/IEC/IEEE 24765:2017 Systems and software engineering - Ordforråd
2. ↑ Project Management Institute. En guide til projektledelsens videnorgan ( PMBOK guide). — Sjette udgave. — Newtown Square, PA. - 1 online ressource s. — ISBN 9781628253900
3. ↑ [slovar.cc/enc/bolshoy/2074859.html Verifikation]. Stor encyklopædisk ordbog.
4. ↑ 1 2 3 Apel, K.-O. Filosofiens transformation. M.: Logos, 2001. - S.35

Litteratur

• Sinitsyn S. V., Nalyutin N. Yu.  Softwareverifikation. M.: BINOM, 2008, 368 s. ISBN 978-5-94774-825-3