Verificarea și analiza sistemelor informatice

Titlul original:

Verification and Analysis of Computer Systems

Conținutul cărții:

Verificarea sistemului informatic este o activitate care implică evaluarea consecvenței, a exhaustivității și a corectitudinii software-ului și a documentației sale justificative în timpul dezvoltării acestuia.

Ea confirmă și revizuiește sarcinile din cadrul procesului de validare a sistemului informatic. Validarea sistemului informatic (CSV), sau validarea software-ului, este procesul de verificare a faptului că un sistem informatic este capabil să îndeplinească utilizarea prevăzută și poate funcționa conform așteptărilor.

Clasica "diagramă în V" este cea mai comună metodologie utilizată pentru proiectele de validare. Această metodologie implică diverse etape, și anume: planificarea validării, specificarea cerințelor utilizatorului (URS), specificații funcționale, specificații de proiectare, construirea sistemului, teste de calificare a instalării (IQ), teste de calificare operațională (OQ), teste de calificare a performanței (PQ) și raportarea. Această carte își propune să aducă lumină asupra verificării și analizei sistemelor informatice.

Ea cuprinde contribuții ale unor experți internaționali. Această carte, cu analizele și datele sale detaliate, se va dovedi extrem de benefică pentru profesioniștii și studenții implicați în acest domeniu al informaticii la diferite niveluri.