A számítógépes rendszerek ellenőrzése és elemzése

Eredeti címe:

Verification and Analysis of Computer Systems

Könyv tartalma:

A számítógépes rendszerellenőrzés olyan tevékenység, amely a szoftver és a támogató dokumentáció konzisztenciájának, teljességének és helyességének értékelését jelenti a fejlesztés során.

Megerősíti és felülvizsgálja a számítógépes rendszer érvényesítési folyamatán belüli feladatokat. A számítógépes rendszer validálása (CSV) vagy szoftver validálása annak ellenőrzésére szolgáló folyamat, hogy egy számítógépes rendszer képes-e a tervezett felhasználásra, és képes-e az elvárt módon működni.

A klasszikus "V-diagram" a validálási projektekben leggyakrabban használt módszertan. Ez a módszertan különböző szakaszokat foglal magában, nevezetesen a validálás tervezését, a felhasználói követelmények specifikációját (URS), a funkcionális specifikációkat, a tervezési specifikációkat, a rendszer felépítését, a telepítési minősítési teszteket (IQ), az üzemeltetési minősítési teszteket (OQ), a teljesítményminősítési teszteket (PQ) és a jelentéstételt. E könyv célja, hogy megvilágítsa a számítógépes rendszerek ellenőrzését és elemzését.

Nemzetközi szakértők hozzájárulásaiból áll. A könyv részletes elemzéseivel és adataival rendkívül hasznosnak bizonyul majd a számítástechnika e területével különböző szinteken foglalkozó szakemberek és hallgatók számára.