2. Docenti
  3. PALOMBA Fabio
  4. Didattica

SOFTWARE DEPENDABILITY

Fabio PALOMBA SOFTWARE DEPENDABILITY

0522500119
DIPARTIMENTO DI INFORMATICA
CORSO DI LAUREA MAGISTRALE
INFORMATICA
2020/2021



OBBLIGATORIO
ANNO CORSO 1
ANNO ORDINAMENTO 2016
SECONDO SEMESTRE
CFUOREATTIVITÀ
945LEZIONE
FABIO PALOMBA T Curriculum
Obiettivi
L'OBIETTIVO FORMATIVO DELL'INSEGNAMENTO È QUELLO DI FORNIRE LE METODOLOGIE E LE TECNICHE DI ANALISI, PROGETTAZIONE E VERIFICA DI AFFIDABILITÀ DEL SOFTWARE. IN PARTICOLARE, TALI CONCETTI VENGONO AFFRONTATI NEL CONTESTO DI SISTEMI SOFTWARE COMPLESSI E CRITICI.
CONOSCENZA E CAPACITÀ DI COMPRENSIONE
GLI STUDENTI ACQUISIRANNO LE CONOSCENZE RELATIVE ALLE METODOLOGIE E LE TECNICHE DI ANALISI, PROGETTAZIONE VERIFICA DI AFFIDABILITÀ DEL SOFTWARE. GLI STUDENTI ACQUISIRANNO LA CAPACITÀ DI COMPRENDERE LO STATO DELL'ARTE, LA LETTERATURE SCIENTIFICA E GLI STANDARD INTERNAZIONALE DEL SETTORE.

CAPACITÀ DI APPLICARE CONOSCENZA E COMPRENSIONE
GLI STUDENT SARANNO IN GRADO DI APPLICARE LE CONOSCENZE RELATIVE ALLE METODOLOGIE E TECNICHE DI ANALISI, METODOLOGIE E TECNICHE DI ANALISI, PROGETTAZIONE E VERIFICA DI AFFIDABILITÀ DEL SOFTWARE, IN PARTICOLARE NEL CONTESTO DEI SISTEMI SOFTWARE COMPLESSI E CRITICI.
Prerequisiti
GLI STUDENTI DEVONO AVERE CONOSCENZA PREGRESSA DEI CONCETTI DI BASE DI INGEGNERIA DEL SOFTWARE, IN PARTICOLARE DEI MODELLI DI PROCESSO DI SVILUPPO SOFTWARE E DEL TESTING DI SISTEMI SOFTWARE.
Contenuti
I CONTENUTI SONO ARTICOLATI IN DUE MODULI FORMATIVI:

M1: FONDAMENTI DI SOFTWARE DEPENDABILITY

IL PRIMO MODULO INTRODUCE LO STUDENTE AI FONDAMENTI DELLA DEPENDABILITY DEL SOFTWARE. GLI ARGOMENTI INCLUDONO:

- REQUISITI DI DEPENDABILITY;
- INGEGNERIA DELL'AFFIDABILITÀ;
- VULNERABILITÀ DI SISTEMI SOFTWARE;
- ERRORI, DIFETTI E RISCHI;
- TECNICHE PER EVITARE, ELIMINARE E PREVENIRE L'INTRODUZIONE DI DIFETTI E VULNERABILITÀ;
- PREDIZIONE DEI DIFETTI. QUESTA PARTE INCLUDE UN'INTRODUZIONE ALLE TECNICHE DI MACHINE LEARNING PER LA DEPENDABILITY DI SISTEMI SOFTWARE;
- METODI DI ASSESSMENT DELLA DEPENDABILITY DI SISTEMI SOFTWARE;
- TECNICHE DI ISPEZIONE DEL CODICE SORGENTE.
- ASPETTI SOCIO-TECNICI E LORO IMPATTO SULLA DEPENDABILITY DI SISTEMI SOFTWARE.

M2: SOFTWARE TESTING

IL SECONDO MODULO APPROFONDISCE ED INTEGRA LE CONOSCENZE RELATIVE ALLA VERIFICA E CONVALIDA DEL SOFTWARE GIÀ ACQUISITE IN UN CORSO BASE DI INGEGNERIA DEL SOFTWARE DELLA LAUREA TRIENNALE. GLI ARGOMENTI INCLUDONO:

- PROCESSO E DOCUMENTAZIONE DI TESTING;
- SVILUPPO SOFTWARE GUIDATO DALL'ATTIVITÀ DI TESTING;
- TECNICHE DI TESTING SISTEMATICO BLACK-BOX E WHITE-BOX;
- METODI DI ASSESSMENT DI CASI DI TEST;
- TESTING DI REQUISITI NON FUNZIONALI;
- TESTING DI REGRESSIONE;
- OTTIMIZZAZIONE DI CASI DI TEST;
- GENERAZIONE AUTOMATICA DI CASI DI TEST. QUESTA PARTE INCLUDE UN'INTRODUZIONE AGLI ALGORITMI SEARCH-BASED.
- TESTING DI SISTEMI EMBEDDED E CYBERPHYSICAL.
Metodi Didattici
L'INSEGNAMENTO PREVEDE 45 ORE DI LEZIONE FRONTALI (9 CFU IN LINGUA INGLESE) A CARATTERE TEORICO/METODOLOGICO PER IL TRASFERIMENTO DELLE CONOSCENZE RICHIESTE E DEGLI STRUMENTI NECESSARI PER LE ATTIVITÀ PROGETTUALI.

