Passa al contenuto principale

Oltre i Test

Modello di Progettazione per Contratto

Scopri di più

E se i test facessero parte del codice?

La maggior parte dei framework orientati ai test si concentra sul trovare i bug; e se potessimo invece prevenirli fin dall'inizio? BeyondTesting.dev esplora il Design by Contract (DbC) — una metodologia in cui la correttezza del software è integrata, non forzata.

Crediamo in:

  • Codice con validation automatica (grazie ai contratti)
  • Meno test, più garanzie
  • Software corretto per progettazione

Come i contratti garantiscono la correttezza in esecuzione:

Diagramma che mostra come il Design by Contract impone la correttezza: controlli degli invarianti prima e dopo, con pre- e post-condizioni attorno al corpo del metodo.

A ogni chiamata di metodo, controlli automatici verificano:
invarianti per la validità dell'oggetto,
precondizioni sull'input,
postcondizioni su output e stato finale.