next up previous contents
Next: Test indipendenti (ATE_IND) Up: I test secondo i Previous: Profondità (ATE_DPT)   Indice

Test funzionali (ATE_FUN)

I test funzionali eseguiti dallo sviluppatore dimostrano che il TSF soddisfa i requisiti funzionali del suo PP/ST. Questi test funzionali assicurano che il TSF soddisfa almeno i requisiti funzionali di sicurezza, sebbene non possa stabilire che il TSF faccià più di quanto specificato. La famiglia dei test funzionali si focalizza sul tipo e l'ammontare della documentazione e degli strumenti richiesti. Questo tipo di esame non si limita a confermare il successo dell'applicazione dei requisiti di sicurezza ma mostra anche l'assenza di un particolare comportamento indesiderato (spesso basato sull'inverso dei requisiti funzionali).
Questa famiglia contribuisce ad assicurare che la probabilità di difetti non scoperti sia relativamente bassa.

Le procedure per eseguire i test devono fornire le istruzioni per usare i programmi di analisi e le suite di test, l'ambiente di test, le condizioni del test, i parametri dei dati dei test e i valori. Le procedure di test devono inoltre dimostrare come i risultati derivano dagli input dati ai programmi di test.
Questa famiglia specifica i requisiti per la presentazione dei piani di test, delle procedure e dei risultati.

La famiglia si compone dei seguenti componenti:
\begin{dinglist}{49}
\item \textbf{Test funzionali (ATE\_FUN.1)}
\newline
L'obie...
...cuzione dei test (ad esempio la
mancanza di qualche dipendenza).
\end{dinglist}


next up previous contents
Next: Test indipendenti (ATE_IND) Up: I test secondo i Previous: Profondità (ATE_DPT)   Indice
Gian Fabio Palmerini 2001-10-31