Design per contratto per Objective-C?

Question

L'anno scorso ho seguito un corso sulla metodologia Design by Contract. Abbiamo programmato in C# con l'API Contract creata da Mircosoft Research e generato test unitari con PEX. Quest'anno sto programmando app per iphone in xcode. Mi chiedo se esiste una libreria che mi consente di utilizzare Design By Contract e uno strumento per generare test unitari simulati con PEX che funziona con Objective-C. Mi manca davvero di poter formulare invarianti, post e precondizioni.

Hai qualche esperienza pratica con Design by Contract in Objective-C? Qualche consiglio che vorresti condividere?

Answer 1

Nessuna esperienza, nessun consiglio e questa domanda è stata probabilmente contrassegnata perché è così generale e non richiede una specifica domanda software.

D'altra parte .. la magia di Google fornisce gemme come A few Macros for Designing by Contract in Objective-C