AGLI STUDENTI VERRÀ ASSEGNATO UN PROGETTO (INDIVIDUALE O IN UN GRUPPO COMPOSTO DA UN MASSIMO DI 3 STUDENTI) SULLE TEMATICHE DEL CORSO TRAMITE IL QUALE POTRANNO APPROFONDIRE GLI ASPETTI PRATICI TRATTATI DURANTE LE ORE DI LEZIONE. L'IMPEGNO RICHIESTO SUL PROGETTO È DI CIRCA 45 ORE.
Verifica dell'apprendimento
IL RAGGIUNGIMENTO DEGLI OBIETTIVI DELL'INSEGNAMENTO È CERTIFICATO MEDIANTE IL SUPERAMENTO DI UN ESAME CON VALUTAZIONE IN TRENTESIMI. L'ESAME PREVEDE LA REALIZZAZIONE DI UN PROGETTO INDIVIDUALE O DI GRUPPO E LA CONSEGNA DELLA RELATIVA DOCUMENTAZIONE E UNA PROVA ORALE.

LA CONSEGNA DELLA DOCUMENTAZIONE DEL PROGETTO È PROPEDEUTICA ALLA PROVA ORALE.

LA PROVA ORALE CONSISTE IN UN COLLOQUIO CON DOMANDE E DISCUSSIONE SUGLI ASPETTI SALIENTI DEL PROGETTO REALIZZATO E SUI CONTENUTI TEORICI E METODOLOGICI INDICATI NEL PROGRAMMA DELL'INSEGNAMENTO ED È FINALIZZATA AD ACCERTARE IL LIVELLO DI CONOSCENZA RAGGIUNTO DALLO STUDENTE SUI CONTENUTI TEORICI E METODOLOGICI DEL PROGRAMMA DEL CORSO E LA LORO APPLICAZIONE AL PROGETTO, IL CONTRIBUTO DATO AL PROGETTO, LA COMPLETEZZA, CORRETTEZZA E SINTESI DELLA DOCUMENTAZIONE DI PROGETTO, NONCHÉ A VERIFICARE LA CAPACITÀ DI ESPOSIZIONE RICORRENDO ALLA TERMINOLOGIA APPROPRIATA, LA CAPACITÀ DI ORGANIZZAZIONE AUTONOMA DELL'ESPOSIZIONE E LA CAPACITÀ DI MOTIVARE ED ARGOMENTARE OPPORTUNAMENTE LE SCELTE DI PROGETTO.
Testi
- I. SOMMERVILLE, SOFTWARE ENGINEERING, ADDISON WESLEY

- J. KNIGHT, "FUNDAMENTALS OF DEPENDABLE COMPUTING FOR SOFTWARE ENGINEERS", CHAPMAN AND HALL/CRC

- M. PEZZE, M. YOUNG, "SOFTWARE TESTING AND ANALYSIS: PROCESSES PRINCIPLES AND TECHNIQUES", JOHN WILEY & SONS

DISPENSE DEL DOCENTE.
Altre Informazioni
LA FREQUENZA AL CORSO NON È OBBLIGATORIA MA, TUTTAVIA, FORTEMENTE CONSIGLIATA. GLI STUDENTI DOVRANNO ESSERE PREPARATI AD AFFRONTARE ATTIVAMENTE IL CORSO, TRAMITE INTERAZIONE CON IL DOCENTE IN AULA E TEMPO DEDICATO ALLA FORMAZIONE INDIVIDUALE. UNA PREPARAZIONE SODDISFACENTE, CHE PORTI AL SUPERAMENTO DELL’ESAME, CONSISTERÀ IN UNA MEDIA DI STUDIO INDIVIDUALE DI DUE ORE PER CIASCUNA ORA TRASCORSA IN AULA OLTRE CHE UNA MEDIA DI UN’ORA DEDICATA ALL’ATTIVITÀ PROGETTUALE ASSOCIATA. IL CORSO PREVEDE UNA FORTE PREDISPOSIZIONE ALL’APPRENDIMENTO DI STRUMENTI SOFTWARE PER LO SVILUPPO DI MODULI DI SOFTWARE DEPENDABILITY.

IL MATERIALE DIDATTICO SARÀ DISPONIBILE SULLA PIATTAFORMA E-LEARNING DIPARTIMENTALE.

LADDOVE LE CONDIZIONI SANITARIE NON DOVESSERO CONSENTIRE IL NORMALE SVOLGIMENTO DELLE ATTIVITÀ DIDATTICHE, IL CORSO SARÀ SVOLTO VIRTUALMENTE TRAMITE LA PIATTAFORMA DIDATTICA CHE SARÀ INDICATA DAL DIPARTIMENTO DI INFORMATICA.

CONTATTI DEL DOCENTE:

FABIO PALOMBA
FPALOMBA@UNISA.IT
SITO WEB DEL DOCENTE: HTTPS://FPALOMBA.GITHUB.IO
  BETA VERSION Fonte dati ESSE3 [Ultima Sincronizzazione: 2022-05-23]