Valutazione sperimentale di tecniche di testing per software in relazione ai tipi di guasti
|
|
- Taddeo Gattini
- 8 anni fa
- Visualizzazioni
Transcript
1 tesi di laurea Valutazione sperimentale di tecniche di testing per software Anno Accademico 2008/2009 relatore Ch.mo prof. Stefano Russo correlatore Ing. Roberto Pietrantuono candidato Giuseppe Scafuti Matr. 885/187
2 Contesto Il è una fase fondamentale del ciclo di sviluppo software finalizzata a rilevare guasti e migliorare la qualità Selezione delle tecniche di testing migliori per il sistema Necessità di studi comparativi: Teorici vs Empirici Insufficienza di studi empirici: Complessità Costo Obiettivo La valutazione sperimentale di tecniche di testing in termini di: Efficienza Costo Comportamento per tipo di guasto Fornire dei criteri per migliorare l efficienza del processo di
3 Background Tecniche di testing comparate: Stress Robustness Functional Statistical Tipi di guasti ( fault ) : Orthogonal Defect Classification ( ODC ) Evita descrizioni di fault (defect) ambigue e prolisse Insieme di classi di defect ortogonali ODC Class Defect Assignment Checking Interface Algorithm Function Descrizione Assegnazioni omesse o/e non corrette Errata gestione di condizioni logiche, range di valori Errata gestione delle interazioni tra moduli, liste di parametri Zone di codice non corrette da reimplementare senza cambiamenti formali di progettazione Zone di codice non corrette che necessitano di riprogettazione
4 Obiettivi della Comparazione Efficienza A. Quale tecnica di rileva la percentuale maggiore di fault? B. Cosa influenza l Efficienza delle tecniche di testing? Costo A. Quale tecnica fornisce il miglior Detection Rate (Numero di fault rilevati per ora)? B. Cosa influenza il Detection Rate delle tecniche di testing? Efficienza per tipi di guasti ODC A. Quale tecnica presenta una buona efficienza per vari tipi di fault? Trade-off Efficienza vs Costo
5 Design of Experiments (DoE) Selezione delle Variabili ( o fattori ) Dipendenti ( o di risposta ): Variabile dipendente Efficienza Detection Rate Efficienza per tipo di fault Metrica Percentuale di fault rilevati Numero di fault rilevati per ora Percentuale di fault rilevati per tipo Selezione delle Variabili ( o fattori ) Indipendenti (V.I. V.I.) : V.I. Continua Range Assignment 11% 31% Checking 15% 35% Interface 0% 17% Algorithm 30% 50% Function 0% 16% V. I. Categorica Tecniche di Tipo di Software Quantità di fault Robustness Trattamenti Stress Statistical Functional Apache MySQL Samba Alto Medio Basso
6 Numero Esperimenti: 16 Campagna di Fault Injection per: Esecuzione degli Esperimenti Analisi dell efficienza per tipo di fault Generazione delle versioni bacate dei software Calcolo Percentuale di fault totali rilevati ( Efficienza ) Tecnica utilizzata: Software Mutation Software Fault Injection ( SFI ) tool C/C++ Source file Software Fault Injection tool (SFI)
7 Analisi dei Dati OBIETTIVO: Individuare i Fattori Indipendenti che influenzano le Variabili di Risposta Fase A: A.1 Analisi della Varianza ( fattori indipendenti categorici ) Correlazione ( fattori indipendenti continui) A.2 Prove di Convalida: Leverage degli effetti sui dati interpolati con modello lineare di regressione multipla Fase B: Test di Tukey per confronti multipli (protezione del 95%) Verifica delle Assunzioni Analisi della Varianza (ANOVA) 1. Indipendenza degli esperimenti 2. Omoschedasticità delle varianze dei fattori su cui è applicato il test Modello di Regressione Lineare Multipla 1. Omoschedasticità 2. Normalità dei Residui 3. Incorrelazione tra variabili indipendenti e residui
8 Analisi dei Dati Detection Rate: Quantità di fault, fattore di influenza principale Detection Rate simile ( eccetto il Robustness ) Indipendenza dal Target Applicativo ( tipo di Software ) Quantità di fault Media (#fault/ora) Dev. Std Basso 0,48 0,05 Medio 1,02 0,40 Alto 1,34 0,40 Efficienza : Functional e Statistical statisticamente non differenti Robustness statisticamente differente Risultati contrastanti per Quantità di fault e tipo di Software Tecniche di Media (%fault rilevati) Dev. Std Functional 73,12 3,68 Statistical 67,43 7,9 Stress 59,82 6,07 Robustness 36,11 13,25
9 Facoltà di Ingegneria Efficienza per tipi di fault ODC: Analisi dei Dati Quantità di fault influenza Efficienza Interface e Algorithm fault Indipendenza dal Target Applicativo Efficienza Checking fault dipende dalla distribuzione tra Interface e Assignment fault Percentuale di fault rilevati Efficienza per tipi di fault ODC Assignment Checking Algorithm Interface Function Tipologie di fault ODC Functional Statistical Stress Robustness
10 Analisi dei dati MANOVA ( Analisi della Varianza Multivariata ) Efficienza e Detection Rate sono influenzati contemporaneamente datecniche di e Quantità di fault AVC ( Analisi delle Variabili Canoniche ) I vari livelli di Quantità di Fault influenzano principalmente Il Detection Rate Lo Statistical influisce positivamente su entrambe le variabili di Risposta Lo Stress influenza principalmente il Detection Rate
11 Conclusioni Efficienza delle tecniche di testing: Quantità di fault ( fattore di influenza limitata) Indipendenza dal target applicativo Detection Rate delle tecniche di testing: Quantità di fault ( fattore di influenza principale ) Indipendenza dal target applicativo Simile per le varie tecniche (eccetto Robustness testing ) Functional e Statistical presentano una migliore efficienza Robustness rileva una bassa percentuale di fault Tuttavia è particolarmente efficiente nel rilevare specifiche classi di fault Abbinare Statistical e Stress per avere migliore efficienza in tutte le classi di fault e costo contenuto
Progettazione di un tool a supporto di un metodo per la selezione delle tecniche di test
tesi di laurea Progettazione di un tool a supporto di un metodo per la selezione delle Anno Accademico 2011/2012 relatore Ch.mo prof. Roberto Pietrantuono candidato Franco Crimaldi Matr. 534001692 Contesto
DettagliStrategie per il miglioramento dei log applicativi basate su Software Fault Injection
tesi di laurea Anno Accademico 2010/2011 relatore Ch.mo prof. Marcello Cinque correlatore Ing. Roberto Natella candidato Daniele Esposito Matr. 534/003280 Introduzione Software Fault: difetti presenti
DettagliUn approccio innovativo alla tecnica di robustness testing del sistema operativo Linux
tesi di laurea Un approccio innovativo alla tecnica di robustness testing del sistema Anno Accademico 2009/2010 relatore Ch.mo prof. Domenico Cotroneo correlatori Ing. Domenico Di Leo Ing. Roberto Natella
DettagliTesi di Laurea Automazione del testing delle Interfacce utente di applicazioni WEB:
Tesi di Laurea Automazione del testing delle Interfacce utente di applicazioni WEB: un caso di studio Anno accademico 2009 / 2010 Relatore Ch.mo prof. Porfirio Tramontana Correlatore Ch.mo Ing. Domenico
DettagliRealizzazione di un Tool per l iniezione automatica di difetti all interno di codice Javascript
tesi di laurea di difetti all interno di codice Javascript Anno Accademico 2009/2010 relatore Ch.mo prof. Porfirio Tramontana correlatore Ch.mo ing. Domenico Amalfitano candidato Vincenzo Riccio Matr.
DettagliSommario. Capitolo 1 Impiego della statistica per la gestione dell azienda 1. Capitolo 2 Disponibilità e produzione delle informazioni statistiche 19
Prefazione XI Capitolo 1 Impiego della statistica per la gestione dell azienda 1 1.1 Premessa 1 1.2 Il ruolo della statistica a supporto del processo decisionale del manager 3 1.3 L impiego della statistica
DettagliUna metodologia per la definizione dei livelli di criticità dei componenti di un sistema software complesso
tesi di laurea Anno Accademico 2006/2007 relatore Ch.mo Prof. Massimo Ficco correlatore Ing. Roberto Pietrantuono candidato Antonio Pecchia Matr. 885/108 Sistemi safety-critical Sistemi complessi i cui
DettagliStrumento per l iniezione di guasti software nel sistema operativo GNU/Linux
Tesi di laurea Strumento per l iniezione di guasti software nel sistema operativo GNU/Linux Anno Accademico 2009/2010 Relatore Ch.mo prof. Marcello Cinque Correlatore Ch.mo ing. Roberto Natella Candidato
DettagliProgettazione e sviluppo di uno strumento di monitoraggio dei componenti software di un sistema per il controllo del traffico aereo
tesi di laurea Progettazione e sviluppo di uno strumento di monitoraggio dei componenti software di un sistema per il controllo del traffico aereo Anno Accademico 2007/2008 relatore Ch.mo prof. Domenico
DettagliAnalisi empirica dei meccanismi di log in sistemi open-source!
tesi di laurea! Analisi empirica dei meccanismi di log in sistemi open-source! Anno Accademico 2010/2011! relatore! Ch.mo prof. Domenico Cotroneo! Correlatore! Ing. Antonio Pecchia! Candidato! Assunta
DettagliAnalisi sperimentale di software aging nel kernel Linux
Tesi di laurea specialistica Anno Accademico 2008/09 Relatore Ch.mo Prof. Stefano Russo Correlatori Ing. Roberto Natella Ing. Roberto Pietrantuono Candidato Berniero Volzone Matr.: 885/288 1 Contesto Software
Dettaglitesi di laurea Anno Accademico 2009/2010 relatore Ch.mo prof. Porfirio Tramontana candidato Pasquale Ludi Matr. 534\000438
tesi di laurea Anno Accademico 2009/2010 relatore Ch.mo prof. Porfirio Tramontana candidato Pasquale Ludi Matr. 534\000438 Obbiettivi del progetto: Sviluppo di un applicazione Flex in AdobeFlashBuilder
DettagliMetodologie statistiche in manutenzione
M in in > Statistica di base per la > FMECA per la alla generali Sviluppare una sensibilità al valore aggiunto derivante da un applicazione di metodi e tecniche statistiche in Fornire conoscenze specifiche
DettagliIl Pattern MVC nei Framework di sviluppo per applicazioni Web. Analisi e comparazione di SPRING MVC Framework e ASP.NET MVC Framework.
tesi di laurea Il Pattern MVC nei Framework di sviluppo per applicazioni Web. Analisi e comparazione di SPRING MVC Framework e ASP.NET MVC Framework. Anno Accademico 2008/2009 relatore Ch.mo prof. Porfirio
DettagliAnalisi dei dati MLPA con il nuovo Coffalyser.NET. MRC-Holland
Analisi dei dati MLPA con il nuovo Coffalyser.NET MRC-Holland Contenuti Che cos è il Coffalyser.NET Analisi dei frammenti e del Copy number Interpretazione dei dati Che cos è il Cofffalyser.NET Software
DettagliUn architettura per la gestione dei log di applicazioni distribuite
tesi di laurea Anno Accademico: 2007/2008 relatore Ch.mo prof. Domenico Cotroneo correlatore Ing. Antonio Strano candidato Renato Riccio Matr. 534/2116 Contesto applicativo e problematiche Applicazioni
DettagliSMD: a sensor data distribution service for FIN-BOX middleware for the interoperability in systems of systems Anno Accademico 2011/2012
tesi di laurea specialistica SMD: a sensor data distribution service for FIN-BOX middleware for the Anno Accademico 2011/2012 relatore Ch.mo prof. Stefano Russo correlatori Ch.mo prof. Domenico Cotroneo
DettagliIndice. pag. 15. Prefazione. Introduzione» 17
Indice Prefazione 15 Introduzione 17 1. Pianificazione della qualità 1.1. Il concetto di 6 sigma 1.1.1. Le aree e le fasi del sei sigma 1.2. I processi produttivi e la variabilità 1.2.1. Cause comuni 1.2.2.
DettagliSistemi elettronici per la sicurezza dei veicoli: presente e futuro. Il ruolo della norma ISO 26262 per la Sicurezza Funzionale
La Sicurezza Funzionale del Software Prof. Riccardo Sisto Ordinario di Sistemi di Elaborazione delle Informazioni Dipartimento di Automatica e Informatica Sicurezza Funzionale del Vari Aspetti Sicurezza
DettagliMetodologie statistiche in manutenzione
M in in > Statistica di base per la > FMECA per la alla generali Sviluppare una sensibilità al valore aggiunto derivante da un applicazione di metodi e tecniche statistiche in Fornire conoscenze specifiche
DettagliUn framework a supporto della sperimentazione di tecniche euristiche. per l ottimizzazione di pagine Web per Screen Readers
tesi di laurea Un framework a supporto della sperimentazione di tecniche euristiche Anno Accademico 2007/2008 relatore Ch.mo prof. Porfirio Tramontana relatore Ch.mo prof. Porfirio Tramontana candidato
DettagliRelazioni tra variabili
Università degli Studi di Padova Facoltà di Medicina e Chirurgia Corso di Laurea in Medicina e Chirurgia - A.A. 009-10 Scuole di specializzazione in: Medicina Legale, Medicina del Lavoro, Igiene e Medicina
DettagliMemorizzazione affidabile di dati in un ambiente di Griglia 2006-2007
tesi di laurea Memorizzazione affidabile di dati in un ambiente di Griglia 2006-2007 relatore Ch.mo prof. Domenico Cotroneo correlatore Ing. Generoso Paolillo candidato Luigi Abate Matr. 041-3145 Contesto
DettagliSviluppo di processi per l automatizzazione del testing per applicazioni Android
tesi di laurea Sviluppo di processi per l automatizzazione del testing per applicazioni Anno Accademico 2011/2012 relatori Ch.mo prof. Porfirio Tramontana candidato Enrico Solimeo Matr. 534002361 Contesto:
DettagliAnalisi e sviluppo di un sistema automatico per la segnalazione di stati anomali dei job del Data Center S.Co.P.E.
Tesi di Laurea Analisi e sviluppo di un sistema automatico per la segnalazione di stati anomali dei job del Data Center S.Co.P.E. Anno Accademico 2011/2012 Relatore Ch.mo prof. Marcello Cinque Correlatore
DettagliAnalisi di prestazioni di applicazioni web in ambiente virtualizzato
tesi di laurea Anno Accademico 2005/2006 relatore Ch.mo prof. Porfirio Tramontana correlatore Ing. Andrea Toigo in collaborazione con candidato Antonio Trapanese Matr. 534/1485 La virtualizzazione è un
DettagliUNIVERSITA DI PISA FACOLTA DI INGEGNERIA CORSO DI LAUREA IN INGEGNERIA ELETTRONICA ANNO ACCADEMICO 2004-2005 TESI DI LAUREA
UNIVERSITA DI PISA FACOLTA DI INGEGNERIA CORSO DI LAUREA IN INGEGNERIA ELETTRONICA ANNO ACCADEMICO 2004-2005 TESI DI LAUREA SVILUPPO DI METODI DECONVOLUTIVI PER L INDIVIDUAZIONE DI SORGENTI INDIPENDENTI
DettagliTesi Di Laurea. Anno Accademico 2010/2011. relatore Ch.mo prof. Cinque Marcello. correlatore Ch.mo Ing. Catello Cacace
Tesi Di Laurea Progettazione e Realizzazione di un Applicazione Web per la Gestione di Dati relativi ad Interventi Chirurgici Anno Accademico 2010/2011 relatore Ch.mo prof. Cinque Marcello correlatore
DettagliUN SUPPORTO AUTOMATICO PER LA RACCOLTA E L ANALISI DI DATI SPERIMENTALI DI UN MIDDLEWARE PER LA DISTRIBUZIONE DI DATI
tesi di laurea UN SUPPORTO AUTOMATICO PER LA RACCOLTA E L ANALISI DI DATI SPERIMENTALI DI UN MIDDLEWARE PER LA DISTRIBUZIONE DI DATI Anno Accademico 2006/2007 relatore Ch.mo prof. Domenico Cotroneo correlatore
Dettaglitesi di laurea Anno Accademico relatore Ch.mo prof. Stefano Russo correlatore Ing. Generoso Paolillo candidato Marco Leoni Matr.
tesi di laurea Progetto di un servizio distribuito di video streaming per Anno Accademico relatore Ch.mo prof. Stefano Russo correlatore Ing. Generoso Paolillo candidato Marco Leoni Matr. 534/431 Contesto:
DettagliReingegnerizzazione del processo di test nel contesto Exprivia
Facoltà di Scienze MM, FF, NN. Corso di laurea : Informatica e T. P. S. Tesi di laurea in Ingegneria del Software Reingegnerizzazione del processo di test nel contesto Exprivia Relatore : Prof. Giuseppe
Dettaglicon ANTLR tesi di laurea Anno Accademico 2007-2008 Relatore Ch.mo prof. Porfirio Tramontana Candidato Fabio Canova Matr. 534001505
tesi di laurea con ANTLR Anno Accademico 2007-2008 Relatore Ch.mo prof. Porfirio Tramontana Candidato Fabio Canova Matr. 534001505 Obiettivo Analisi statica di codice sorgente, realizzato in javascript,
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.
DettagliIl sistema operativo TinyOS
tesi di laurea Anno Accademico 2005/2006 relatore Ch.mo prof. Domenico Cotroneo candidato Giovanni Chierchia Matr. 534 / 804 ::. Obiettivi del lavoro di tesi Studio del sistema operativo TinyOS Studio
DettagliUn sistema di identificazione basato su tecnologia RFID
tesi di laurea Anno Accademico 2005/2006 relatore Ch.mo prof. Stefano Russo correlatore Ch.mo prof. Massimo Ficco candidato Alessandro Ciasullo Matr. 831/166 Obiettivo Progettazione ed implementazione
DettagliUno strumento per l emulazione di fallimenti hardware in sistemi virtualizzati
Tesi di laurea magistrale Uno strumento per l emulazione di fallimenti hardware in sistemi virtualizzati Anno Accademico 2012/2013 relatore Ch.mo prof. Marcello Cinque Ing. Antonio Pecchia correlatore
DettagliUno strumento per il deployment automatico di performance test su piattaforme per la distribuzione di dati
tesi di laurea Anno Accademico 2006/2007 relatore Ch.mo prof. Domenico Controneo correlatore Ing. Christiancarmine Esposito candidato Antonella Niola Matr. 534/158 .:: Contesto ::. www.cosmiclab.it Il
DettagliRealizzazione di un framework di monitoring per l'analisi di sistemi critici Anno Accademico 2013/2014
tesi di laurea specialistica Realizzazione di un framework di monitoring per l'analisi di sistemi critici Anno Accademico 2013/2014 relatore Ch.mo Prof. Domenico Cotroneo correlatore Ch.mo ing. Antonio
DettagliGrid on Cloud : Implementazione e Monitoraggio
Tesi di Laurea Magistrale Anno Accademico 2013-2014 Relatore Ch.mo Prof. Marcello Cinque Correlatori Ch.mo Ing. Flavio Frattini Ch.mo Ing. Davide Bottalico Candidato Antonio Nappi Matr. M63000141 Supercalcolatori
DettagliUn Sistema Informativo per il Monitoraggio di Apparati Radar mediante l uso di Griglie Computazionali
tesi di laurea Un Sistema Informativo per il Monitoraggio di Apparati Radar Anno Accademico 2008/2009 relatore Ch.mo prof. Stefano Russo correlatore Ing. Generoso Paolillo candidato Vincenzo Carletti Matr.
DettagliCATALOGO CORSI BASE MINITAB
CATALOGO CORSI BASE MINITAB Corsi di formazione per professionisti che lavorano nel settore della qualità e del miglioramento dei processi. GMSL è certificata quale Certified Trainer per corsi Minitab,
Dettagli4. Confronto tra medie di tre o più campioni indipendenti
BIOSTATISTICA 4. Confronto tra medie di tre o più campioni indipendenti Marta Blangiardo, Imperial College, London Department of Epidemiology and Public Health m.blangiardo@imperial.ac.uk MARTA BLANGIARDO
DettagliAutomazione Industriale (scheduling+mms) scheduling+mms. adacher@dia.uniroma3.it
Automazione Industriale (scheduling+mms) scheduling+mms adacher@dia.uniroma3.it Introduzione Sistemi e Modelli Lo studio e l analisi di sistemi tramite una rappresentazione astratta o una sua formalizzazione
DettagliCapitolo 12 La regressione lineare semplice
Levine, Krehbiel, Berenson Statistica II ed. 2006 Apogeo Capitolo 12 La regressione lineare semplice Insegnamento: Statistica Corso di Laurea Triennale in Economia Facoltà di Economia, Università di Ferrara
DettagliTitolo della tesi Testing Black Box di un Web Service : sperimentazione su di un servizio con stato
tesi di laurea Titolo della tesi Testing Black Box di un Web Service : sperimentazione su di un servizio con stato Anno Accademico 2005/2006 relatore Ch.mo prof. Porfirio Tramontana candidato Giuseppe
DettagliStrumenti per la gestione della configurazione del software
tesi di laurea Anno Accademico 2005/2006 relatore Ch.mo prof. Porfirio Tramontana correlatore Ch.mo ing. Luigi Suarato candidato Pasquale Palumbo Matr. 534/000021 MANUTENZIONE DEL SOFTWARE Il Configuration
DettagliUniversità degli Studi Roma Tre
Università degli Studi Roma Tre FACOLTÀ DI INGEGNERIA CORSO DI LAUREA SPECIALISTICA IN INGEGNERIA MECCANICA DIPARTIMENTO DI INGEGNERIA MECCANICA LABORATORIO DI TERMODINAMICA APPLICATA AI SISTEMI ENERGETICI
DettagliAssicurazione di qualità dei dati di monitoraggio ecologico delle acque superficiali interne
Assicurazione di qualità dei dati di monitoraggio ecologico delle acque superficiali interne Stato ecologico dei fiumi ai sensi della Direttiva 2000/60/CE: valutazione della qualità del dato ISPRA 30 novembre
DettagliPiacenza, 10 marzo 2014 La preparazione della tesi di Laurea Magistrale
Piacenza, 0 marzo 204 La preparazione della tesi di Laurea Magistrale ma questa statistica a che cosa serve? non vedo l ora di cominciare a lavorare per la tesi. e dimenticarmi la statistica!! il mio relatore
DettagliFACOLTÀ DI INGEGNERIA CORSO DI LAUREA IN INGEGNERIA INFORMATICA DIPARTIMENTO DI INFORMATICA E SISTEMISTICA. Presentazione
UNIVERSITÀ DEGLI STUDI DI NAPOLI FEDERICO II FACOLTÀ DI INGEGNERIA CORSO DI LAUREA IN INGEGNERIA INFORMATICA DIPARTIMENTO DI INFORMATICA E SISTEMISTICA Presentazione Tesi di Laurea in Misure per l Automazione
DettagliAnalisi della dependability di un middleware per la
tesi di laurea Analisi della dependability di un middleware per la distribuzione ib i dei dati conforme allo standard d OMG Anno Accademico 2005-2006 relatori Ch.mo prof. Stefano Russo Ch.mo prof. Domenico
DettagliUna Soluzione di NAT Traversal per un sistema di comunicazione VOIP per una PMI
tesi di laurea Una Soluzione di NAT Traversal per un sistema di comunicazione VOIP per una PMI 2005-2006 relatore Ch.mo prof. Massimo Ficco correlatore Ch.mo prof. Giuseppe Cinque candidato Vincenzo Golia
DettagliConfronto sperimentale tra tecniche di testing automatico per applicazioni Android
Tesi di laurea in Ingegneria del Software Confronto sperimentale tra tecniche di testing automatico per applicazioni Anno Accademico 2011/2012 Relatore Ch.mo prof. Porfirio Tramontana Correlatore Ing.
DettagliUn architettura di servizi integrati di comunicazione su rete IP per una PMI
tesi di laurea Un architettura di servizi integrati di comunicazione su rete IP per una Anno Accademico 2005/2006 relatore Ch.mo Prof. Massimo Ficco correlatore Ch.mo Prof. Stefano Russo candidato Raffaele
DettagliPrincipi e strumenti dell autovalutazione della scuola. Milano, 2013
Principi e strumenti dell autovalutazione della scuola Milano, 2013 SISTEMA DI MISURAZIONE PERCHE MISURARE: per conoscere la propria posizione verso gli obiettivi per permettere il miglioramento continuo
DettagliINDICE PREFAZIONE VII
INDICE PREFAZIONE VII CAPITOLO 1. LA STATISTICA E I CONCETTI FONDAMENTALI 1 1.1. Un po di storia 3 1.2. Fenomeno collettivo, popolazione, unità statistica 4 1.3. Caratteri e modalità 6 1.4. Classificazione
Dettagli11. Evoluzione del Software
11. Evoluzione del Software Andrea Polini Ingegneria del Software Corso di Laurea in Informatica (Ingegneria del Software) 11. Evoluzione del Software 1 / 21 Evoluzione del Software - generalità Cosa,
DettagliBase di dati e sistemi informativi
Base di dati e sistemi informativi Una base di dati è un insieme organizzato di dati opportunamente strutturato per lo svolgimento di determinate attività La base di dati è un elemento fondamentale per
DettagliVerifica di ipotesi e intervalli di confidenza nella regressione multipla
Verifica di ipotesi e intervalli di confidenza nella regressione multipla Eduardo Rossi 2 2 Università di Pavia (Italy) Maggio 2014 Rossi MRLM Econometria - 2014 1 / 23 Sommario Variabili di controllo
DettagliAnalisi e sviluppo di un componente per un ESB open source
tesi di laurea Anno Accademico 2010/2011 relatore Ch.mo prof. Porfirio Tramontana correlatore Ing. Ciro Romano candidato Rosario Celotto Matr. 534/1459 Introduzione L attività svolta è stata l analisi
Dettaglicome nasce una ricerca
PSICOLOGIA SOCIALE lez. 2 RICERCA SCIENTIFICA O SENSO COMUNE? Paola Magnano paola.magnano@unikore.it ricevimento: martedì ore 10-11 c/o Studio 16, piano -1 PSICOLOGIA SOCIALE COME SCIENZA EMPIRICA le sue
DettagliRealizzazione di un tool di instrumentazione automatica a supporto della failure analysis
tesi di laurea Realizzazione di un tool di instrumentazione automatica a supporto della failure analysis Anno Accademico 2011/2012 relatore Ch.mo prof. Domenico Cotroneo correlatore Ing. Antonio Pecchia
DettagliTesi di laurea triennale. Anno Accademico 2010/2011. Relatore Ch.mo prof. Porfirio TRAMONTANA. Correlatore Ch.mo Sig.
Tesi di laurea triennale Creazione, gestione e risoluzione delle problematiche relative ai flussi di stampa e postalizzazione massivi di fatture e comunicazioni alla clientela: Porting SpeedPost. Anno
DettagliExcel Terza parte. Excel 2003
Excel Terza parte Excel 2003 TABELLA PIVOT Selezioniamo tutti i dati (con le relative etichette) Dati Rapporto tabella pivot e grafico pivot Fine 2 La tabella pivot viene messa di default in una pagina
DettagliMetodi Statistici di Controllo della Qualità Prof. Paolo Cozzucoli
Programma dell insegnamento di Metodi Statistici di Controllo della Qualità Prof. Paolo Cozzucoli Corso di Laurea in Metodi Quantitativi per l Economia e la Gestione delle Aziende A.A. 2007-08 Disciplina
DettagliIndice I INTRODUZIONE E RICHIAMI 1
vii Indice I INTRODUZIONE E RICHIAMI 1 1 Introduzione 3 1.1 La dependability.......................... 4 1.1.1 Le Minacce: guasti, errori e fallimenti.......... 5 1.1.2 Gli attributi della dependability.............
DettagliDimensionamento di massima di un motore diesel bicilindrico 2T senza manutenzione per aviazione ultraleggera
UNIVERSITA' DI BOLOGNA FACOLTA DI INGEGNERIA CORSO DI LAUREA IN INGEGNERIA MECCANICA INSEGNAMENTO: Disegno Tecnico Industriale Dimensionamento di massima di un motore diesel bicilindrico 2T senza manutenzione
DettagliMetodologie e tecnologie a supporto nello sviluppo di applicazioni mobile di tipo Enterprise!
tesi di laurea! Metodologie e tecnologie a supporto nello sviluppo di applicazioni mobile di Anno accademico 2012/2013! relatore! Ch.mo prof. Marcello Cinque! correlatore! Ch.mo Dennis Alessio Guidotti!
DettagliRiassunto della tesi di Laurea
Università degli Studi di Torino Facoltà di Agraria Corso di Laurea Specialistica in Agroecologia Curriculum Agroingegneria Gestionale e del Territorio Riassunto della tesi di Laurea IL MAIS COME FONTE
DettagliRealizzazione di un prototipo di un software web based per la gestione di un inventario comunale
tesi di laurea inventario comunale Anno Accademico 2009/2010 relatore Ch.mo prof. Porfirio Tramontana correlatore Ch.mo Ing. Luigi Pontillo candidato Michele Vitelli Matr. 534 2170 Redazione dell Inventario
DettagliCorrezione dell Esame di Statistica Descrittiva (Mod. B) 1 Appello - 28 Marzo 2007 Facoltà di Astronomia
Correzione dell Esame di Statistica Descrittiva (Mod. B) 1 Appello - 8 Marzo 007 Facoltà di Astronomia ESERCIZIO 1 La seguente tabella riporta la distribuzione congiunta della situazione lavorativa e dello
DettagliPresentazione. Risorse Web. Metodi Statistici 1
I-XVI Romane_ 27-10-2004 14:25 Pagina VII Prefazione Risorse Web XI XIII XVII Metodi Statistici 1 Capitolo 1 Tecniche Statistiche 3 1.1 Probabilità, Variabili Casuali e Statistica 3 1.1.1 Introduzione
Dettagli12. Evoluzione del Software
12. Evoluzione del Software Andrea Polini Ingegneria del Software Corso di Laurea in Informatica (Ingegneria del Software) 12. Evoluzione del Software 1 / 21 Evoluzione del Software - generalità Cosa,
DettagliIl tempo è un gigante. che, vinto dal torpore, giace addormentato tra svolazzi di farfalle in un campo di fiori gialli e rossi.
Il tempo è un gigante che, vinto dal torpore, giace addormentato tra svolazzi di farfalle in un campo di fiori gialli e rossi. UNIVERSITÀ DEGLI STUDI DI PISA Facoltà di Ingegneria Corso di Laurea in Ingegneria
Dettagli(anno accademico 2008-09)
Calcolo relazionale Prof Alberto Belussi Prof. Alberto Belussi (anno accademico 2008-09) Calcolo relazionale E un linguaggio di interrogazione o e dichiarativo: at specifica le proprietà del risultato
DettagliDoE - Design of Experiment
3 Tecniche di DoE DoE - Design of Experiment Sequenza di Prove Sperimentali da Effettuare per Studiare e Ottimizzare un Processo Un esperimento programmato è una prova o una serie di prove in cui vengono
DettagliINDICE: 1. Obiettivi, Campione, Strumenti 2. Risultati
INDICE: 1. Obiettivi, Campione, Strumenti 2. Risultati 2.1. Ricerca A 2.1.1. Formazione (acquisita e desiderata) 2.1.2. Rappresentazione del clima relazionale e della cooperazione sul posto di lavoro 2.1.3.
DettagliUN MODULO SOFTWARE PER LA ANALISI E PIANIFICAZIONE DELLA STAMPA ( AUDIPRESS)
UN MODULO SOFTWARE PER LA ANALISI E PIANIFICAZIONE DELLA STAMPA ( AUDIPRESS) TOM Micro e un software per la analisi e la pianificazione dei dati Audipress. E disponibile sia nella versione operativa su
DettagliStrumenti per il testing di applicazioni in ambiente Android
tesi di laurea Strumenti per il testing di applicazioni in ambiente Android Anno Accademico 2010\2011 relatore Ch.mo prof. Marcello Cinque candidato Nome Domenico Paone Matr. 534\003571 Android Testing
DettagliMisure Termotecniche
Percorso didattico del Tecnico Superiore per la gestione e la verifica di impianti energetici secondo l European Qualification Framework - EQF matrice EQF del Percorso in Misure Termotecniche Questa parte
DettagliDatabase. Si ringrazia Marco Bertini per le slides
Database Si ringrazia Marco Bertini per le slides Obiettivo Concetti base dati e informazioni cos è un database terminologia Modelli organizzativi flat file database relazionali Principi e linee guida
DettagliConfiguration Management
Configuration Management Obiettivi Obiettivo del Configuration Management è di fornire un modello logico dell infrastruttura informatica identificando, controllando, mantenendo e verificando le versioni
DettagliTRASMISSIONE DI POTENZA IN AMBITO ELICOTTERISTICO: ANALISI STATICA ED A FATICA DI UNA FUSIONE TRAMITE MODELLI AD ELEMENTI FINITI E PROVE STRUMENTALI.
Laurea Specialistica in Ingegneria Meccanica TRASMISSIONE DI POTENZA IN AMBITO ELICOTTERISTICO: ANALISI STATICA ED A FATICA DI UNA FUSIONE TRAMITE MODELLI AD ELEMENTI FINITI E PROVE STRUMENTALI. Relatore:
DettagliRAPPRESENTAZIONE GRAFICA E ANALISI DEI DATI SPERIMENTALI CON EXCEL
RAPPRESENTAZIONE GRAFICA E ANALISI DEI DATI SPERIMENTALI CON EXCEL 1 RAPPRESENTAZIONE GRAFICA Per l analisi dati con Excel si fa riferimento alla versione 2007 di Office, le versioni successive non differiscono
DettagliImplementazione di tecniche di tolleranza ai guasti in un middleware per la Data Distribution Service
tesi di laurea Implementazione di tecniche di tolleranza ai guasti in un middleware per la Data Distribution Service Anno Accademico 2005/2006 relatore Ch.mo prof. Domenico Cotroneo correlatore Ing. Ganna
DettagliRealizzazione di un applicazione per la stesura di un Business Plan
tesi di laurea Anno Accademico 2006/2007 relatore Ch.mo prof. Porfirio Tramontana candidato Vincenzo Malzone Matr. 534/1173 Obiettivi Realizzare un applicazione desktop per la stesura di un documento di
DettagliLa Metodologia adottata nel Corso
La Metodologia adottata nel Corso 1 Mission Statement + Glossario + Lista Funzionalià 3 Descrizione 6 Funzionalità 2 Schema 4 Schema 5 concettuale Logico EA Relazionale Codice Transazioni In PL/SQL Schema
DettagliPROGRAMMA. Borse di studio riservate a elementi con orientamento nelle discipline economico-aziendali lett. A dell art.
PROGRAMMA Borse di studio riservate a elementi con orientamento nelle discipline economico-aziendali lett. A dell art. 1 del bando EVENTUALE TEST PRESELETTIVO su tutte le materie previste per la prova
DettagliTecniche di riuso del software: applicazione ad un caso di studio reale
tesi di laurea Tecniche di riuso del software: applicazione ad un caso di studio reale Anno Accademico 2005-2006 relatore Ch.mo prof. Porfirio Tramontana correlatore Sig. Mario Polverino candidato Luigi
DettagliENERGE S.r.l via Caduti 56 24020 Cene (BG) Tel 035719287 Fax 035 719390 www.energe.it info@energe.it
ENERGE Frutto della sinergia di professionisti, ingegneri e tecnici, costantemente impegnati nella ricerca e valutazione dell efficienza energetica degli edifici e degli impianti e nella promozione di
DettagliUniversità degli Studi di Napoli Federico II Facoltà di Ingegneria. Corso di. Sistemi Distribuiti. Prof. Stefano Russo. Field Failure Data Analysis
Università degli Studi di Napoli Federico II Facoltà di Ingegneria Corso di Sistemi Distribuiti Prof. Stefano Russo Domenico Cotroneo Failure Data Analysis (FDA) (1/2) I mezzi per la dependability possono
DettagliProgrammazione Disciplinare: Calcolo Classe: Quarte - Quinte
Istituto Tecnico Tecnologico Basilio Focaccia Salerno Programmazione Disciplinare: Calcolo Classe: Quarte - Quinte Anno scolastico 01-01 I Docenti della Disciplina Salerno, settembre 01 Anno scolastico
DettagliUn sistema di identificazione basato sulla tecnologia RFID
tesi di laurea Un sistema di identificazione basato sulla tecnologia RFID Anno Accademico 2005-2006 relatore Ch.mo prof. Stefano Russo correlatore Ch.mo prof. Massimo Ficco candidato Giacomo Scibelli Matr.
DettagliAllegato A al CCNL 2006/2009 comparto Ministeri
Allegato A al CCNL 2006/2009 comparto Ministeri AREA FUNZIONALE PRIMA ( ex A1 e A1S ) Appartengono a questa Area funzionale i lavoratori che svolgono attività ausiliarie, ovvero lavoratori che svolgono
DettagliRealizzazione di un sistema di logging prototipale per la piattaforma
tesi di laurea Realizzazione di un sistema di logging prototipale per la piattaforma Android Anno Accademico 2011 / 2012 relatore Ch.mo prof. Marcello Cinque candidato Dario De Meis Matr. 528 / 741 Smartphone
DettagliUn applicazione client per la localizzazione via Bluetooth e Wi-Fi di dispositivi Smartphone Anno Accademico 2005/2006
tesi di laurea Un applicazione client per la localizzazione via Bluetooth e Wi-Fi di dispositivi Anno Accademico 2005/2006 relatore Ch.mo prof. Stefano Russo correlatore Ing. Massimo Ficco candidato Giorgio
DettagliRealizzazione di uno strumento web-based per la simulazione remota di reti di sensori senza filo
tesi di laurea Realizzazione di uno strumento web-based per la simulazione remota di reti di sensori senza filo Anno Accademico 2009/2010 relatore Ch.mo prof. Marcello Cinque correlatore Ing. Catello di
DettagliI Metodi statistici utili nel miglioramento della qualità 27
Prefazione xiii 1 Il miglioramento della qualità nel moderno ambiente produttivo 1 1.1 Significato dei termini qualità e miglioramento della qualità 1 1.1.1 Le componenti della qualità 2 1.1.2 Terminologia
DettagliSTUDIO DI MASSIMA DI UN DIESEL AD ALTE PRESTAZIONI
Università degli Studi di Bologna FACOLTA DI INGEGNERIA CORSO DI LAUREA IN INGEGNERIA MECCANICA Elaborato Finale di Laurea in Laboratorio di CAD STUDIO DI MASSIMA DI UN DIESEL AD ALTE PRESTAZIONI Candidato
DettagliStatistica Aziendale Avanzata
PROGRAMMA del corso, informazioni e fonti bibliografiche Statistica Aziendale Avanzata Modulo A / Modulo B Organizzazione del corso Anno Accademico 2014/15 Codice 91019 Docente responsabile prof.ssa Silvia
Dettagli