Mi ellenőrzés és hogyan működik
Mi ellenőrzés és hogyan működik? Ez a kifejezés úgy értendő különböző módon, minden területén a tevékenység, ahol azt használják:
-Ellenőrző annak a megerősítése, a végtermék, az előre meghatározott követelményeknek.
-Ellenőrzés is elhelyezni, mint az egyik torzítás kimutatási módszerek hazugság, és hasonlók.
-A harmadik és egyben utolsó lehetőség, ha a hitelesítés azt jelenti olyan módon, hogy erősítse meg az adatokat megvizsgálva őket semmilyen adatot szolgáltatott.
Ezen kívül van egy másik kifejezés, mint egy formális ellenőrzés, magában foglalja a bizonyítás segítségével a különböző módszerek formális helyességét, vagy fordítva, a szabálytalanságok rendszer leírásával összhangban a tulajdonságait állítsa be. Számos módszer hitelesítési:
- Először is, ez a módszer axiomatikus szemantikája Hoera;
- Másodszor, ez meggyőző programozás - ezt a módszert használják a nyolcvanas években a múlt században, a fejlődése a számítógépes programok igazolások helyességét;
- Automatikus bizonyítéka tételek - az ellenőrzés módját, hogy megvalósuljon az szoftver;
- Next - A módszer induktív állítások;
- Modellek tesztelése - olyan eljárás, amely lehetővé teszi az automatikus párhuzamos rendszerek adatokat egy előre meghatározott véges sok állapot (más szóval, az eljárás ellenőrzi, hogy az adott modell kielégíti a kritériumokat és feltételeket a leírás);
- Szimbolikus végrehajtás és absztrakt értelmezésére.
Általában ellenőrzik, - ez a folyamat automatizálható teljesen, de egy nagyon kis tartományban igénytelen „elméletek”. Annak érdekében, hogy a szigort tesztelés és nem marad le egyetlen részlet, lehet futtatni szinte végtelen ciklusba, ha van annak bizonyítására vonatkozó eljárás a hitelesítő, aki majd ellenőrzi önmagát hitelesítő.