Verifikácia a analýza počítačových systémov

Pôvodný názov:

Verification and Analysis of Computer Systems

Obsah knihy:

Overovanie počítačového systému je činnosť, ktorá zahŕňa posúdenie konzistentnosti, úplnosti a správnosti softvéru a jeho podpornej dokumentácie počas jeho vývoja.

Potvrdzuje a preveruje úlohy v rámci procesu overovania počítačového systému. Validácia počítačového systému (CSV) alebo validácia softvéru je proces overovania, či je počítačový systém schopný vykonávať zamýšľané použitie a či môže fungovať podľa očakávaní.

Klasický "V diagram" je najčastejšie používanou metodikou pre projekty validácie. Táto metodika zahŕňa rôzne fázy, a to plánovanie validácie, špecifikáciu požiadaviek používateľa (URS), funkčné špecifikácie, špecifikácie návrhu, zostavenie systému, testy kvalifikácie inštalácie (IQ), testy kvalifikácie prevádzky (OQ), testy kvalifikácie výkonu (PQ) a podávanie správ. Cieľom tejto knihy je objasniť overovanie a analýzu počítačových systémov.

Pozostáva z príspevkov medzinárodných odborníkov. Táto kniha s podrobnými analýzami a údajmi bude nesmierne prínosná pre odborníkov a študentov, ktorí sa zaoberajú touto oblasťou informatiky na rôznych úrovniach.