Programmazione difensiva e programmazione contrattuale

  • Per individuare gli errori si devono fare dei controlli sulla consistenza dei dati, ad esempio
    1. Puntatori diversi da NULL (ø) restituiti da una new
    2. Puntatori a file diversi da NULL (ø) restituiti da una fopen
    3. Indici maggiori o uguali a zero e minori della dimensione per accedere ad un array
    4. Valori numerici nel giusto campo di definizione
    5. Divisioni per zero
  • Naturalmente, a questa lista occorrerà aggiungere i controlli sui dati introdotti dagli utenti
  • Il problema è stabilire a chi competono i controlli

© Ing. Stefano Salvi - All rights reserved