Thiết kế theo hợp đồng cho mục tiêu-C?

Question

Năm ngoái tôi đã học một lớp về phương pháp Thiết kế theo Hợp đồng. Chúng tôi lập trình trong C# với API hợp đồng mà Mircosoft Research đã tạo và tạo các bài kiểm tra đơn vị với PEX. Năm nay, tôi lập trình ứng dụng iphone trong xcode. Tôi tự hỏi nếu có tồn tại một thư viện cho phép tôi sử dụng thiết kế theo hợp đồng, và một công cụ để tạo ra các bài kiểm tra đơn vị simular để PEX làm việc cho Objective-C. Tôi thực sự nhớ việc có thể xây dựng các bất biến, hậu kỳ và điều kiện tiên quyết.

Bạn có kinh nghiệm thực tế nào với Thiết kế theo Hợp đồng trong Mục tiêu-C không? Bạn có muốn chia sẻ lời khuyên nào không?

Answer 1

Không có kinh nghiệm, không có lời khuyên và tôi câu hỏi này có thể được đánh dấu xuống vì nó quá chung chung và không hỏi một câu hỏi phần mềm cụ thể.

Mặt khác .. sự kỳ diệu của google cung cấp đá quý như A few Macros for Designing by Contract in Objective-C