13. Verifica e Validazione del Software
|
|
- Eugenia Valentino
- 6 anni fa
- Visualizzazioni
Transcript
1 13. Verifica e Validazione del Software Andrea Polini Ingegneria del Software Corso di Laurea in Informatica (Ingegneria del Software) 13. Verifica e Validazione del Software 1 / 13
2 Verifica e Validazione - generalità Verifica: stiamo sviluppando il sistema correttamente? Validazione: stiamo sviluppando il prototto corretto? (Ingegneria del Software) 13. Verifica e Validazione del Software 2 / 13
3 Approaches to V&V Approcci statici: ispezione del software, verifica formale, analisi statica dei sorgenti Approcci dinamici: testing, monitoring Debugging? (Ingegneria del Software) 13. Verifica e Validazione del Software 3 / 13
4 Ispezione del software Può sembrare inefficace ma molte esperienze reali hanno dimostrato il contrario. In molti casi ispezione si è rivelata più efficace del testing Vantaggi sul testing: Non permette mascheramento di errori possibilità di applicazione a parti del software non ancora eseguibili possibiltà di verificare aderenza agli standard, ed a stile di codifica (Ingegneria del Software) 13. Verifica e Validazione del Software 4 / 13
5 Processo di ispezione Come tutte le atticità si svolge strutturando un processo e degli attori che svolgono specifiche attività Attori: Autore Ispettore Lettore Scriba Moderatore Responsabile del processo Il Processo di ispezione Pianificazione Overview Preparazione Individuale Riunione di ispezione Rielaborazione Follow-up (Ingegneria del Software) 13. Verifica e Validazione del Software 5 / 13
6 Uso di checklist Errori sui dati: inizializzazione delle variabili, uso di nomi per le costanti, indici di vettori, buffer overflow Errori nel controllo: specifica delle condizioni, terminazione dei cicli, uso delle parentesi, case comprende tutte le possibilità, uso dei comandi di break Errori negli input/output: uso di tutte le variabili, assegnamento di valori alle variabili di uscita, comportamento in caso di ingressi imprevisti Errori nelle interfacce: verifica del corretto uso dei parametri, ordine dei parametri Errori nella gestione della memoria: uso e modifica di una struttura con collegamenti, allocazione e deallocazione dinamica dello spazio Errori nella gestione delle eccezioni: possibili sorgenti di errore sono considerate (Ingegneria del Software) 13. Verifica e Validazione del Software 6 / 13
7 Considerazioni quantitative 500 linee all ora durante overview 125 righe di codice all ora durante preparazione individuale tra i 90 e le 125 righe durante il meeting (Ingegneria del Software) 13. Verifica e Validazione del Software 7 / 13
8 Verifica formale Applicabili nel caso di uso di formalismi di specifica formali. Correttezza può essere derivata con argomenti matematici Comunque: specifica formali potrebbe non rispecchiare i requisiti reali le prove potrebbero essere errate prove potrebbero fare assunzioni non valide nell ambiente finale d uso (Ingegneria del Software) 13. Verifica e Validazione del Software 8 / 13
9 Testing Il testing del software prevede l esecuzione di alcuni esperimenti al fine di poter acquisire sufficiente fiducia sul suo funzionamento. Testing riguarda tipicamente proprietà funzionali ma può riguardare anche caratteristiche extra-funzionali. Quali esperimenti devono essere eseguti? Quando posso dire che gli esperimenti sono sufficienti? Come posso decidere riguardo al risultato? Ho bisogno di riprodurre particolari ambienti? (Ingegneria del Software) 13. Verifica e Validazione del Software 9 / 13
10 Un po di tassonomia Test Case Test suite Driver Sistem Under Test (SUT) Stubs Testbed Controllo/Osservo Oracolo Workload... (Ingegneria del Software) 13. Verifica e Validazione del Software 10 / 13
11 Fasi del testing e V model Unit testing Integration testing System Testing Acceptance Testing (Ingegneria del Software) 13. Verifica e Validazione del Software 11 / 13
12 Criteri di scelta Dati - Partition testing, Boundary Condition Controllo - Path, Brach, Statement (Ingegneria del Software) 13. Verifica e Validazione del Software 12 / 13
13 Diverse Tipologie Robustness Testing Regression Testing (Ingegneria del Software) 13. Verifica e Validazione del Software 13 / 13
12. Verifica e Validazione del Software
12. Verifica e Validazione del Software Andrea Polini Ingegneria del Software Corso di Laurea in Informatica (Ingegneria del Software) 12. Verifica e Validazione del Software 1 / 18 Verifica e Validazione
DettagliAnalisi statica. Analisi Statica 1
Analisi statica Analisi Statica 1 Tecniche di Verifica e Validazione Analisi statica: processo di valutazione di un sistema o di un suo componente basato sulla sua forma, struttura, contenuto, documentazione
Dettagli14. Verifica e Validazione
14. Verifica e Validazione Come assicurarsi che il software corrisponda alle necessità dell utente? Introdurremo i concetti di verifica e validazione Descriveremo le fasi del processo di testing Parleremo
DettagliVerifica e validazione: introduzione
: introduzione Contenuti : introduzione 2001-9 Corso di Ingegneria del Software V. Ambriola, G.A. Cignoni, C. Montangero, L. Semini Con aggiornamenti di: T. Vardanega (UniPD) Dipartimento di Informatica,
Dettagli3. Ciclo di Vita e Processi di Sviluppo
3. Ciclo di Vita e Processi di Sviluppo come posso procedere nello sviluppo? Andrea Polini Ingegneria del Software Corso di Laurea in Informatica (Ingegneria del Software) 3. Ciclo di Vita e Processi di
DettagliCollaudo e qualità del software Quali test eseguire
Collaudo e qualità del software Relatore Ercole Colonese Roma, Tipologie di test Temi trattati nel libro Modello a V Livelli di testing Tipi di test Test funzionali Test delle funzionalità Test di gestione
DettagliPiano di Testing. Fontolan Federico Giacomazzi Andrea Yoshida Kotono Rosada Fabio
Piano di Testing Fontolan Federico 854230 Giacomazzi Andrea 854522 Yoshida Kotono 853696 Rosada Fabio 851772 February 3, 2017 Indice 1 Introduzione 2 2 Requisiti 2 3 Fase e gerarchia di Test 3 3.1 Unit
DettagliGestione dello sviluppo software Modelli Base
Università di Bergamo Dip. di Ingegneria gestionale, dell'informazione e della produzione GESTIONE DEI SISTEMI ICT Paolo Salvaneschi A4_1 V1.0 Gestione dello sviluppo software Modelli Base Il contenuto
DettagliLe basi del linguaggio Java
Le basi del linguaggio Java Compilazione e interpretazione Quando si compila il codice sorgente scritto in Java, il compilatore genera il codice compilato, chiamato bytecode. È un codice generato per una
DettagliVerifica e Validazione del Software
Verifica e Validazione del Software Testing Object Oriented Ingegneria del Software 2 Testing Object Oriented 1 Riferimenti Ian Sommerville, Ingegneria del Software, capitoli 22-23-24 (più dettagliato
DettagliSIA - Società Italiana Avionica S.p.A. Fasi del ciclo di vita Fase 4 Requisiti del sistema. SIA, settembre 2005
Fasi del ciclo di vita Fase 4 Requisiti del sistema Fase 4 Requisiti di Sistema Attori Elementi di ingresso Attività Elementi di uscita 2 Fase 4 Requisiti di Sistema Attori Team di Progetto Team Verifica
DettagliPremessa - 1. Verifica e validazione: prove statiche. Premessa - 2. Premessa - 3. Premessa - 4. Tecniche di verifica - 1. Tullio Vardanega
Diploma in Informatica - Ingegneria del Software - modulo B 1 Diploma in Informatica - Ingegneria del Software - modulo B Pagina 2 8. Verifica e validazione: prove statiche Docente: Tullio Vardanega tullio.vardanega@math.unipd.it
Dettagli2. Modellazione dei casi d uso
2. Modellazione dei casi d uso Andrea Polini Laboratorio di Ingegneria del Software Corso di Laurea in Informatica (Laboratorio di Ingegneria del Software) 2. Modellazione dei casi d uso 1 / 20 Sommario
DettagliSCD IS. Verifica e validazione: analisi statica. Verifica e validazione: analisi statica. Premessa 1
Premessa 1 Verifica e validazione: analisi statica Anno accademico 2011/12 Ingegneria del Software mod. A Tullio Vardanega, tullio.vardanega@math.unipd.it SCD IS Molti sistemi SW incorporano funzionalità
Dettagli4. Qualità. un concetto molte sfaccettature. Andrea Polini. Ingegneria del Software Corso di Laurea in Informatica
4. Qualità un concetto molte sfaccettature Andrea Polini Ingegneria del Software Corso di Laurea in Informatica (Ingegneria del Software) 4. Qualità 1 / 23 Sommario 1 Tipiche Qualità del Processo (Ingegneria
DettagliCifratura chiave simmetrica
Sicurezza dei Sistemi Informatici Esercitazioni OpenSSL Esercitazione 1 Cifratura chiave simmetrica 1 Obiettivo Scambio file su applicazione client-server. Client e server condividono una chiave simmetrica.
DettagliMateriale didattico. Sommario
Diploma Universitario in Ingegneria Informatica Corso di Ingegneria del Software Docente: ing. Anna Rita Fasolino Dipartimento di Informatica e Sistemistica Università degli Studi di Napoli Federico II
DettagliIndice PARTE A. Prefazione Gli Autori Ringraziamenti dell Editore La storia del C. Capitolo 1 Computer 1. Capitolo 2 Sistemi operativi 21 XVII XXIX
Indice Prefazione Gli Autori Ringraziamenti dell Editore La storia del C XVII XXIX XXXI XXXIII PARTE A Capitolo 1 Computer 1 1.1 Hardware e software 2 1.2 Processore 3 1.3 Memorie 5 1.4 Periferiche di
DettagliInformatica. Progettazione ed implementazione di un tool per il supporto al debug nella pratica di sviluppo Test Driven
Tesi di laurea in Informatica Progettazione ed implementazione di un tool per il supporto al debug nella pratica di sviluppo Test Driven Relatore Ch.mo Prof. Giuseppe Trautteur Candidato Gioacchino Del
DettagliVerifica parte IID. Test in grande. Test e modularità. Test di modulo
Test in grande Verifica parte IID Rif. Ghezzi et al. 6.3.5-6.3.6 Molte delle tecniche viste finora hanno alta complessità, o non sono automatizzabili. Possono quindi essere applicate solo a programmi piccoli,
DettagliEsempi di errori/difetti. algoritmi sintassi calcolo e precisione documento stress capacità ricovery sistema hardware e software standard e procedure
COLLAUDO Esempi di errori/difetti algoritmi sintassi calcolo e precisione documento stress capacità ricovery sistema hardware e software standard e procedure Verifica e Validazione Validazione Requisiti
DettagliMinistero dell Istruzione, dell Università e della Ricerca. Servizio di collaudo
Ministero dell Istruzione, dell Università e della Ricerca Servizio di collaudo Indice dei contenuti 1. SCHEDA SERVIZIO COLLAUDO...3 1.1. TIPOLOGIA... 3 1.2. SPECIFICHE DEL SERVIZIO... 3 1.2.1 Descrizione
DettagliSicurezza di sistema. Sicurezza: definizioni - 2. Sicurezza: definizioni - 1. Livelli di criticità - 1. Sicurezza: definizioni - 3
Diploma in Informatica - Ingegneria del Software - modulo B 1 Diploma in Informatica - Ingegneria del Software - modulo B Pagina 2 7. Docente: Tullio Vardanega tullio.vardanega@math.unipd.it Sicurezza
DettagliIntroduzione a Matlab
INFORMATICA B Ingegneria Elettrica Introduzione a Matlab Introduzione a Matlab Matlab (MATrix LABoratory) è uno strumento per il calcolo scientifico ed ingegneristico Matlab facilita lo sviluppo di programmi
DettagliAutomatic Deployment Tool For Networked Objects (ADEPTO)
1/11 19 ADEPTO Automatic Deployment Tool For Networked Objects (ADEPTO) The MobiLab Group Dipartimento di Informatica e Sistemistica Università di Napoli Federico II Via Claudio 21, 80125 - Napoli, Italy
DettagliPIANO DI LAVORO. Programmazione Didattica per Competenze. Indirizzo Informatica e Telecomunicazioni. Articolazione Informatica DOCENTE:
PIANO DI LAVORO Programmazione Didattica per Competenze Indirizzo Informatica e Telecomunicazioni Articolazione Informatica DOCENTE: ITP: MATERIA: CLASSE: ORE SETTINALI: CANTARELLA ALFREDO NATALE LUIGI
DettagliINGEGNERIA DEL SOFTWARE
DIPARTIMENTO DI INGEGNERIA ELETTRICA ELETTRONICA E INFORMATICA Corso di laurea magistrale in Ingegneria informatica Anno accademico 2016/2017-1 anno INGEGNERIA DEL SOFTWARE 9 CFU - 1 semestre Docente titolare
DettagliPremessa - 1. Ingegneria del Software 1 Verifica e validazione: prove statiche. Premessa - 3. Premessa - 2. Tecniche di verifica - 1.
Premessa - 1 Ingegneria del Software 1 Verifica e validazione: prove statiche Docente: Tullio Vardanega tullio.vardanega@math.unipd.it Un numero sempre maggiore di sistemi software svolge funzioni con
DettagliFondamenti di Informatica Il linguaggio C
Fondamenti di Informatica Il linguaggio C http://agile.diee.unica.it mario.locci@diee.unica.it March 19, 2008 1 Contents 1 Introduzione 3 1.1 Compilatore............................ 3 1.2 Il linguaggio
DettagliProgramma svolto di INFORMATICA. Classe 3 - indirizzo MERCURIO A.S. 2009/2010
ISTITUTO TECNICO COMMERCIALE N. DELL ANDRO - Santeramo in Colle (BA) Programma svolto di INFORMATICA Classe 3 - indirizzo MERCURIO A.S. 2009/2010 Proff. Rosalia Barbara Schiavarelli, Antonio Antonicelli
DettagliLinguaggio C Debugging
FONDAMENTI DI INFORMATICA Prof. PIER LUCA MONTESSORO Ing. DAVIDE PIERATTONI Facoltà di Ingegneria Università degli Studi di Udine Linguaggio C 2001 Pier Luca Montessoro - Davide Pierattoni (vedere nota
DettagliInformatica 3. LEZIONE 1: Introduzione. Modulo 1: Introduzione al corso Modulo 2: Introduzione ai linguaggi di programmazione
Informatica 3 LEZIONE 1: Introduzione Modulo 1: Introduzione al corso Modulo 2: Introduzione ai linguaggi di Informatica 3 Lezione 1- Modulo 1 Introduzione al corso Introduzione Corso di Informatica 3
DettagliSTORIA E CARATTERISTICHE
IL LINGUAGGIO C STORIA E CARATTERISTICHE STORIA E VERSIONI Sviluppato da Dennis Ritchie ai Bell Labs nel 1972 per realizzare il sistema operativo UNIX K&R C: 1978 (prima versione, K&R dal nome degli autori
DettagliSQL e linguaggi di programmazione. Cursori. Cursori. L interazione con l ambiente SQL può avvenire in 3 modi:
SQL e linguaggi di programmazione L interazione con l ambiente SQL può avvenire in 3 modi: in modo interattivo col server attraverso interfacce o linguaggi ad hoc legati a particolari DBMS attraverso i
DettagliProgramma svolto di INFORMATICA. Classe 3M - indirizzo MERCURIO A.S. 2010/2011
ISTITUTO TECNICO COMMERCIALE N. DELL ANDRO - Santeramo in Colle (BA) Programma svolto di INFORMATICA Classe 3M - indirizzo MERCURIO A.S. 2010/2011 Proff. Rosalia Barbara Schiavarelli, Antonio Antonicelli
DettagliGiovanni A. Cignoni 1
Simulazione software di sistemi dinamici Simulazione Lezione n. 2 Corso di Laurea in Informatica Applicata Università di Pisa, sede di La Spezia Giovanni A. Cignoni Simulazione www.di.unipi.it/~giovanni
DettagliInformatica 3. Informatica 3. Lezione 1- Modulo 1. LEZIONE 1: Introduzione. Concetti di linguaggi di programmazione. Introduzione
Informatica 3 Informatica 3 LEZIONE 1: Introduzione Lezione 1- Modulo 1 Modulo 1: Introduzione al corso Modulo 2: Introduzione ai linguaggi di Introduzione al corso Politecnico di Milano - Prof. Sara Comai
DettagliELETTRONICA II. Prof. Dante Del Corso - Politecnico di Torino
ELETTRONICA II Prof. Dante Del Corso - Politecnico di Torino Gruppo G: Interfacciamento e interconnessioni Lezione n. 34 - G - 5: Protocollo a livello transazione Esempi di bus reali Interconnessioni 3
DettagliPROGRAMMAZIONE DIDATTICA DIPARTIMENTO MECCANICO. Tecnologia meccanica e applicazioni. Classe 4 MT A.S
PROGRAMMAZIONE DIDATTICA DIPARTIMENTO MECCANICO Tecnologia meccanica e applicazioni Classe 4 MT A.S.2016-2017 Rev. 0 del 08-03-04 pag. 1 di 6 1 Caratteristiche meccaniche e tecnologiche dei materiali metallici
DettagliPROGRAMMAZIONE DISCIPLINARE LICEO SCIENTIFICO OPZIONE SCIENZE APPLICATE INFORMATICA CLASSE TERZA
PROGRAMMAZIONE DISCIPLINARE PROGRAMMAZIONE DISCIPLINARE LICEO SCIENTIFICO OPZIONE SCIENZE APPLICATE INFORMATICA CLASSE TERZA 1. Competenze: le specifiche competenze di base disciplinari previste dalla
DettagliContenuti: 1. Strumenti per il debugging nel Kernel LINUX: printk() e panic()
Sistemi Operativi III Corso di Laurea in Ingegneria Informatica Facolta di Ingegneria, Universita La Sapienza Docente: Francesco Quaglia Contenuti: 1. Strumenti per il debugging nel Kernel LINUX: printk()
DettagliCURRICOLO DIPARTIMENTO INFORMATICA PRIMO BIENNIO
dei limiti nel contesto culturale e sociale in cui vengono applicate CURRICOLO PARTIMENTO INFORMATICA PRIMO BIENNIO MODULO 1 Concetti di base della tecnologia dell informazione Acquisire e interpretare
DettagliProgramma di INFORMATICA
Classe 2 a D Indirizzo AMMINISTRAZIONE FINANZA E MARKETING MODULO 1: Word professionale e la corrispondenza commerciale UD 1 Questione di stile 1.1 Gli stili 1.2 Applichiamo gli stili UD 2 Formattazione
DettagliPROGRAMMA PER LA PROVA DI ACCERTAMENTO
PROGRAMMA PER LA PROVA DI ACCERTAMENTO PARTE 1 Fondamenti di informatica Questa sezione ha lo scopo di presentare i principali argomenti teorici che stanno alla base del funzionamento di un elaboratore
DettagliIngegneria del Software II. Proposte di progetto d esame. a.a. 2016/17
Ingegneria del Software II Proposte di progetto d esame a.a. 2016/17 1 1- Studio di algoritmi e strumenti a supporto del testing combinatoriale A partire anche dalle risorse messe a disposizione dal NIST,
DettagliProgrammazione con Java
Programmazione con Java con Eclipse Introduzione Sviluppare software è un attività umana e quindi possibilmente soggetta ad errori Tipi di errori Failure (malfunzionamento) il programma non funziona il
Dettagli1. UML 2 ed il Processo Unificato
1. UML 2 ed il Processo Unificato Andrea Polini Laboratorio di Ingegneria del Software Corso di Laurea in Informatica (Laboratorio di Ingegneria del Software) 1. UML 2 ed il Processo Unificato 1 / 25 Sommario
DettagliIngegneria del Software
Ingegneria del Software Obiettivi della lezione: Definire cosa si intende per Ingegneria del Software Discutere i concetti di prodotto software e di processo software Spiegare il concetto di visibilità
DettagliLinguaggi di alto livello, compilatori e interpreti
Linguaggi di alto livello, compilatori e interpreti Percorso di Preparazione agli Studi di Ingegneria Università degli Studi di Brescia Docente: Massimiliano Giacomin Il punto della situazione STATO DATI
DettagliAPPUNTI PER IL CORSO DI ALFABETIZZAZIONE INFORMATICA
Università degli Studi di Udine CENTRO SERVIZI INFORMATICI E TELEMATICI Via delle Scienze, 208-33100 UDINE (Italy) Tel. +39-0432-558900 Fax +39-432-558911 CF 80014550307 P. IVA 01071600306 Internet E-mail:
DettagliIV Indice I comandi e la sintassi dei linguaggi formali Proposte di variazione sul tema Le stringhe Tipi di dato Operazioni co
Indice Introduzione... IX A chi si rivolge questo libro...x Requisiti per la lettura...x Struttura del libro...x Presentazione dei capitoli...xi Programmi presentati nel libro... XII Credits... XII Software...
DettagliLez. 5 La Programmazione. Prof. Salvatore CUOMO
Lez. 5 La Programmazione Prof. Salvatore CUOMO 1 2 Programma di utilità: Bootstrap All accensione dell elaboratore (Bootsrap), parte l esecuzione del BIOS (Basic Input Output System), un programma residente
DettagliLa Raccolta dei Requisiti. Corso di Ingegneria del Software Anno Accademico 2012/2013
La Raccolta dei Requisiti Corso di Ingegneria del Software Anno Accademico 2012/2013 Introduzione La raccolta dei requisiti è il processo della determinazione in forma testuale (anche grafica) di che cosa
DettagliStato dell arte sulle tecniche di testing di Sistemi Embedded
tesi di laurea Anno Accademico 2011/2012 relatore Ch.mo prof. Porfirio Tramontana candidato Alfonso Cutolo Matr. 041/3068 Obiettivi Facoltà di Ingegneria Obiettivi Ordinare e descrivere in maniera metodologica
DettagliSoftware Testing. Esercizi proposti. Esercizi di Testing 1
Software Testing Esercizi proposti Esercizi di Testing 1 Esercizi proposti Una delle prove obbligatorie per sostenere l esame di Ingegneria del Software 2 è lo svolgimento di un esercizio pratico di testing
DettagliProgrammazione Orientata agli Oggetti in Linguaggio Java
Programmazione Orientata agli Oggetti in Linguaggio Java Test e Correzione: Introduzione versione 1.0 Questo lavoro è concesso in uso secondo i termini di una licenza Creative Commons (vedi ultima pagina)
DettagliVerifica del codice con Interpretazione Astratta
Verifica del codice con Interpretazione Astratta Daniele Grasso grasso@dsi.unifi.it grasso.dan@gmail.com Università di Firenze, D.S.I., Firenze, Italy December 15, 2009 D.Grasso (Università di Firenze)
DettagliSIMULAZIONE DISCRETA
SIMULAZIONE DISCRETA Prof. Michele Colajanni Corso di Impianti di Elaborazione Ingegneria Informatica Università di Modena e Reggio Emilia Origini della Simulazione Discreta Nata nell ambito della ricerca
DettagliIngegneria del Software 4. Introduzione a UML. Dipartimento di Informatica Università di Pisa A.A. 2014/15
Ingegneria del Software 4. Introduzione a UML Dipartimento di Informatica Università di Pisa A.A. 2014/15 e per i modelli iterativi analisi peliminare analisi e progettazione realizzazione Necessità di
DettagliSoftware solido e usabile: come integrare ingegneria dell usabilità e del software
Software solido e usabile: come integrare ingegneria dell usabilità e del software Giorgio Brajnik e Andrea Baruzzo Dip. di Matematica e Informatica Università di Udine e Interaction Design Solutions srl
DettagliInformatica per la Comunicazione/ Verdicchio/ 09/02/2017/ Domande / VERSIONE 1
Informatica per la Comunicazione/ Verdicchio/ 09/02/2017/ Domande / VERSIONE 1 1) In origine, il termine computer indicava a) un calcolatore meccanico b) un algoritmo c) una persona 2) L informatica si
Dettagli.lo standard ISO 12207 I PROCESSI SOFTWARE. ..l organizzazione gerarchica dei processi. articolazione del modello. Ingegneria del Software
I PROCESSI SOFTWARE I CVS descrivono solo una parte delle molteplici attività connesse al software E possibile definire una vista ad alto livello di astrazione di queste attività, un modello capace di
DettagliCostanti e Variabili
Parte 3 Costanti e Variabili Identificatori Un identificatore è un nome che viene associato a diverse entità (costanti, tipi, variabili, funzioni, ecc.) e serve ad identificare la particolare entità Gli
DettagliCosa è un programma. Informatica di Base -- R.Gaeta 18
Cosa è un programma Il programma è la scatola nera che risolve il problema computazionale; Il programma è una sequenza di istruzioni che devono essere eseguite; Il programma è la traduzione per il computer
DettagliElementi di C++ di base
Elementi di C++ di base Corso di Programmazione 3 - Ingegneria dell Informazione e dell Organizzazione 10 ottobre, 2001 Gino Perna Esempi di semplici programmi in C++ Il programma più semplice consiste
DettagliVerifica e Convalida
Corso di Laurea Specialistica in Ingegneria Informatica Corso di Ingegneria del Software A. A. 2008 - Verifica e Convalida E. TINELLI Definizioni Le attività di Verifica (Verification) e Convalida (Validation)
DettagliScheda PROGRAMMATORE
Scheda PROGRAMMATORE A. Connotazioni generali dell'intervento A.1 Soggetto promotore: Associazione GIU.L.I.A A.2 Tipologia formativa: Il livello- Qualifica di programmatore A.3 Durata intervento : n 500
DettagliStrutture di controllo iterative
Andrea Marin Università Ca Foscari Venezia Laurea in Informatica Corso di Programmazione part-time a.a. 2011/2012 Introduzione Problema Scrivere un programma che acquisisca da standard input un intero
DettagliAutomatic generation of test cases
Tecniche Automatiche per la Correttezza del Software 2016/2017 Automatic generation of test cases Prof. Salvatore La Torre Alessandro Sacco Overview Testing Manual Testing vs Automated Testing Generazione
DettagliIndice. Prefazione. 3 Oggetti e Java 53
Prefazione xv 1 Architettura dei calcolatori 1 1.1 Calcolatori e applicazioni 1 1.1.1 Alcuni esempi di applicazioni 3 1.1.2 Applicazioni e interfacce 4 1.2 Architettura dei calcolatori 7 1.2.1 Hardware
DettagliLinee di programmazione
Ministero dell Istruzione, dell Università e della Ricerca Ufficio Scolastico regionale per il Lazio Istituto Tecnico Industriale A. Pacinotti ISTITUTO TECNICO TECNOLOGICO - LICEO SCIENTIFICO DELLE SCIENZE
DettagliLa programmazione ad oggetti: chiamate di metodi. Overloading. This
ISTITUTO D ISTRUZIONE SUPERIORE FERRARIS BRUNELLESCHI - EMPOLI Materia: INFORMATICA PROGRAMMA SVOLTO A.S. 2015/2016 Classe IV C Informatica Proff. Fabio Ciao / Simone Calugi Libro di testo: Cloud B P.
DettagliVerifica e Validazione del Software
Verifica e Validazione del Software Testing processes Ingegneria del Software 2 Testing Processes 1 Riferimenti Ian Sommerville, Ingegneria del Software, capitoli 22-23-24 (più dettagliato sui processi)
DettagliVerifica e Validazione del Software
Verifica e Validazione del Software Testing processes Ingegneria del Software 2 Testing Processes 1 Riferimenti Ian Sommerville, Ingegneria del Software, capitoli 22-23-24 (più dettagliato sui processi)
DettagliCollaudo del software
Collaudo del software Il software deve essere testato con il preciso scopo di trovare degli errori prima di essere consegnato al cliente Il collaudo è un insieme di attività pianificate per testare il
DettagliVerifica parte IIB. Grafo di controllo. Criteri di selezione per test strutturali (white box) Test. Rif. Ghezzi et al
Verifica parte IIB Rif. Ghezzi et al. 6.3.4.1 Test In piccolo White box Black box Condizioni di confine Problema dell' Oracolo In grande Test di modulo Test di integrazione Test di Sistema Test di Accettazione
DettagliCorrezione degli errori
Prove di convalida Iniziano al termine del collaudo di integrazione A questo punto la distinzione fra software convenzionale ed orientato agli oggetti sparisce in quanto il collaudo si concentra sulle
DettagliPiano di gestione della qualità
Piano di gestione della qualità Pianificazione della qualità Politica ed obiettivi della qualità Riferimento ad un eventuale modello di qualità adottato Controllo della qualità Procedure di controllo.
DettagliI.I.S. N. PELLATI Nizza Monferrato - Canelli
A. S. 2011-2012 INFORMATICA Classe 1AG - CAT Ore annuali: 99 DOCENTE MARIA PIA SECCO Obiettivi disciplinari Conoscenze Informazioni, dati e loro codifica. Architettura e componenti di un computer. Funzioni
DettagliUniversità degli studi di Roma Tor Vergata Ingegneria Medica Informatica I Programma del Corso
Obiettivi Di seguito vengono riportate una serie di domande che possono essere poste durante la prova formale del corso. Le seguenti domande non sono da ritenersi esaustive ma esemplificative. 1. Architettura
DettagliCiclo del Processore. Memoria
Ciclo del Nella figura seguente è riportata la rappresentazione semplificata ed essenziale di un computer. RESET Canali Di Ingresso Uscita Uscita Ingressi Fig. 1 Rappresentazione semplificata di un computer
DettagliI.I.S. Federico II di Svevia - Melfi
I.I.S. Federico II di Svevia - Melfi Liceo Scientifico - Opzione Scienze Applicate Progettazione didattica a.s. 2016/2017 INFORMATICA Docente: Michele FICARAZZI Classe 2AA PREMESSA SULLA CLASSE: La classe
DettagliIndice. Introduzione 15. L hardware 24. Il software 43. Introduzione al linguaggio di Arduino 60. Basi del linguaggio di Arduino 65
Indice Introduzione 15 1.1 - Un po di storia 15 1.2 - Le vecchie schede 18 1.3 - La filosofia open 23 L hardware 24 2.1 - La scheda Arduino UNO 24 2.1.1 - Avvertenze sull uso della scheda 27 2.2 - Il microcontrollore
DettagliLinguaggi, Traduttori e le Basi della Programmazione
Corso di Laurea in Ingegneria Civile Politecnico di Bari Sede di Foggia Fondamenti di Informatica Anno Accademico 2011/2012 docente: Prof. Ing. Michele Salvemini Sommario Il Linguaggio I Linguaggi di Linguaggi
DettagliPatterns, Analisi di dominio e Robustness Diagram. Gregorio Piccoli Padova, 5 Dicembre 2017
Patterns, Analisi di dominio e Robustness Diagram Gregorio Piccoli Padova, 5 Dicembre 2017 ZUCCHETTI SpA Prima software house italiana, per storia e dimensione: 30 anni 400M Euro di fatturato 3500 persone
DettagliModelli e Metodi per la Simulazione (MMS)
Modelli e Metodi per la Simulazione (MMS) adacher@dia.uniroma3.it Programma La simulazione ad eventi discreti, è una metodologia fondamentale per la valutazione delle prestazioni di sistemi complessi (di
DettagliModelli matematici e Data Mining
Modelli matematici e Data Mining Introduzione I modelli matematici giocano un ruolo critico negli ambienti di business intelligence e sistemi di supporto alle decisioni. Essi rappresentano un astrazione
DettagliModellizzazione dei processi aziendali
Modellizzazione dei processi aziendali Prof.ssa Enrica Gentile a.a. 2011-2012 Processo L insieme delle attività elementari che vengono svolte per raggiungere un certo obiettivo nel sistema. Possiamo avere
DettagliCollaudo e qualità del software Il testing nel ciclo di vita del software
Il testing nel ciclo di vita del software Relatore Ercole Colonese Roma, Il test nel ciclo di vita del software Temi trattati nel libro Il test nello sviluppo del software Strategia e pianificazione dei
DettagliISTITUTO SUPERIORE ENRICO FERMI. PROGRAMMAZIONE DEL GRUPPO DISCIPLINARE INFORMATICA IT INDIRIZZO INFORMATICA E TELECOMUNICAZIONI a.s.
ISTITUTO SUPERIORE ENRICO FERMI PROGRAMMAZIONE DEL GRUPPO DISCIPLINARE INFORMATICA IT INDIRIZZO INFORMATICA E TELECOMUNICAZIONI a.s. 2016/2017 ARTICOLAZIONE: INFORMATICA DISCIPLINA: INFORMATICA ORE SETTIMANALI:
DettagliArchitettura di Von Neumann. Architettura di Von Neumann. Architettura di Von Neumann INFORMATICA PER LE DISCIPLINE UMANISTICHE 2 (13042)
INFORMATICA PER LE DISCIPLINE UMANISTICHE 2 (13042) Computer elaboratore di informazione riceve informazione in ingresso (input) elabora questa informazione restituisce informazione ottenuta elaborando
DettagliInput/Output. Livelli del sottosistema di I/O
Input/Output 1 Livelli del sottosistema di I/O Software di I/O di livello utente Software di sistema indipendente dal Di Driver dei didispositivi itii Gestori delle interruzioni Hardware utente kernel
DettagliCorso di. Fondamenti di Informatica T
Università degli Studi di Bologna Facoltà di Ingegneria Corso di http://lia.deis.unibo.it/courses/fondt-1011-elt Corso di Laurea in Ingegneria Elettrica Prof. Rebecca Montanari Anno accademico 2010/2011
DettagliGAMBOTTO-MANZONE, Conoscere e applicare la Matematica, vol.2 Tramontana GAMBOTTO-MANZONE, Conoscere e applicare la Matematica, vol.
RELAZIONE FINALE DEL DOCENTE All. A Docente: CONTI ELEONORA Disciplina: Matematica Classe 5AP A. S. 2013-2014 1. LIBRO DI TESTO UTILIZZATO: GAMBOTTO-MANZONE, Conoscere e applicare la Matematica, vol.2
DettagliPRESENTAZIONE DEL CORSO
PRESENTAZIONE DEL CORSO Davide Giglio E-mail: Davide.Giglio@unige.it CORSO DI LAUREA IN INGEGNERIA INFORMATICA Obiettivo del Corso Lo studente al termine del corso sarà in grado di: modellare come sistemi
Dettagli23/05/ :56:05 Pagina 1 di 8
Denominazione Figura / Profilo / Obiettivo Indirizzi OPERATORE GRAFICO 1 - STAMPA E ALLESTIMENTO 2 - MULTIMEDIA Professioni NUP/ISTAT correlate 6. - Artigiani, operai specializzati e agricoltori 6.3.4.1
DettagliLezione 6 Introduzione al C++ Mauro Piccolo
Lezione 6 Introduzione al C++ Mauro Piccolo piccolo@di.unito.it Linguaggi di programmazione Un linguaggio formale disegnato per descrivere la computazione Linguaggi ad alto livello C, C++, Pascal, Java,
DettagliSistemi operativi. Fondamenti di Informatica
Sistemi operativi Fondamenti di Informatica Scratch https://scratch.mit.edu/studios/3840177/ Software ed Hardware Software Hardware Kernel Software Kernel Hardware Sistema operativo Processi: un programma
DettagliCorrettezza (prima parte)
Fondamenti di informatica Oggetti e Java (prima parte) Capitolo 16 ottobre 2015 1 Contenuti Introduzione alla correttezza dei programmi specifica di un programma correttezza di un programma verifica di
DettagliControlli Automatici. Maria Gabriella Xibilia Blocco B piano 7 Tel. 7328
Controlli Automatici Maria Gabriella Xibilia Blocco B piano 7 Tel. 7328 Libri di testo Bolzern, Scattolini, Schiavone Fondamenti di controlli automatici Mc-Graw Hill III edizione Isidori Sistemi di Controllo
Dettagli