Objective-C的合同设计？

Question

去年我参加了一个关于设计合同方法的课程.我们使用Mircosoft Research创建的Contract API在C#中编程,并使用PEX生成单元测试.今年,我正在用xcode编写iphone应用程序.我想知道是否存在允许我使用Design By Contract的库,以及一个生成与PEX相似的单元测试的工具,适用于Objective-C.我真的很想能够制定不变量,后置和先决条件.

您对Objective-C中的合同设计有任何实践经验吗？您想分享哪些建议？

Answer 1

没有经验，没有建议，我这个问题可能被标记下来，因为它太笼统了，没有询问特定的软件问题。

另一方面.. google 的魔力提供了像Objective-C 中契约设计的一些宏这样的宝石