See you at the Turin International Book Fair from May 14 to 18. Come visit us at booth W57!

Il controllo di qualità del software

Marco Maiocchi

Il controllo di qualità del software

Pages: 296

ISBN: 9788820427948

Edition: 2a edizione 1992

Publisher code: 1290.16

Availability: Fuori catalogo

La crescita di dimensione, di complessità e di diffusione del software ha già da tempo mostrato la necessità di un suo accurato Controllo della Qualità. Tale attività, presente in ogni settore industriale di produzione, tarda a consolidarsi nella produzione di software, in gran parte a causa di limitate competenze ed elevati costi, cosicché spesso i programmi in uso presentano malfunzionamenti anche gravi, che rischiano di arrecare danni molto superiori ai costi di un'attività di qualificazione. Inoltre, la qualificazione di un prodotto software tende a individuare le cause di una cattiva qualità presente nel prodotto, influendo così sui metodi di produzione, e quindi migliorando il rapporto costo/beneficio dello sviluppo stesso.

Questo libro si rivolge a tutti gli operatori coinvolti nella produzione di software, sia come responsabili diretti dello sviluppo, sia come funzione di controllo, fornendo un quadro completo di come collocare il Controllo di Qualità nella realizzazione di programmi, di quali strategie e metodologie di qualificazione adottare, di quali tecniche applicare e di come orientare la produzione del software a «produrre programmi di qualità» fin dall'inizio.

Il testo, pur dedicando significativo spazio agli aspetti metodologici e scientifici teorici, esamina con cura gli aspetti più propriamente aziendali di costi e benefici, procede con ricchezza di esempi e illustrazione di strumenti per la qualificazione, che lo rendono uno strumento di formazione e una valida guida operativa.

Marco Maiocchi, laureato in Fisica, è docente di Teoria e Applicazioni delle Macchine Calcolatrici all'Università di Milano, presso cui svolge da oltre quindici anni ricerche applicate sui temi dell'Ingegneria del Software, sul Controllo di Qualità e sull'Assicurazione di Qualità del Software. E' uno dei fondatori della Etnoteam, leader nel settore, con cui collabora attivamente. E' autore di numerosissimi libri e articoli scientifici di livello nazionale e internazionale relativi ai temi di cui si occupa.

PRINCIPI GENERALI
• Perché il controllo di qualità del software
* Costi e benefici del QC SW
* Organizzazione del lavoro e controllo di qualità del software
* Il problema della certificazione
* Linee guida della trattazione
• Organizzazione dello sviluppo di software e organizzazione del controllo di qualità
* Ingegneria del software e ciclo di vita
* La preparazione dei test
* La qualificazione
* Verifica e validazione
* Fasi di lavoro e tipi di test
• Principi, definizioni, nomenclatura
* Le fasi del controllo di qualità
* Copertura funzionale e copertura topologica
* Test positivi e negativi
* Morfologia di un test
* Le catene di test
* Necessità di misure
LA PRATICA DEL TESTING
• Aree funzionali e test plan
* Criteri di scelta delle aree funzionali
* Il test plan
• La costruzione delle checklist
* Ruolo delle checklist e base per una misura
* La progettazione delle checklist funzionali
* Progettazione di un punto di vista topologico
* Il riempimento delle checklist
• La costruzione delle specifiche di test e delle catene relative
* Perché questi documenti
* Dalle checklist alle specifiche di test e alle specifiche di catene
• La costruzione dei test
* Costruzione di test come attività di sviluppo
* Attributi dei test: rilevanza e come ottenerli
• L'esecuzione dei test
* Andamento dei tempi d'esecuzione dei test sotto rilascio
* Necessità di automazione nell'esecuzione
• La costruzione del rapporto di qualità
* Contenuti di un rapporto di qualità e relativi scopi
• L'andamento degli errori
* La determinazione del numero di errori presenti in un prodotto software
* Classificazione degli errori
• La previsione dei costi del controllo di qualità
* Modalità di previsione
* Una prassi di stima di costi del controllo di qualità di sistemi software
* Un esempio di stima di costi di controllo di qualità di un prodotto software
• Verso il monitoraggio della qualità di testing
* Misure oggettive dell'esercizio: la copertura topologica
STRUMENTI PER L'AUTOMAZIONE DEL QC DEL SW
• L'automazione: un insieme di strumenti per il controllo di qualità del software
* Linee guida di Tefax: un gestore del QC
* L'automazione della generazione di checklist e test
* L'esecuzione automatica
L'OTTENIMENTO DELLA QUALITA' DEL SOFTWARE DURANTE IL PROCESSO DI SVILUPPO
• La qualità del software
* Una definizione
* Gli attributi
* Come misurare e ottenere gli attributi di qualità

Serie: Quaderni di informatica

Level: Books for Professionals