Sommario

• verifica e testing

• generazione dei casi di test

  • Black-Box testing
  • Glass-Box testing

• testing di astrazioni

  • procedure
  • iteratori
  • astrazioni sui dati
  • astrazioni polimorfe
  • gerarchie di tipi
  • astrazioni sui dati sincronizzate

• strumenti per il testing

• testing di unità e di integrazione

• debugging

• defensive programming

Previous slide

Next slide

Back to first slide

View graphic version