Prova
Nel processo di sviluppo del software, gli errori possono essere iniettati in tutte le fasi durante lo sviluppo. Ciò è a causa dei metodi di verifica delle fasi più in anticipo di sviluppo di software è manuale. Quindi il codice sviluppato durante l'attività di codificazione è probabile avere alcuni errori di requisito ed errori di disegno, oltre che gli errori introdotti durante l'attività di codificazione. Durante la prova, il programma da esaminare è eseguito con un insieme dei casi della prova e l'uscita del programma per i casi della prova è valutata per determinare se la programmazione sta effettuando è prevista.
Quindi, esaminare è il processo di analizzare un articolo del software per rilevare la differenza fra le circostanze attuali e richieste (cioè, insetti) e per valutare le caratteristiche degli articoli del software. Così, esaminare è il processo di analizzare un programma con l'intenzione di individuazione degli errori.
Alcuni principii difficili
- L'esame non può provare l'assenza dei difetti, soltanto la loro presenza.
- Più presto un errore è fatto, più costoso è.
- Più successivamente un errore è rilevato, più costoso è.
Ora lasciarli discutono alcune tecniche di collaudo:
Prova di scatola bianca
La prova di scatola bianca è una tecnica per cui tutti i percorsi con il programma sono esaminati con ogni valore possibile. Questo metodo richiede una certa conoscenza di come il programma dovrebbe comportarsi. Per esempio, se il vostro programma accettasse un valore di numero intero fra 1 e 50, una prova bianca della scatola verificherebbe il programma con tutti e 50 i valori per accertarla era corretta per ciascuno ed allora per verificare ogni altro valore possibile che un numero intero può prendere e verificare che si è comportato come previsto. Tenendo conto del numero di elementi che dei dati un programma tipico può avere, le permutazioni possibili fare la scatola bianca che esamina estremamente difficile a grandi programmi.
La prova di scatola bianca può essere applicata alle funzioni critiche di sicurezza di grande programma ed a gran parte del resto esaminato per mezzo della scatola nera che esamina, discusso sotto. A causa del numero di permutazioni, la prova di scatola bianca è realizzata solitamente per mezzo di un cablaggio della prova, in cui le gamme di valori sono alimentate velocemente al programma con un programma speciale, annotante le eccezioni al comportamento previsto. La prova di scatola bianca a volte si riferisce a come prova strutturale, libera, o aperta della scatola.
Prova di scatola nera
La prova di scatola nera è simile alla scatola bianca che esamina, tranne piuttosto che verificando ogni valore possibile, i valori selezionati sono esaminati. In questo tipo di prova, il tester conosce gli input e che cosa i risultati previsti dovrebbero essere, ma non necessariamente come il programma è arrivato loro. La prova di scatola nera a volte si riferisce a come prova funzionale.
I casi della prova per la prova di scatola nera sono inventati normalmente non appena le specifiche di programma sono complete. I casi della prova sono basati sui codici categoria equivalenti.
|
