L’articolo esamina una serie di aspetti inerenti le tecniche ad oggetti, che spesso si finisce col dare per scontati, ma che poi – all’atto pratico – non sono di così facile attuazione. (continua)

In questo articolo si affrontano alcune tra le principali motivazioni per applicare il controllo di qualità nella produzione di software, analizzate secondo la prospettiva dello sviluppatore. (continua)

L'articolo fornisce delle metriche oggettive e sistematiche per il calcolo del grado di accoppiamento tra sottosistemi software, con particolare riferimento alla progettazione ad oggetti in C++. (continua)

L'articolo descrive la tecnica delle asserzioni, come meccanismo di supporto per i test di tipo built in (test white box integrati all'interno di un'applicazione), inquadrandole come strumento che aiuta a scrivere programmi migliori, almeno dal punto di vista dell’affidabilità e della testabilità. (continua)

L’articolo si propone un esame della controversa questione sullo sviluppo di software con strumenti di prototipizzazione rapida, mantenendo una prospettiva in chiave di controllo della qualità. (continua)

L'astrazione funzionale modella un problema in termini di funzioni. Si tratta del primo dei tre livelli d'astrazione presenti nell'object-orientation. (continua)

Una delle caratteristiche più evidenti in un software di qualità è certamente il grado di affidabilità (reliability). Come è facile intuire, un’accurata fase di testing riveste un ruolo fondamentale nell’individuazione di errori od imperfezioni. Proprio per tale ragione, la letteratura informatica è ricca di trattazioni che spiegano i vari approcci, le varie fasi e i vantaggi più importanti di un buon processo di test. In questo articolo, tuttavia, vorrei spostare l’attenzione su un aspetto meno discusso: la testabilità. (continua)

L'astrazione d'oggetto aggiunge al livello d'astrazione funzionale il concetto di memoria dello stato: l'esito di un'operazione dipende anche dalla storia passata dell'oggetto al quale la si applica. (continua)