Materia:Metodi di verifica e testing: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
m Correggo facoltà
standard template materia
Riga 1:
{{Materia|7|corso1=Metodi di Verifica e Testing|cat=si}}
{{Incompleto|materia}}
{{Materia|7
 
|corso1=Ingegneria Informatica
== Introduzione ==
|dip=Informatica
Qui dovrà essere inserito un breve testo introduttivo.
|ssd=ING-INF/05
 
|obbiettivi=
== Programma del corso ==
|prerequisiti=
*[[Error-Fault-Failure]]
Rudimenti di programmazione strutturata e a oggetti.
*[[Testing]]
|programma=
*[[Verifica]]
* [[Introduzione alle tecniche di verifica e convalida]]
 
* [[Testing]]
===Glossario===
* [[Analisi del software]]
*Errore/Fault/Failure
* [[Introduzione ai sistemi operativi real-time]]
*
* [[Verifica di sistemi non deterministici]]
===Riferimenti===
* [[Modellazione di sistemi stocastici]]
* [[Standard 178Ptesting]]
*IEEE 94
}}
*[[Speciale:Whatlinkshere/Materia:Metodi_di_Verifica_e_Testing | Pagine collegate]]