A proposito di BeyondTesting.dev

BeyondTesting.dev si prefigge lo scopo di dimostrare come il software possa essere corretto per progettazione, e non solo tramite i test.

Il sito si concentra sul Design by Contract (DbC), un approccio che integra precondizioni, postcondizioni e invarianti ai fini di garantire la correttezza.

È un modo diverso di concepire software.

Perché esiste questo sito​

Da anni ci viene ripetuto che per garantire la correttezza e qualità del software è necessario scrivere test. I test, come sappiamo, vanno spesso aggiornati e talvolta riscritti.

Noi dovremmo invece concentrarci sulla verificabilità del codice scritto senza dover ricorrere a centinaia di test.

BeyondTesting.dev si schiera a favore della correttezza, della chiarezza: mai accontentarsi.

Mostra come i contratti possano rendere tutto questo possibile — con diagrammi chiari, esempi concreti e supporto nei linguaggi che li integrano nativamente.

Il Design by Contract nasce con il libro di Bertrand Meyer, Object-Oriented Software Construction (1992).
Ha formalizzato precondizioni, postcondizioni e invarianti — non come documentazione, ma come garanzie eseguibili.
Il linguaggio Eiffel è stato il primo a rendere questi concetti parte integrante della progettazione.

Leggi il libro completo - 1284 pagine, PDF

A chi è rivolto​

• Sviluppatori curiosi che preferiscono integrare i criteri di accettazione nel codice invece che nei test
• Chi lavora su applicazioni che devono sempre funzionare
• Chi vuole che il proprio codice parli da sé

Chi c'è dietro​

Creato e gestito da Andrea Mancuso.
Seguimi su LinkedIn.

Vuoi contribuire?​

Il progetto è open source — se hai idee, esempi o tempo da dedicare, sei il benvenuto.

Il sorgente è su GitHub.

Puoi aiutare a tradurre il sito in altre lingue, suggerire diagrammi, ecc.

Ogni contributo è ben accetto.