La prova � un processo usato per contribuire ad identificare la precisione, la totalit� e la qualit� del software di calcolatore sviluppato. Con quella in mente, esaminare pu� mai completamente stabilire la precisione del software di calcolatore. In altre parole esaminare � niente ma la CRITICA o confronto di COMPARISION.Here nel senso che paragona il valore reale a quello previsto.
Ci sono molti metodi a software che esamina, ma la prova efficace dei prodotti complessi � essenzialmente un processo di ricerca, non soltanto un aspetto di generazione e dopo la procedura a memoria. Una definizione di prova � �il processo di interrogazione del prodotto per valutarlo�, dove �le domande� sono cose le prove del tester da fare con il prodotto ed il prodotto risponde a con il relativo comportamento nella reazione al sondaggio del tester. Anche se la maggior parte dei processi intellettuali di prova sono quasi identici a quello della revisione o del controllo, la prova di parola connoted per significare l'analisi dinamica del prodotto-mettere il prodotto con i relativi passi.
La qualit� dell'applicazione pu� e normalmente varia ampiamente dal sistema al sistema ma alcuni degli attributi comuni di qualit� includono l'affidabilit�, la stabilit�, la portabilit�, la manutenzione e l'impiego possibile. Riferir all'iso 9126 di norma ISO Per una lista pi� completa degli attributi e dei test di verifica.
Verificare gli aiuti � verificante e convalidante se il software sta funzionando mentre � inteso funzionare. Si assottiglia coinvolge usando le metodologie statiche e dinamiche verificare l'applicazione.
A causa del fallibility dei relativi progettisti umani e del relativo proprio astratto, la natura complessa, sviluppo del software deve essere accompagnata dalle attivit� di garanzia della qualit�. Non � insolito affinch� gli sviluppatori spenda 40% del tempo totale di progetto sulla prova. Per software vita-critico (per esempio controllo, reattore di volo controllanti), esaminare pu� costare 3 - 5 volte tanto come tutte le altre attivit� hanno unito. La natura distruttiva di prova richiede che lo scarto dello sviluppatore ha anticipato le nozioni della precisione del suo software sviluppato.
Fondamenti difficili del software
Gli obiettivi difficili includono
1. La prova � un processo di esecuzione del programma con l'intenzione di individuazione dell'errore. 2. Un buon caso della prova � uno che ha un'alta probabilit� di individuazione dell'errore finora non scoperto. 3. Una prova riuscita � una che scopre un errore finora non scoperto.
La prova dovrebbe scoprire sistematicamente i codici categoria differenti degli errori in un tempo minimo e con una quantit� minima di sforzo. Un beneficio secondario di prova � che dimostra che il software sembra funzionare come dichiarato nelle specifiche. I dati hanno raccolto con la prova possono anche fornire un'indicazione dell'affidabilit� e della qualit� del software. Ma, esame non pu� provare l'assenza del difetto -- pu� indicare soltanto che i difetti del software sono presenti.
