IEEE 1012 és una normativa del IEEE que fa referència a la verificació i validació (V&V) del programari es quant a assegurar les seves especificacions o propòsit inicial. IEEE 1012 també està relacionada amb el control de qualitat del programari i és responsabilitat dels assajadors d'especificacions com una part del cicle de vida (ISO/IEC 12207) del programari. El procés de verificació implica la detecció i correcció d'errors, el procés de validació implica el compliment dels objectius o especificacions del programari.
miniatura|303.991x303.991px|Fig.1 Esquema de V&V en el procés de global del programari
Procediments El procés de verificació implica respondre a la pregunta : el producte és correcte?
El procés de validació implica respondre a la pregunta : el producte està fet correctament ?
IEEE 1012 suporta 6 processos segons la norma ISO/IEC 12207: Procés de gestió (planificació del manegament de tot el projecte). Procés d'adquisició (inici del projecte, preparació del contarcte, monitoreig del subministrador). Procés de subministrament (definició dels processos amb el subministrador del projecte). Procés de desenvolupament (definir totes les tasques de creació). Procés d'operació (utilització del programari per l'usuari final). Procés de manteniment (gestió dels canvis al programari).
Referències
Categoria:Estàndards de l'IEEE Categoria:Programari
Vegeu també IEEE 730: recomanacions de qualitat del programari. IEEE 829: recomanacions de documentació del programari. IEEE 830: recomanacions d'especificacions del programari. IEEE 828: recomanacions de configuració del programari. IEEE 1016: recomanacions de descripció de disseny del programari. IEEE 1058: recomanacions de gestió de projecte del programari.