Дизайн по контракту для Objective-C? [закрыто]

В настоящее время этот вопрос не подходит для нашего формата вопросов и ответов. Мы ожидаем, что ответы будут подтверждены фактами, ссылками или опытом, но этот вопрос, скорее всего, повлечет за собой дебаты, аргументы, опросы или расширенное обсуждение.Если вы считаете, что этот вопрос можно улучшить и, возможно, снова открыть, посетите справочный центр , чтобы получить рекомендации.

Закрыт 7 лет назад .

В прошлом году я проходил курс по методологии «Дизайн по контракту». Мы программировали на C # с помощью Contract API, созданного Mircosoft Research, и генерировали модульные тесты с помощью PEX. В этом году я программирую приложения для iphone в xcode. Мне интересно, существует ли библиотека, которая позволяет мне использовать дизайн по контракту, и инструмент для создания модульных тестов, подобных PEX, который работает для Objective-C. Мне очень не хватает возможности формулировать инварианты, пост- и предусловия.

Есть ли у вас практический опыт работы с проектированием по контракту в Objective-C? Хотите поделиться советом?

задан mollerhoj 25 February 2012 в 03:38

0 ответов

Другие вопросы по тегам:

iphone objective-c design-by-contract

Дизайн по контракту для Objective-C? [закрыто]

0 ответов

Похожие вопросы: