Projektowanie według umowy dla Celu-C?

Question

W zeszłym roku wziąłem udział w zajęciach z metodyki Design by Contract. Programowaliśmy w języku C# za pomocą interfejsu API kontraktu utworzonego przez firmę Mircosoft Research i wygenerowaliśmy testy jednostkowe za pomocą PEX. W tym roku programuję aplikacje na iPhone'a w xcode. Zastanawiam się, czy istnieje biblioteka, która pozwala mi używać Design by Contract i narzędzie do generowania testów jednostkowych do PEX, które działają dla Objective-C. Tęsknię za możliwością formułowania niezmienników, postów i warunków wstępnych.

Czy masz jakieś praktyczne doświadczenie w projektowaniu według umowy w Objective-C? Jakieś rady, którymi chciałbyś się podzielić?

Answer 1

Brak doświadczenia, brak porady i to pytanie zostało prawdopodobnie zaznaczone, ponieważ jest tak ogólne i nie wymaga konkretnego pytania dotyczącego oprogramowania.

Z drugiej strony .. magia Google udostępnia perełki jak A few Macros for Designing by Contract in Objective-C