Non esiste una scorciatoia. Quello che hai è bello se la verifica formale dei requisiti di sistema è un requisito del progetto. Se la verifica formale dei requisiti di sistema non è un requisito, di solito è possibile saltare i requisiti formali. In ogni caso, creare casi d'uso / storie degli utenti è sempre utile, quindi dovresti crearli, anche se sono solo una versione ridotta di ciò che faresti normalmente.
Oltre a ciò, sta semplicemente elaborando ciascun requisito in un ciclo. Leggi ogni requisito identifica una storia utente che copra il requisito e mappa il requisito per la trama dell'utente. Se la User story non esiste già, crea una User story per il requisito.
All'inizio può sembrare molto, ma in realtà non dovrebbe richiedere molto tempo per avere un primo taglio. La maggior parte delle volte, i requisiti formali finiscono per essere raggruppati in storie correlate, quindi non sarà sorprendente mettere in discussione oltre 10 requisiti in un momento in cui viene creata una storia utente. Ciò che richiederà più tempo è ottenere risposta alle tue domande sui requisiti che non capisci. Avresti dovuto ottenere queste risposte alla fine, è solo che li hai identificati ora invece che dopo.
È probabile che soddisfi alcuni requisiti che non si integrano perfettamente in una sola user story. In questi casi dovresti ottenere requisiti più specifici che si adattino in modo più pulito alle singole storie. Mappare i requisiti derivati alle storie degli utenti e mantenere la capacità di tracciabilità dei requisiti originali. Ecco perché ci sono requisiti di livello di sistema e requisiti software. (A seconda del progetto potrebbe esserci anche un livello intermedio di requisiti).
Ora che hai "requisiti formali" e storie di utenti con quei requisiti associati a loro, allora diventa un gioco da ragazzi scrivere procedure di test per verificare formalmente i tuoi requisiti sulla base delle storie degli utenti.
Per riassumere, mi dispiace non ci sono scorciatoie. Se il tuo programma deve verificare formalmente i requisiti, avere i requisiti formali già scritti ti semplifica la vita. È molto, molto, molto più difficile e più dispendioso in termini di tempo scrivere un documento formale dei requisiti piuttosto che un mucchio di storie di utenti, anche con la mappatura dei requisiti formali per le storie degli utenti.