Érvényesítés és ellenőrzés
Az ellenőrzés és érvényesítés (más néven egyszerűen V&V) ugyanazon szoftvercsomag két része. Szoftverprojekt menedzsmentben, szoftver tesztelésben és szoftverfejlesztésben használják őket. Ez az a folyamat, amely során a szoftverrendszer megfelel bizonyos előírásoknak. Ez egyben az a folyamat is, amellyel a szoftverrendszer teljesíti létrehozásának céljait. Szoftverminőség-ellenőrzésnek is nevezik.
Az érvényesítés a szoftver ellenőrzésének és egyensúlyának azon része, amely ellenőrzi, hogy a termék tervezése megfelel-e vagy megfelel-e annak a felhasználásnak, amelyre szánták. Ezt magas szintű ellenőrzésnek nevezik (alapvetően arról, hogy a rendszert arról tájékoztatták, hogy a megfelelő terméket gyártotta). Ezt a feladatot dinamikus tesztelés és számos egyéb áttekintési forma felhasználásával hajtja végre. A dinamikus tesztelés kifejezetten megvizsgálja a rendszer fizikai válaszát azon változókra, amelyek nem állandóak, és idővel hajlamosak megváltozni. Alapvető értelemben az érvényesítés biztosítja, hogy a termék megfeleljen a felhasználó igényeinek. Biztosítja azt is, hogy a specifikációk a program kezdetétől kezdve valóban helyesek voltak. Alapvetően az érvényesítés segítségével megtudhatja, hogy a helyes dolgot építette-e fel.
Az ellenőrzés a szoftver ellenőrzésének és egyensúlyának azon része, amely kiértékeli a szoftvert annak meghatározására, hogy az adott fejlesztési szakaszban talált termékek megfelelnek-e az adott szakasz kezdetén előírt feltételeknek. Alapvető értelemben a hitelesítés biztosítja, hogy az adott terméket a program elején bevezetett követelmények és tervezési előírások szerint építsék. Őszintén szólva, az ellenőrzés tudatja vele, hogy a helyes objektum helyesen lett felépítve.
A szoftverközösségen kívül a hitelesítés és validálás definíciói kissé hasonlóak. A modellező és szimuláló közösségben az érvényesítés az a folyamat, amellyel meg lehet határozni a modell pontosságának, a szimulációnak vagy a modellek és szimulációk, valamint a hozzájuk kapcsolódó adatok pontosságának mértékét. Azt is meghatározza, hogy ezek a modellek, szimulációk vagy az azokban szereplő szövetségek a valós világ pontos ábrázolásait képviselik-e a modell számára szánt felhasználás szempontjából, stb. Másrészt viszont az ellenőrzés az a folyamat, amellyel a rendszer meghatározza, hogy számítógépes modell, szimuláció vagy modellek és szimulációk megvalósításának egyesítése, és az ezekhez az adatokhoz tartozó tartalom képviseli a fejlesztő fogalmi leírásait és specifikációit.
Összefoglaló:
1. Az érvényesítés ellenőrzi, hogy a terméktervezés megfelel-e a rendeltetésszerű használatának (ha a megfelelő objektum épült); Az ellenőrzés kiértékeli azt a szoftvert, amely meghatározza, hogy a talált termékek megfelelnek-e a megfogalmazott feltételeknek (ha az épített objektumot helyesen készítették el).
2. A modellező és szimuláló közösségben az validálás meghatározza a modell szerint a valós világhoz társított adatok pontosságának mértékét; Az ellenőrzés meghatározza, hogy egy számítógépes modell és a hozzá tartozó tartalom képviselik-e a fejlesztő fogalmi leírásait és specifikációit.