Weryfikacja i analiza systemów komputerowych

Oryginalny tytuł:

Verification and Analysis of Computer Systems

Zawartość książki:

Weryfikacja systemu komputerowego to czynność polegająca na ocenie spójności, kompletności i poprawności oprogramowania i jego dokumentacji pomocniczej podczas jego opracowywania.

Potwierdza i weryfikuje zadania w ramach procesu walidacji systemu komputerowego. Walidacja systemu komputerowego (CSV) lub walidacja oprogramowania to proces weryfikacji, czy system komputerowy jest w stanie wykonać zamierzone zastosowanie i może działać zgodnie z oczekiwaniami.

Klasyczny "Diagram V" jest najpopularniejszą metodologią stosowaną w projektach walidacyjnych. Metodologia ta obejmuje różne etapy, a mianowicie planowanie walidacji, specyfikację wymagań użytkownika (URS), specyfikacje funkcjonalne, specyfikacje projektowe, budowę systemu, testy kwalifikacji instalacyjnej (IQ), testy kwalifikacji operacyjnej (OQ), testy kwalifikacji wydajności (PQ) oraz raportowanie. Niniejsza książka ma na celu rzucenie światła na weryfikację i analizę systemów komputerowych.

Składa się ona z opracowań międzynarodowych ekspertów. Książka ta, dzięki szczegółowym analizom i danym, okaże się niezwykle korzystna dla profesjonalistów i studentów zajmujących się tą dziedziną informatyki na różnych poziomach.