Requisiti di convalida è il processo di verifica che i requisiti definiti per lo sviluppo, definire il sistema che il cliente vuole veramente. Per verificare i problemi relativi ai requisiti, eseguiamo la convalida dei requisiti. Di solito utilizziamo la convalida dei requisiti per verificare l’errore nella fase iniziale di sviluppo in quanto l’errore può aumentare la rilavorazione eccessiva quando viene rilevato più tardi nel processo di sviluppo.

i requisiti di convalida di processo, eseguire un diverso tipo di test per verificare i requisiti indicati nella Specifica dei Requisiti Software (SRS), questi controlli comprendono:

• controlli di Completezza
• controlli di Coerenza
• controlli di Validità
• Realismo controlli
• Ambiguità controlli
• Verificabilità

L’uscita dei requisiti di convalida è l’elenco dei problemi e concordato le azioni dei problemi rilevati. Gli elenchi dei problemi indicano il problema rilevato durante il processo di convalida dei requisiti. L’elenco delle azioni concordate indica l’azione correttiva che dovrebbe essere intrapresa per risolvere il problema rilevato.

Ci sono diverse tecniche che vengono utilizzate singolarmente o in combinazione con altre tecniche per controllare per controllare tutto o parte del sistema:

1. Generazione del test case:
   Requisito menzionato nel documento SRS dovrebbe essere testabile, i test condotti rivelano l’errore presente nel requisito. Si ritiene generalmente che se il test è difficile o impossibile da progettare, questo di solito significa che il requisito sarà difficile da implementare e dovrebbe essere riconsiderato.
2. Prototipazione:
   In queste tecniche di validazione il prototipo del sistema viene presentato prima che l’utente finale o il cliente sperimentino il modello presentato e verifichino se soddisfa le loro esigenze. Questo tipo di modello viene generalmente utilizzato per raccogliere feedback sui requisiti dell’utente.
3. Requisiti Recensioni:
   In questo approccio, l’SRS viene attentamente esaminato da un gruppo di persone tra cui persone provenienti sia dalle organizzazioni appaltatrici che dal lato cliente, il revisore analizza sistematicamente il documento per verificare errori e ambiguità.
4. Analisi automatica della coerenza:
   Questo approccio viene utilizzato per il rilevamento automatico di un errore, come il non determinismo, i casi mancanti, un errore di tipo e le definizioni circolari, nelle specifiche dei requisiti.

   In primo luogo, il requisito è strutturato in notazione formale, quindi viene utilizzato lo strumento CASE per verificare la coerenza del sistema, viene identificato il report di tutte le incongruenze e vengono intraprese azioni correttive.

5. Walk-through:
   Una procedura dettagliata non ha una procedura formalmente definita e non richiede un’assegnazione di ruolo differenziata.
   • Verifica in anticipo se l’idea è fattibile o meno.
   • Ottenere le opinioni e il suggerimento di altre persone.
   • Controllare l’approvazione di altri e raggiungere un accordo.