Facendo molte letture su V & V, avrei bisogno di chiarire quanto segue.
Molte definizioni (meno formali trovate nei libri) definiscono la verifica in questo modo:
Verifica: il software deve essere conforme alle sue specifiche.
Ma poi parlano di verifica dei requisiti, verifica del progetto, ecc. Se dico che questi elementi sono "software" in termini di applicazione delle definizioni, a cosa dovrei controllarli? Quali specifiche dovrebbero avere i requisiti, che sono le informazioni di base, conformi a?
E un'altra cosa: i requisiti non dovrebbero essere convalidati? Per assicurarsi che soddisfino le esigenze del cliente? Tutti i testi che ho, parlano solo di validazione SW alla fine del processo di sviluppo!
EDIT: giusto per chiarire, la mia domanda principale è come la definizione di verifica si applica ai requisiti. Il bookss o ad es. ISO 12207: 2008 menziona che la verifica è un processo che il prodotto riflette i requisiti. Uno dei processi è la revisione delle specifiche dei requisiti. Ma come possono i requisiti essere conformi ai requisiti?