Perché la progettazione per contratto è considerata un'alternativa al processo di pseudo programmazione?

La progettazione per contratto affronta il problema da una diversa angolazione. La progettazione per contratto inizia con la descrizione dello stato del programma consentito in determinati punti, come l'inizio e la fine dei metodi e l'applicazione di tale metodo. Lingue come Eiffel sono state costruite da zero con questo in mente.

In teoria, se lo stato è stato specificato completamente dai contratti, la logica del programma può essere derivabile. In pratica, diventa test unitario eseguibile incluso con l'applicazione.

Il PPP, al confronto, è un modo top-down di arrivare al codice affrontando solo un livello di astrazione con cui lo sviluppatore si trova a suo agio e lo sta lentamente decomprimendo. Il PPP si occupa del "come" a livelli sempre più bassi di dettaglio, mentre la progettazione per contratto si concentra sul "cosa" in primo luogo.

Penso che sia l'intento dei concetti. In entrambi i casi, descrivi cosa farà il codice prima di scriverlo. In PPP stai descrivendo la logica che verrà utilizzata per far funzionare le funzioni, nell'altra stai descrivendo le funzioni stesse. Direi che uno è solo una descrizione "di livello superiore".

Penso che potresti usare entrambi, ma se lo facessi probabilmente ti saresti reso conto che l'uno o l'altro era praticamente ridondante, date le descrizioni fornite dall'altro.