Sto leggendo le "Note sulla sintesi della forma" di Cristopher Alexander, e sta descrivendo una soluzione per un problema come se avesse una buona forma, quando c'è un'assenza di cattiva idoneità; non possiamo descrivere tutte le qualità della buona forma perché è troppo complessa, ma possiamo identificare le cattive qualità che emergono.
La complessità del software significa che non riusciamo a capire tutte le relazioni possibili - le qualità della buona misura, ma possiamo identificare quando il codice non sta facendo quello che dovrebbe - la cattiva corrispondenza.
Mi chiedo allora, lo scopo dei test unitari è identificare una "cattiva corrispondenza" nella soluzione?