去年我参加了一个关于设计合同方法的课程。我们使用Mircosoft Research创建的Contract API在C＃中编程，并使用PEX生成单元测试。今年，我正在用xcode编写iphone应用程序。我想知道是否存在允许我使用Design By Contract的库，以及一个生成与PEX相似的单元测试的工具，适用于Objective-C。我真的很想能够制定不变量，后置和先决条件。
您对Objective-C中的合同设计有任何实践经验吗？您想分享哪些建议？
答案 0 :(得分：2)
没有经验，没有建议，我可能会将此问题标记下来，因为它非常笼统，不会询问特定的软件问题。
另一方面..谷歌的魔力提供了像A few Macros for Designing by Contract in Objective-C
这样的宝石