Capitolo 7. Ingegneria del Software. Mauro Giacomini Pearson Addison-Wesley. All rights reserved

Transcript

1 Capitolo 7 Ingegneria del Software Mauro Giacomini 2007 Pearson Addison-Wesley. All rights reserved

2 Capitolo 7: Ingegneria del Software 7.1 Disciplina dell ingegneria del Software 7.2 Il ciclo di vita del software 7.3 Modularità 7.4 Strumenti di lavoro 7.5 Testing 7.6 Documentazione 7.7 Proprietà del software e responsabilità 2007 Pearson Addison-Wesley. All rights reserved 0-2

3 Disciplina dell ingegneria del Software Distinta dagli altri campi dell ingegneria Componenti prefabbricati Metriche Pratici e teorici Organizzazioni professionali: ACM, IEEE, etc. Codici di etica professionale Standard 2007 Pearson Addison-Wesley. All rights reserved 0-3

4 Computer Aided Software Engineering (CASE) tools Pianificazione del progetto Gestione del progetto Documentazione Prototipi e simulazione Progettazione di interfaccia Programmazione 2007 Pearson Addison-Wesley. All rights reserved 0-4

5 Figura 7.1 Ciclo di vita del Software 2007 Pearson Addison-Wesley. All rights reserved 0-5

6 Figura 7.2 Fase di sviluppo nel ciclo di vita del Software 2007 Pearson Addison-Wesley. All rights reserved 0-6

7 Fase di analisi Requisiti Orientati all applicazione Specifiche Orientate alla tecnica Documento dei requisiti del software 2007 Pearson Addison-Wesley. All rights reserved 0-7

8 Fase di Progettazione Metodologie e strumenti (discussi dopo) Human interface (psicologia e ergonomia) 2007 Pearson Addison-Wesley. All rights reserved 0-8

9 Fase di implementazione Creazione del sistema a partire dalla progettazione Scrivere programmi Creazione dei file di dati Sviluppo delle basi di dati Ruolo dell analista del software contrapposto al programmatore 2007 Pearson Addison-Wesley. All rights reserved 0-9

10 Fase di test Test di convalida Conferma che il sistema risponde alle specifiche Test dei difetti Trova i bachi 2007 Pearson Addison-Wesley. All rights reserved 0-10

11 Modularità Procedure Paradigma Imperativo Diagramma di struttura Oggetti Paradigma orientato agli oggetti Diagramma di collaborazione Componenti Architettura dei componenti 2007 Pearson Addison-Wesley. All rights reserved 0-11

12 Figura 7.3 Struttura della classe Giocatore e sue istanze 2007 Pearson Addison-Wesley. All rights reserved 0-12

13 Figura 7.4 Diagramma di una struttura che mostra l accoppiamento di dati 2007 Pearson Addison-Wesley. All rights reserved 0-13

14 Accoppiamento e Coesione Accoppiamento Accoppiamento con controllo Accoppiamento dati Coesione Coesione logica Coesione funzionale 2007 Pearson Addison-Wesley. All rights reserved 0-14

15 Figura 7.5 Coesione logica e funzionale all interno di un oggetto 2007 Pearson Addison-Wesley. All rights reserved 0-15

16 Strumenti di lavoro Diagramma del flusso di dati Diagramma Entità-Relazioni Relazione uno-a-uno Relazione uno-a-molti Relazione molti-a-molti Dizionario dei dati 2007 Pearson Addison-Wesley. All rights reserved 0-16

17 Figura 7.6 Relazioni uno-a-uno, uno-a-molti e molti-a-molti tra entità di tipo X e Y 2007 Pearson Addison-Wesley. All rights reserved 0-17

18 Linguaggio di Modellistica Unificato UML Diagramma di caso d uso Casi d uso Attori Diagramma delle classi 2007 Pearson Addison-Wesley. All rights reserved 0-18

19 Figura 7.7 Diagramma delle classi che rappresenta le generalizzazioni 2007 Pearson Addison-Wesley. All rights reserved 0-19

20 Percorsi strutturati Esperimento Teatrale Schede CRC (Class-responsibility-collaboration) 2007 Pearson Addison-Wesley. All rights reserved 0-20

21 Design Pattern Templates ben disegnati per la risoluzione dei problemi ricorrenti Esempi: Pattern Adapter : Utilizzato per adattare l interfaccia di un modulo alle necessità del momento Pattern Decorator : Utilizzato per controllare la complessità presente quando sono richieste diverse combinazioni delle stesse attività Ispirati dal lavoro in Architettura di Christopher Alexander 2007 Pearson Addison-Wesley. All rights reserved 0-21

22 Strategie per il Testing dei Software Glass-box testing Principio di Pareto Basis path testing Black-box testing Analisi dei valori limite Test della Ridondanza Beta testing 2007 Pearson Addison-Wesley. All rights reserved 0-22

23 Documentazione Documentazione utente Libri stampati per tutti i clienti Moduli di help On-line Documentazione di sistema Codice sorgente Documenti sulla progettazione Documentazione tecnica Per l installazione, l adattamento per il cliente, l updating, etc Pearson Addison-Wesley. All rights reserved 0-23

24 Proprietà del software Copyright Il test della somiglianza sostanziale Filtration criteria: che cosa non può essere copyrightable Caratteristiche coperte da standards Caratteristiche dettate dallo scopo del software Componenti di dominio pubblico L aspetto look and feel Brevetti I fenomeni naturali non sono solitamente brevettabili Segreti commerciali Non-disclosure agreements are legally enforceable 2007 Pearson Addison-Wesley. All rights reserved 0-24