Software Testing. Esercizi proposti. Esercizi di Testing 1
|
|
- Renato Viviani
- 6 anni fa
- Visualizzazioni
Transcript
1 Software Testing Esercizi proposti Esercizi di Testing 1
2 Esercizi proposti Una delle prove obbligatorie per sostenere l esame di Ingegneria del Software 2 è lo svolgimento di un esercizio pratico di testing Da svolgere a casa In gruppi al più di 3 persone Da consegnare al più due giorni prima dell esame, via In alternativa, è preferibile la consegna via svn Esercizi di Testing 2
3 Tracce proposte Sono proposte alcune applicazioni da testare, tra le quali scegliere Gruppi da 3 persone: BlackJack Sudoku PacMan (applet) SudokuGame (altra versione di sudoku) Gruppi da 2 persone: Gioco del 15 Reversi (applet) VideoPoker Quiz Gruppi singoli: Gioco dell'impiccato Ricorda Password, applicazione per salvare e ritrovare elenchi di password Esercizi di Testing 3
4 Tracce proposte Tutte le applicazioni sono realizzate in Java Tutte le applicazioni hanno un interfaccia utente grafica realizzata con AWT o Swing (in un caso si tratta di una applet) Nessuna applicazione ha bisogno di librerie supplementari, oltre quelle della sdk In ogni applicazione sono stati iniettati 3 difetti Ulteriori difetti insiti nelle applicazioni possono essere ulteriormente trovati Esercizi di Testing 4
5 Strumenti utilizzabili Junit per la programmazione dei casi di test Tobias Per la generazione combinatoria di casi di test Eclipse (o altre IDE) per lo svolgimento del debugging CodeCover Per la misura della copertura white box Structure Analysis Per la valutazione del grafo delle dipendenze CFG generator Per la valutazione del Control Flow Graph Qualunque altro strumento presentato al corso Eventuali altri strumenti reperibili in rete, in particolare per l automazione del testing delle interfacce utente Per questi altri strumenti, un paragrafo descrittivo del loro funzionamento deve essere allegato al documento consegnato Esercizi di Testing 5
6 Tecniche di testing Implementare tre o più delle seguenti strategie: Testing funzionale black box Descrivere le funzionalità dell'applicazione in termini di input, output, precondizioni, progettare e realizzare casi di test secondo una delle strategie proposte per il testing black box Testing della GUI Descrivere la struttura e il comportamento della GUI tramite diagrammi (ad esempio statechart), poi progettare e realizzare test secondo una delle strategie di copertura degli stati e delle transizioni relative alla GUI Testing strutturale Per ogni classe/metodo, progettare e realizzare casi di test allo scopo di massimizzare una delle funzioni di coeprtura white box del codice Testing d'integrazione Descrivere l'applicazione in termini di grafo delle dipendenze. Progettare e realizzare casi di test per testare uno o più componenti indipendentemente dal resto del software, applicando eventualmente una strategia d'integrazione top-down o bottom-up Debugging e testing di regressione Trovare i difetti iniettati con i test case delle strategie precedenti, descrivere la strategia di debugging utilizzata per localizzare il difetto, correggerlo e rieseguire i test per verificare che esso sia stato corretto e che non si siano manifestati ulteriori malfunzionamenti (regressioni) Esercizi di Testing 6
7 Documentazione da produrre Per ognuna delle strategie di testing descritte nella slide precedente, bisogna produrre: Documento descrittivo della strategia seguito Elenco di tutti i casi di test svolti e del loro esito Codice di tutti i casi di test Da distribuire possibilmente sotto forma di progetto Eclipse Il docente deve poterli rieseguire prima dell'esame Report di copertura Generabile automaticamente da CodeCover Report dei difetti rilevati e delle modifiche apportate al software Non è obbligatorio, ai fini della consegna dell esercizio, riuscire a ritrovare tutti i difetti, ma è fondamentale documentare tutti i test effettuati e i criteri seguiti nel progettarli Esercizi di Testing 7
Robotium Recorder. Un altro ambiente che supporta il capture & replay è Robotium Recorder.
Robotium Recorder Un altro ambiente che supporta il capture & replay è Robotium Recorder http://robotium.com/products/robotium-recorder Robotium Recorder si basa sulle stesse librerie e sulla stessa architettura
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,
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
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
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
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
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
DettagliLaboratorio di Progettazione di Sistemi Software Progetto: modellazione di un dominio e sue attività
Laboratorio di Progettazione di Sistemi Software Progetto: modellazione di un dominio e sue attività Valentina Presutti (A-L) Riccardo Solmi (M-Z) Definizione del problema Modello di un dominio Si vuole
DettagliTecniche di Testing White Box
Tecniche di Testing White Box Riferimenti Ian Sommerville, Ingegneria del Software, capitoli - - (più dettagliato sui processi) Pressman, Principi di Ingegneria del Software, 5 edizione, Capitoli 5-6 Ghezzi,
DettagliVerifica e Validazione del Software
Verifica e Validazione del Software Testing White Box Ingegneria del Software 2 Testing White Box 1 Riferimenti Ian Sommerville, Ingegneria del Software, capitoli 22-23-24 (più dettagliato sui processi)
DettagliTecnologie Informatiche L-31. Corso di Ingegneria del software e Laboratorio di Ingegneria del software
Tecnologie Informatiche L-31 Corso di Ingegneria del software e Laboratorio di Ingegneria del software Anno Accademico 2011/12 Rosario Culmone - p. 1/17 Orario Titolo Partizioni Lezioni Chi tiene il corso
DettagliINSEGNAMENTO DI INGEGNERIA DEL SOFTWARE B (5 CFU) CORSO DI LAUREA SPECIALISTICA IN INGEGNERIA INFORMATICA a.a
INSEGNAMENTO DI INGEGNERIA DEL SOFTWARE B (5 CFU) CORSO DI LAUREA SPECIALISTICA IN INGEGNERIA INFORMATICA a.a. 2010-2011 Docenti Marina Zanella Orario ricevimento (S2): martedì 11:30-12:45 venerdì 9:45-10:30
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
DettagliPrincipi di Progettazione del Software a.a " Introduzione al corso! Prof. Luca Mainetti! Università del Salento!
Principi di Progettazione del Software a.a. 2015-2016" Introduzione al corso! Prof. Luca Mainetti! Università del Salento! Il GSA Lab (www.gsalab.unisalento.it)" Laboratorio di ricerca in ingegneria del
DettagliStrumento e tecnica a supporto del crash testing automatico di applicazioni mobili basato sul sistema operativo Android Anno Accademico 2010/2011
tesi di laurea Strumento e tecnica a supporto del crash testing automatico di applicazioni mobili basato sul sistema operativo Android Anno Accademico 2010/2011 relatore Ch.mo prof. Porfirio Tramontana
DettagliFondamenti VBA. Che cos è VBA
Fondamenti VBA Che cos è VBA VBA, Visual Basic for Application è un linguaggio di programmazione, inserito nelle applicazioni Office di Microsoft (Ms Word, Ms Excel, Ms PowerPoint, Visio). VBA è una implementazione
DettagliProgettazione del Sofware
Corso Serale Progettazione del Sofware Perché Modellare un Sistema Necessità di realizzare un artefatto, indipendentemente dalla sua dimensione e settore di interesse (una casa, un particolare macchinario,
DettagliGui testing automatico di applicazioni Android tramite emulazione di input ed eventi provenienti da sensori
tesi di laurea Gui testing automatico di applicazioni Android tramite emulazione di input ed eventi Anno Accademico 2011/2012 relatore Ch.mo prof. Porfirio Tramontana correlatore Ing. Domenico Amalfitano
DettagliTecniche e strumenti per la validazione di codice Java: un esempio applicativo
Università degli Studi dell'insubria Facoltà di Scienze Matematiche, Fisiche e Naturali Corso di Laurea in Informatica Tecniche e strumenti per la validazione di codice Java: un esempio applicativo Relatore:
DettagliVerifica e Validazione del Software
Verifica e Validazione del Software Testing Black Box Ingegneria del Software 2 Testing Black Box 1 Riferimenti Ian Sommerville, Ingegneria del Software, capitoli 22-23-24 (più dettagliato sui processi)
DettagliMATERIALI PER LA DISCUSSIONE
SETTORE TECNOLOGICO MATERIALI PER LA DISCUSSIONE ISTITUTO TECNICO INDIRIZZO ARTICOLAZIONE TELECOMUNICAZIONI INFORMATICA E TELECOMUNICAZIONI ESITI DI APPRENDIMENTO Regolamento, Art. 5 comma 1 Nota: Le Competenze,
DettagliFasi di revisione del progetto
Fasi di revisione del progetto Revisione dei requisiti (comunicazione e pianificazione) Revisione della specifica architetturale Revisione della codifica e collaudo Accettazione (esame finale) Documentazione
DettagliFONDAMENTI DI INFORMATICA II
Università degli Studi di Ferrara Facoltà di Ingegneria APPUNTI DEL CORSO DI FONDAMENTI DI INFORMATICA II Obiettivi del corso: Approfondire l uso del linguaggio C rispetto a quanto noto dal corso di Fondamenti
DettagliPrincipi di Progettazione del Software a.a Introduzione al corso Prof. Luca Mainetti Università del Salento
Principi di Progettazione del Software a.a. 2016-2017 Prof. Università del Salento Il GSA Lab (www.gsalab.unisalento.it) Laboratorio di ricerca in ingegneria del software e sistemi interattivi La mission
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
DettagliVerifica e Validazione del Software
Verifica e Validazione del Software Testing Black Box Ingegneria del Software 2 Testing Black Box 1 Riferimenti Ian Sommerville, Ingegneria del Software, capitoli 22-23-24 (più dettagliato sui processi)
DettagliProgrammazione Orientata agli Oggetti
Programmazione Orientata agli Oggetti a.a. 2012-2013 Presentazione del corso Informazioni generali Docente: Paolo Merialdo merialdo@dia.uniroma3.it http://merialdo.dia.uniroma3.it Sito del corso: https://sites.google.com/site/roma3poo
DettagliPrincipi di Progettazione del Software a.a Introduzione al corso Prof. Luca Mainetti Università del Salento
Principi di Progettazione del Software a.a. 2017-2018 Prof. Università del Salento Il GSA Lab (www.gsalab.unisalento.it) Laboratorio di ricerca in ingegneria del software e sistemi interattivi La mission
DettagliProgramma Master Programmatore Java
Programma Master Programmatore Java PCAcademy Via Capodistria 12 Tel.: 06.97.84.22.16 06.85.34.44.76 Cell. 393.93.64.122 - Fax: 06.91.65.92.92 www.pcacademy.it info@pcacademy.it Informazioni generali La
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
DettagliCorso di Ingegneria del Software. Modelli di produzione del software
Corso di Ingegneria del Software a.a. 2009/2010 Mario Vacca mario.vacca1@istruzione.it 1. Concetti di base Sommario 2. 2.1 Modello a cascata 2.2 Modelli incrementali 2.3 Modelli evolutivi 2.4 Modelli agili
DettagliProcesso parte VII. Strumenti. Maggiore integrazione. Sviluppo tecnologico
Strumenti Processo parte VII Leggere Cap. 9 Ghezzi et al. Strumenti software che assistono gli ingegneri del software in tutte le fasi del progetto; in particolare progettazione codifica test Evoluzione
DettagliIngegneria del Software L-A
Ingegneria del Software L-A Corso di Laurea Triennale in Ingegneria Informatica III anno A.A. 2009/2010 Docente: Giuseppe Bellavia Collaboratore: Gabriele Zannoni Premessa Una domanda fondamentale Che
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
DettagliIngegneria del Software
Ingegneria del Software Introduzione e Concetti Fondamentali Porfirio Tramontana, 2009 Corso di Ingegneria del Software Slide 1 Riferimenti Ian Sommerville, Ingegneria del Software, Capitolo 1 Porfirio
DettagliSEERP Introduzione. Team Manager - D Amato Angelo. Team Members. Anzivino Ilaria. Siniscalchi Luisa. Cattolico Tommaso. Cesaro Andrea.
SEERP Introduzione SEERP Introduzione Anzivino Ilaria Siniscalchi Luisa Cattolico Tommaso Russo Giuseppe Team Members Cesaro Andrea De Tommaso Marialuna D Auria Matteo Team Manager - D Amato Angelo Outline
DettagliIl PROCESSO UNIFICATO
Corsi di laurea triennale in Ingegneria Informatica Corso di Ingegneria del software Il PROCESSO UNIFICATO Modellazione ed Implementazione di un Sistema Software per la gestione informatizzata di un ristorante
DettagliProgrammazione con Java
Programmazione con Java Realtà e sistemi informatici Scopo dell informatica Studiare e produrre tecnologie, tecniche e metodi per rappresentare il mondo reale mediante dati, informazioni e conoscenza che
DettagliIngegneria del Software Agile Testing. Corso di Ingegneria del Software Anno Accademico 2012/13
Ingegneria del Software Agile Testing Corso di Ingegneria del Software Anno Accademico 2012/13 1 Introduzione Le pratiche che descriveremo in questa sezione sono tipiche dell'extreme Programming (XP) L'XP
DettagliGruppo Turbine Pelton Busato Marco D Alessandro Marco De Pieri Alex IdroVENETO. (Monitoraggio Acqua Veneto) Piano di Testing
Gruppo Turbine Pelton Busato Marco 852074 D Alessandro Marco 854588 De Pieri Alex 853867 IdroVENETO (Monitoraggio Acqua Veneto) Piano di Testing Versione 2.0 06/12/2016 1 1 Introduzione pag. 03 2 Il modello
DettagliStrumenti per l automazione del testing di applicazioni web Javascript-based
tesi di laurea Strumenti per l automazione del testing di applicazioni web Javascript-based Anno Accademico 2005/2006 relatore Ch.mo prof. Porfirio Tramontana 1 candidato Salvatore Agnello Matr. 41/2612
Dettagliid the business magazine for humans
PLC: lo standard IEC61131-3 IEC 61131-3 è l unico standard mondiale per la programmazione del controllo industriale. Quali sono I vantaggi per l utilizzatore? the business magazine for humans Difficoltà
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
DettagliVerifica e Validazione del Software
Verifica e Validazione del Software Testing Black Box Ingegneria del Software 2 Testing Black Box 1 Riferimenti Ian Sommerville, Ingegneria del Software, capitoli 22-23-24 (più dettagliato sui processi)
DettagliProgramma didattico. Sviluppare Applicazioni Distribuite in ambiente. Spring MVC
Programma didattico Sviluppare Applicazioni Distribuite in ambiente Spring MVC Programma del corso 1.Progettazione e Sviluppo Database Relazionali Questa competenza permette di Progettare e Sviluppare
DettagliInformazioni sull esame e Regole per lo svolgimento dei progetti
Informazioni sull esame e Regole per lo svolgimento dei progetti Programmazione e analisi di dati Modulo A: Programmazione in Java Paolo Milazzo Dipartimento di Informatica, Università di Pisa http://www.di.unipi.it/
DettagliSoftware Testing. Integration Testing. Integration Testing 1
Software Testing Integration Testing Integration Testing 1 Limiti dello Unit Test Non si può testare un modulo in isolamento se: comunica con il database comunica in rete ccomunica con altri moduli non
DettagliPiano dei Test e Collaudo del software Titolo Documento
Controllo delle copie Il presente documento, se non preceduto dalla pagina di controllo identificata con il numero della copia, il destinatario, la data e la firma autografa del Responsabile della Documentazione,
DettagliDipartimento di INFORMATICA TC - TTRG. Anno Scolastico Piano di Lavoro Disciplinare. INFORMATICA Articolazione: INFORMATICA Classe IV
Dipartimento di INFORMATICA TC - TTRG Anno Scolastico 2015-2016 Piano di Lavoro Disciplinare INFORMATICA Articolazione: INFORMATICA Classe IV Docenti del Dipartimento: Maculotti Marina (IV A i ) Mazzucchelli
DettagliMANAGEMENT DELLA QUALITA CONTROLLO STATISTICO DELLA QUALITA ORDINAMENTO 509. Prof. Maria Francesca Renzi Prof. Paola Vicard
MANAGEMENT DELLA QUALITA CONTROLLO STATISTICO DELLA QUALITA ORDINAMENTO 509 Prof. Maria Francesca Renzi Prof. Paola Vicard A.A. 2009/2010 Obiettivi formativi Il corso si pone l obiettivo di preparare gli
DettagliEsercitazione Programmare Liste
Esercitazione Programmare Liste Si veda l'esercitazione nel registro delle lezioni in moodle - Soluzioni che usano - un array parzialmente riempito una lista concatenata senza riferimento all'ultimo nodo
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
DettagliPIANO DI LAVORO ANNUALE DELLA DISCIPLINA. Classe 3 ATI A.S. 2015/2016
Istituto di Istruzione Secondaria Superiore Ettore Majorana 24068 SERIATE (BG) Via Partigiani 1 Tel 035 297612 Fax 035301672 Cod. Mecc. BGISO1700A Cod.Fisc. 95028420164 Md CDC 49_1 - Piano di Lavoro Annuale
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,
DettagliIngegneria del Software II
Ingegneria del Software II Prof. Evelina Lamma Anno accademico 2017-16 Obiettivi del corso l Illustrare modelli, tecniche e strumenti disponibili nelle varie attività/fasi del processo di sviluppo software:
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
DettagliProgrammazione di INFORMATICA e Laboratorio
ISIUO ECNICO SAALE settore ECNOLOGICO ad indirizzo: Elettronica ed Elettrotecnica - Informatica e elecomunicazioni Meccanica, Meccatronica ed Energia "VIORIO EMANUELE III" Via Duca della Verdura, 48-90143
DettagliLo sviluppo del progetto informatico
Lo sviluppo del progetto informatico Il progetto Il controllo di qualità Le qualità per i prodotti di software Le figure professionali La metodologia La conoscenza degli obiettivi L analisi La progettazione
DettagliOBIETTIVI. Conoscere i concetti di base dell Informatica. Conoscere i principi e gli strumenti di base della programmazione
Università degli Studi di Bologna Facoltà di Ingegneria Corso di http://lia.deis.unibo.it/courses/fondt-0910-elt Corso di Laurea in Ingegneria Elettrica Prof. Rebecca Montanari Anno accademico 2009/2010
DettagliFondamenti di Informatica 1. Prof. B.Buttarazzi A.A. 2010/2011. Benvenuti al Corso!
Fondamenti di Informatica 1 Prof. B.Buttarazzi A.A. 2010/2011 Benvenuti al Corso! Sommario Contenuti del Corso Riferimenti Regole del Corso Materiale Didattico Scheduling Esami Strumenti Software 02/03/2011
DettagliFondamenti di Informatica modulo B
Università degli Studi di Ferrara Dipartimento di Ingegneria Fondamenti di Informatica modulo B Corso di Laurea triennale in Ingegneria Elettronica e Informatica Prof. Evelina Lamma Anno Accademico 2015-16
DettagliDIAGNOSTICA DEI CIRCUITI INTEGRATI DEFINIZIONI GENERALI
DIAGNOSTICA DEI CIRCUITI INTEGRATI Obiettivi: Verificare la funzionalità del circuito Verificare il possibile uso del circuito per particolari applicazioni DEFINIZIONI GENERALI Affidabilità: Probabilità
DettagliBasi di dati I
Docente Paolo Atzeni Basi di dati I 2016-2017 atzeni@dia.uniroma3.it http://www.dia.uniroma3.it/~atzeni/ Calendario: 3/10/2016 al 27/01/2017 con interruzione dal 23/12 al 6/01 inclusi Orario: lun-gio ore
DettagliVerifica e Validazione del Software
Verifica e Validazione del Software Testing Black Box Ingegneria del Software 2 Testing Black Box 1 Riferimenti Ian Sommerville, Ingegneria del Software, capitoli 22-23-24 (più dettagliato sui processi)
Dettagli12. 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
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
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
DettagliProgrammazione I - corso B a.a prof. Viviana Bono
Università di Torino Facoltà di Scienze MFN Corso di Studi in Informatica Programmazione I - corso B a.a. 2009-10 prof. Viviana Bono Blocco 1 Introduzione al corso public class Benvenuti { public static
DettagliRealizzazione di strumenti per il testing di accessibilità di applicazioni web
tesi di laurea Realizzazione di strumenti per il testing di accessibilità di applicazioni web Anno Accademico 29 21 relatore Ch.mo prof. Porfirio Tramontana candidato Giuseppe Antonio Russo Matr. 534118
DettagliTraccia delle soluzioni. Si consideri il seguente enunciato: Spett Ditta,
Corso di Ingegneria del software Primo appello 8 gennaio 2008 V. Ambriola, L. Semini Dipartimento di Informatica, Università di Pisa a.a. 2007/08 La prova si svolge a libri chiusi (non è permessa la consultazione
DettagliIngegneria del Software. Simulazione Prova parziale del 24/4/2015
Cognome Nome Matricola Ingegneria del Software Simulazione Prova parziale del 24/4/2015 Durata: 1h 30' Esercizio 1. Descrivere il seguente diagramma UML di attività, rappresentante la procedura di analisi
DettagliIntroduzione ai casi d uso
Introduzione ai casi d uso versione 16 marzo 2009 http://www.analisi-disegno.com Introduzione ai casi d uso Pag. 1 Obiettivo di questa introduzione fornire elementi di base sui casi d uso fornire indicazioni
DettagliAlgoritmi e Strutture Dati
Introduzione al corso di Algoritmi e Strutture Dati Luigi Pontieri Il nome del corso: Algoritmi e Strutture Dati Algoritmo: metodo per la risoluzione di problemi di elaborazione di informazioni, espresso
DettagliBasi di dati I
Docente Paolo Atzeni Basi di dati I 2015-2016 atzeni@dia.uniroma3.it http://www.dia.uniroma3.it/~atzeni/ Calendario: 1/10/2015 al 22/01/2016 con interruzione dal 23/12 al 6/01 inclusi Orario: lun-gio ore
DettagliIL VHDL. Perché si usa un linguaggio di descrizione dell'hardware? Permette di formalizzare il progetto di sistemi digitali complessi
IL VHDL Cosa è il VHDL? NON è un linguaggio di programmazione! E' uno standard IEEE per la descrizione dell'hardware VHDL: VHSIC Hardware Description Language VHSIC: Very High Speed Integrated Circuit
DettagliProgrammazione ad Oggetti
Programmazione ad Oggetti Informazioni generali Docente Giacomo Cabri Come contattarmi Via email (consigliato) giacomo.cabri@unimore.it Telefono 059/2058320 Ricevimento Lunedì dalle 15 alle 17 presso Matematica,
DettagliModellazione funzionale con Data Flow Diagram
Modellazione funzionale con Data Flow Diagram 1 1 I Data Flow Diagram Traggono origine dalla teoria dei grafi e sono stati utilizzati anche precedentemente all avvento dei computer per la gestione delle
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
DettagliBASI DI DATI. basi di dati - introduzione ai sistemi informativi 1
BASI DI DATI basi di dati - introduzione ai sistemi informativi 1 Sistema Informativo Insieme degli strumenti, risorse e procedure che consentono la gestione delle informazioni aziendali e' essenziale
DettagliLab 01 Introduzione a Codelite
Fondamenti di Informatica e Laboratorio T-AB e Fondamenti di Informatica T1 Ingegneria Elettronica e Telecomunicazioni e Ingegneria dell Automazione a.a. 2011/2012 Lab 01 Introduzione a Codelite Lab01
DettagliLa tolleranza ai guasti. Concetti generali
Politecnico di Milano La tolleranza ai guasti Concetti generali Docente: William Fornaciari Politecnico di Milano fornacia@elet.polimi.it www.elet.polimi.it/~fornacia Sommario Storia Concetti fondamentali
Dettagli13. Verifica e Validazione del Software
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 Verifica e Validazione
DettagliNetBeans. Dott. Ing. Rossella Rubino A.A. 2007/2008 Laboratorio II CdL: Operatore Informatico Giuridico
NetBeans Dott. Ing. Rossella Rubino rossella.rubino@unibo.it A.A. 2007/2008 Laboratorio II CdL: Operatore Informatico Giuridico Software necessario J2SE(TM) Development Kit (JDK) http://java.sun.com/javase/downloads/index.jsp
Dettaglihttp://www.indagini.assolombarda.it/myk-user-ui/begin.jsp?campaignuri=c3rvcmfn...
PERITO INFORMATICO Dati azienda Ragione sociale * Settore Classe dimensionale Seleziona un'opzione Seleziona un'opzione CAP Località - es. 20100 (per Milano) - Associazione di appartenenza * E' possibile
DettagliTECNICO PER L?AUTOMAZIONE INDUSTRIALE
Denominazione Figura / Profilo / Obiettivo Professioni NUP/ISTAT correlate TECNICO PER L AUTOMAZIONE INDUSTRIALE 6. - Artigiani, operai specializzati e agricoltori 6.2.3 - Meccanici artigianali, montatori,
DettagliREPERTORIO DELLE QUALIFICAZIONI PROFESSIONALI DELLA REGIONE CAMPANIA
REPERTORIO DELLE QUALIFICAZIONI PROFESSIONALI DELLA REGIONE CAMPANIA SETTORE ECONOMICO PROFESSIONALE 1 Servizi di informatica Processo Sviluppo e gestione di prodotti e servizi informatici Sequenza di
DettagliIn passato, occuparsi di informatica era sinonimo di programmare computer
Programmare =? In passato, occuparsi di informatica era sinonimo di programmare computer attività poco stimolante, atto finale di un processo dove le fasi creative - analisi e progetto - sono già avvenute
DettagliSommario 1 Introduzione progetto Soluzione Integrazione Conclusioni... 10
SISS SUITE Sommario 1 Introduzione... 3 2 progetto... 3 3 Soluzione... 3 4 Integrazione... 10 5 Conclusioni... 10 2 1 INTRODUZIONE L OMNICOM SISS Suite è una libreria DLL espressamente concepita per facilitare
DettagliDISPENSE DI PROGRAMMAZIONE
DISPENSE DI PROGRAMMAZIONE Modulo 1 Risolvere problemi con l elaboratore: dal problema all algoritmo (Parte II) I Linguaggi di descrizione degli algoritmi - Notazioni grafiche (parte 1) Il linguaggio dei
DettagliA1.2 - Utilizzare programmi applicativi per il monitoraggio ed il collaudo di sistemi elettronici.
Programma effettivamente svolto Sez.D COMPETENZE (da linee guida DPR 15/03/2010, art. 8 comma 3 e direttiva 4 del 16 gennaio 2012) K1 - utilizzare la strumentazione di laboratorio e di settore e applicare
DettagliIntroduzione. Sommario. Il software. Definizione di Ingegneria del software
Sommario Introduzione Leggere Cap. 1 Ghezzi et al. Definizione Nascita dell ingegneria del software Ruolo Relazione con altre discipline Introduzione 2 Il software Il software e` definito come: i programmi,
DettagliTecnico per l automazione industriale. Standard della Figura nazionale
Tecnico per l industriale Standard della Figura nazionale Denominazione della figura TECNICO PER L AUTOMAZIONE INDUSTRIALE Referenziazioni della figura Professioni NUP/ISTAT correlate 6. Artigiani, operai
DettagliTechnical Document Release Version 1.0. Product Sheet. MediaLogger. Controllo e Gestione Dispositivi
Technical Document Release Version 1.0 Product Sheet MediaLogger Controllo e Gestione Dispositivi MediaLogger Application Module MediaLogger MediaLogger è il prodotto SI Media pensato per la registrazione
DettagliAREA PROFESSIONALE DI RIFERIMENTO 9. TECNICO PER L AUTOMAZIONE INDUSTRIALE. Nomenclatura delle Unità Professioni (NUP/ISTAT):
AREA PROFESSIONALE DI RIFERIMENTO Denominazione della figura 9. TECNICO PER L AUTOMAZIONE INDUSTRIALE Referenziazioni della figura Nomenclatura delle Unità Professioni (NUP/ISTAT): 6. Artigiani, operai
DettagliLaboratorio Reti di Calcolatori Laurea Triennale in Comunicazione Digitale. Anno Accademico 2013/2014
Laboratorio Reti di Calcolatori Laurea Triennale in Comunicazione Digitale Anno Accademico 2013/2014 Account Provvisorio User: RETI Psw: 2013 Accedi a : CSD 172.16.19.24/registrati Aspetti Organizzativi
DettagliUML come abbozzo. Introduzione all UML. UML come linguaggio x programmi. UML come progetto dettagliato
Introduzione all UML UML come abbozzo UML - Unified Modeling Language E una famiglia di notazioni grafiche per la modellazione visuale del software Modellazione: rappresentazione di elementi che corrispondono
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)
DettagliLaboratorio di Progettazione di Sistemi Software Introduzione
Laboratorio di Progettazione di Sistemi Software Introduzione Valentina Presutti (A-L) Riccardo Solmi (M-Z) Indice degli argomenti Introduzione all Ingegneria del Software UML Design Patterns Refactoring
DettagliUML. Il linguaggio UML e ArgoUML. Ingegneria dei sistemi software 2009/ /09/2009
UML Il linguaggio UML e ArgoUML 30/09/2009 Ingegneria dei sistemi software 2009/2010 manuel.comparetti@iet.unipi.it UML Unified Modeling Language una famiglia di notazioni grafiche standardizzate* orientata
DettagliIntroduzione. Fondamenti di Informatica 1. Dispensa 1 Gennaio Contenuti. Alfonso Miola. K Corso di Fondamenti di Informatica 1
Alfonso Miola Dispensa 1 Gennaio 2001 1 Contenuti K Corso di K Programma del corso K Materiale didattico K Organizzazione didattica K Attività di laboratorio K Prove di valutazione ed esami 2 Corso di
Dettagli