Mi a hivatalos ellenőrzés?

Gyakran használják a számítógépes áramkörök és szoftverek tesztelésére, akkor a formális ellenőrzés akkor jelentkezik, amikor ezen rendszerek működését matematikai képletekkel elemezzük.A szoftver fejlesztése esetén a folyamatot általában annak bemutatására használják, hogy a program megfelelően működik-e, egy előre meghatározott modell alapján.Időnként az elméleti modell bebizonyosodott, hogy nem kielégítő.A szoftverkódon kívül a formális ellenőrzés használható a kombinációs áramkörök kidolgozásához, amelyeket a számítógépekben és a számítógépes memóriában számítások elvégzésére használnak.A különféle megközelítések magukban foglalják a tények utáni ellenőrzést, a párhuzamos ellenőrzést és az integrált ellenőrzést a különféle módszerek mellett.-A szoftverfejlesztők hibákat vagy hibákat találhatnak mind a forráskódban, mind a modellben, amelyet az előállításához használtak.Időnként a kód írásának alapvető változásai elvégezhetők, mielőtt a tervezési hiba befolyásolja a végeredményt.Az ellenőrzési lépés általában segít annak meghatározásában, hogy a termék megteszi-e azt, amit szándékoztak, és megfelel-e az alkalmazás specifikációinak.A tervezési és fejlesztési folyamat során alkalmazott standard módszert addig nem elemezzük, amíg a rendszer befejeződik.A súlyos hibák ebben a szakaszban történő elhelyezése gyakran drága és időigényes felülvizsgálatokhoz vezet.A fejlesztést és az ellenőrzést két különálló csapat is elvégezheti, hogy párhuzamosan ellenőrizzék.Az interkommunikáció révén a fejlesztők a teljes tervezési folyamat során a független feladatokra összpontosíthatnak.

Az integrált ellenőrzés akkor történik, amikor egy csapat elvégzi a fejlesztést és a szükséges értékelést.Az összetett matematikai fogalmakat gyakran használják a termék képességeinek ellenőrzésére az út mentén.A formális ellenőrzés módszerei a projektek között változnak, de az egyik gyakran alkalmazott modell -ellenőrzés.A hardver vagy a szoftvermodell különféle tulajdonságokból áll, amelyeket a tervezők a késztermékben akarnak.A modell és a rendszer rendszeresen ellenőrizhető, hogy megegyezzen -e a tulajdonságok.

Egy másik technika a formális ellenőrzés során magában foglalja a matematikai képletek és a logika használatát egy rendszer és annak tulajdonságainak ábrázolására.A formális rendszerben meghatározott szabályok általában a logikában találhatók.Mindkét technika különféle eszközöket használ annak meghatározására, hogy teljesül -e a termék egy adott specifikációja.A fejlesztők különféle típusú szoftvereket használhatnak a hivatalos ellenőrzési folyamatban, mindegyik egy adott rendszerhez vagy programozási nyelvhez igazítva.