Una specifica è un insieme esplicito di requisiti che devono essere soddisfatti da un materiale, prodotto o servizio. Se un materiale, prodotto o servizio non soddisfa una o più delle specifiche applicabili, può essere designato come fuori specifica.
Una specifica tecnica può essere sviluppata privatamente, ad esempio, da una società, un ente di regolamentazione o un'organizzazione militare, oppure può essere sviluppata da organismi di normalizzazione che hanno spesso maggiori probabilità di sviluppare standard volontari (questi standard volontari che possono diventare obbligatori se adottati da un contratto governativo o aziendale).
La fase di specifica deve essere preceduta da uno studio preliminare , che descrive le aspettative e le esigenze esistenti e generali espresse dagli utenti per il dominio da informatizzare.
Le specifiche terranno conto di questi requisiti per descriverli in modo più dettagliato.
Un esempio di aspettativa da prendere in considerazione in questa fase è la lingua del software, che deve essere adattata all'utente. Se ci stiamo muovendo verso un pacchetto software , dobbiamo assicurarci che sia possibile e poco costoso adattare le schermate , i rapporti , la documentazione per l'utente e la guida in linea alla lingua del software . Questi requisiti verranno descritti in dettaglio nella fase delle specifiche.
Scritta da un analista funzionale , la specifica funzionale descrive i processi aziendali in cui il prodotto IT deve intervenire. Le attività supportate dal prodotto IT, la sua interazione con altri stakeholder - utenti e altri prodotti - e le regole di interazione.
Esempio: il calcolo della previsione si basa su una data. È consentita solo una data futura. Se l'utente inserisce una data passata, il software dovrebbe visualizzare un messaggio di "data non autorizzata".
Esistono due livelli di specifiche funzionali:
Scritta da un architetto IT , la specifica dell'architettura descrive il sistema IT in cui verrà installato il prodotto, la sua interazione con gli altri componenti del sistema IT, ad esempio DBMS . La specifica dell'architettura descrive anche l'organizzazione generale del prodotto IT, la sua suddivisione in moduli e livelli.
La specifica dell'architettura viene talvolta definita uno studio tecnico nel metodo Merise . Lo studio tecnico descrive il sistema da sviluppare da un punto di vista tecnico (linguaggi informatici, caratteristiche del database, campi, istruzioni, ecc .).
La specifica architettonica o lo studio tecnico non sono sempre realmente necessari, se l'applicazione da sviluppare è di dimensioni modeste e si inserisce in un quadro di sviluppo più ampio, in particolare in un'organizzazione dove gli standard tecnici sono già definiti. Possono quindi essere sufficienti delle buone specifiche dettagliate.
Quando ci chiediamo se il testo formale “dice bene” quello che vogliamo che dica, se “traduce” bene la richiesta informale fatta da chi controlla il software, diciamo che stiamo facendo la validazione. La convalida non può essere automatizzata.
Oppure, quando chi controlla il software lo fa in modo formale (ad esempio per un aereo, un requisito formale potrebbe essere che "l'accelerazione non superi un certo valore", che traduce formalmente la frase informale "l'aereo non si schianta" ) (ad esempio, da un modello matematico che non può essere implementato direttamente (a causa del fatto che non esiste un compilatore (traduttore automatico) che consenta di tradurre un modello scritto in questo linguaggio matematico in un codice scritto nel linguaggio dell'implementazione , ovvero linguaggio di automazione della costruzione e dell'assemblaggio per la parte meccanica)), si parla quindi di validazione del modello quando controlliamo la consistenza (non contraddizione) del sistema o quando dimostriamo (tramite software proof assistant) che, a condizione che il le variabili esterne del sistema ( es. temperatura) rimangono all'interno di un range corrispondente all'uso realistico, gli stati possibili del sistema rimangono tra gli stati ammesso dai vincoli definiti nella specifica (sull'esempio dell'aeroplano: un possibile stato può essere la variabile di stato "acceleration" del sistema) (la validazione può consistere anche nel superare dei test su una simulazione risultante dal modello risultante dalla specifica , questi test possono consentire di rilevare errori della specifica).