¿Diseño por contrato para Objective-C?

Question

El año pasado tomé una clase sobre la metodología de diseño por contrato. Programamos en C# con la API Contract que Mircosoft Research creó, y generamos pruebas de unidades con PEX. Este año, estoy programando aplicaciones para iphone en xcode. Me pregunto si existe una biblioteca que me permita usar Design By Contract y una herramienta para generar pruebas unitarias simuladas a PEX que funcionen para Objective-C. Realmente extraño poder formular invariantes, post - y precondiciones.

¿Tienes alguna experiencia práctica con el diseño por contrato en Objective-C? ¿Algún consejo que le gustaría compartir?

Answer 1

Sin experiencia, sin consejos y esta pregunta probablemente fue marcada porque es muy general y no hace una pregunta específica del software.

Por otro lado .. la magia de Google proporciona joyas como A few Macros for Designing by Contract in Objective-C