Igazolás

Az ellenőrzés (a latin  verum  "igaz" + facere  "teendő" szóból) az emberi tevékenység különböző területein jelentheti:

• annak megerősítése, hogy a meghatározott követelmények teljesülnek objektív bizonyítékok benyújtásával [1] ;
• egy termék, szolgáltatás vagy rendszer szabványoknak, követelményeknek, előírásoknak vagy meghatározott feltételeknek való megfelelőségének értékelése [2] ;
• bármely elméleti álláspont, algoritmus, program és eljárás ellenőrzése, megerősítése, bizonyítási módszere kísérleti ( referencia vagy empirikus ) adatokkal, algoritmusokkal és programokkal való összehasonlítással ;
• igazságfelismerő technika ;
• a tudományban az elméleti rendelkezések valóságnak való megfelelésének ellenőrzése kísérlettel [3] .

A bizonyíthatóság értelmében a tárgyak / jelenségek magyarázatainak ( modelleinek ) ellenőrizhetősége, a valóság ( empirikus , tények ) megerősítésének mértékétől függően alkotja a fogalmakat :

• A hipotézis  egy nem bizonyított, meghamisítható, elfogadható állítás, amely megfigyelések vagy ítéletek, fogalmak, posztulátumok sorozatán alapul (a tudományban), amelyek megerősítik azt.
• A fogalom  egy modell az igazságát megerősítő tényekkel vagy anélkül (lásd Filozófia ).
• Elmélet  - magyarázat a maximális fokú bizonyítékokkal (lásd Tudomány ).

Formális igazolás a számítástechnikában

A formális ellenőrzés egy program (rendszer) helyességének vagy helytelenségének formális módszerekkel történő bizonyítása a program (rendszer) tulajdonságainak formális leírásával összhangban.

Formális ellenőrzési módszerek:

• Hoare axiomatikus szemantikai módszere
• Az induktív állítások Floyd-féle módszere
• Bizonyítékokon alapuló programozás
• Tételek automatikus bizonyítása (Tételbizonyítás)
• Modell ellenőrzés
• Szimbolikus kivitelezés
• Absztrakt értelmezés (Abstract Interpretation).

A Bécsi Kör ellenőrzési elve

Valójában az ellenőrizhetőség gondolata nem a Bécsi Kör [4] képviselőinek kiinduló gondolata, és Wittgenstein még korábban – bár nem egészen egyértelműen – fogalmazta meg :

Egy állítás csak akkor érthető meg, ha tudjuk, milyen feltételek mellett lehet igaz. Ez azt jelenti, hogy nem annak ismerete szükséges, hogy egy mondat igaz-e vagy hamis, hanem azoknak a körülményeknek az ismerete, amelyek lehetővé teszik az igazság megállapítását.LFT , 4,024

A verifikációs elvet a Bécsi Kör [4] terjesztette elő , amelynek tagja volt a pozitivista filozófus , Moritz Schlick is az 1920-as években. A kör tagjai úgy vélték, hogy a tudományos javaslatok két osztályának meg kell maradnia a tudományban - az elemző igazságok, amelyeknek nincs tárgyi tartalma, és a tényigazságok, az egyes tudományok empirikus tényei, amelyek jelentése speciális módon ellenőrizhető - a verifikációs elv . . A tudományt a metafizikától empirikus jellegű protokollmondatok [4] segítségével „megtisztító” verifikációs eljárása alapozza meg a logikai pozitivizmus egész programját .

A verifikáció a tudás igazságának ellenőrzésére szolgáló eljárás . Azt javasolja, hogy az összetett mondatokat protokolláris mondatokra kell osztani. A protokollmondatok igazsága teljesen kétségtelen, mivel megfelel a megfigyelt valóságnak. A jegyzőkönyv-mondat formája így néz ki: "NN ilyen és ilyen objektumot figyelt meg ilyen és ilyen időben és ilyen és olyan helyen." Az összetett mondatok protokollárisra redukálását redukciónak nevezzük. Így a tudós minden tevékenysége a protokollmondatok és azok általánosításának ellenőrzésén múlik. Az ellenőrzési eljárás eredményeként minden metafizikai kérdés az értelmetlenek kategóriájába került, és elvetették. Ennek oka abban rejlik, hogy a filozófiai kérdéseket nem lehet egy logikai érvelési láncon keresztül olyan empirikus kijelentésekre redukálni, amelyek megerősíthetik vagy cáfolhatják azokat.

Schlick arra is rámutatott, hogy empirikus tudásunk alapját az úgynevezett állítások képezik , ahogyan ő a „jelenészlelésről” szóló mondatokat nevezte. Az ilyen mondatok, amint azt a filozófus hitte, szintén egyedülállóan határozottan eldönthetők, akárcsak az elemző jellegű mondatok. Ennek alapján a teljes körű ellenőrzés követelményét terjesztették elő, amely a következőképpen fogalmazható meg:

Egy mondatnak akkor és csak akkor van jelentése, ha nem elemző mondat vagy ellentmondás, és logikailag következik a mondatok egy következetes véges osztályából , és ennek a mondatosztálynak az elemei megfigyelő mondatok.

A verifikáció tehát az igazság kritériuma volt, de egyúttal a jelentés feltárásának módja, és az empirikus értelmes tudás és a metafizikai, értelmetlen megkülönböztetésének elve.

Hamar nyilvánvalóvá vált azonban, hogy az ilyen direkt verifikáció lehetetlen azokban az esetekben, amikor múltbeli eseményekről, általános ítéletekről stb. van szó. Aztán ez a kritérium meggyengült, és megjelent az alapvető verifikáció, vagyis az ellenőrizhetőség kritériuma: a feltételek a gyakorlati ellenőrzése annak, hogy más tény vagy sem. Azokban az években tipikus példa volt a Hold túlsó oldaláról szóló érvelés , amely elvileg megerősíthető, ha olyan repülőgépet építenek, amely megkerüli a Holdat. Maga a protokollmondatok fogalma is sebezhető volt. K. Popper külső kritikusként lépett fel , aki úgy vélte, hogy a hamisítás (cáfolat) elvét a tudományos jelleg kritériumaként kell bevezetni.

Lásd még

• Bizonyíték
• hamisíthatóság
• Érvényesítés
• Azonosítás

Jegyzetek

1. ↑ ISO/IEC/IEEE 24765:2017 Rendszer- és szoftverfejlesztés – Szókincs
2. ↑ Projektmenedzsment Intézet. Útmutató a projektmenedzsment tudásanyagához ( PMBOK útmutató). — Hatodik kiadás. – Newtown Square, PA. - 1 online forrás p. — ISBN 9781628253900
3. ↑ [slovar.cc/enc/bolshoy/2074859.html Ellenőrzés]. Nagy enciklopédikus szótár.
4. ↑ 1 2 3 Apel, K.-O. A filozófia átalakulása. M.: Logosz, 2001. - P.35

Irodalom

• Sinitsyn S. V., Nalyutin N. Yu.  Szoftverellenőrzés. M.: BINOM, 2008, 368 p. ISBN 978-5-94774-825-3