design-by-contract

6Nhiệt

3Trả lời

tại sao sử dụng 'khẳng định' trong một dự án? (Và tại sao sử dụng nó rất nhiều lần)

tôi đã đọc qua mẫu mã ListAdder, và có rất nhiều khẳng định ngay sau khi thay đổi, hoặc được sử dụng trong hầu hết các phương pháp, ví dụ: self.formatter = [[[NSNumberFormatter alloc] init] autoreleas

17Nhiệt

9Trả lời

Làm điều kiện tiên quyết LUÔN phải được kiểm tra?

Những ngày này tôi được sử dụng để kiểm tra từng điều kiện tiên quyết cho mọi chức năng kể từ khi tôi có thói quen từ một khóa học lập trình hệ điều hành trở lại uni. Mặt khác, tại khóa học kỹ thuật p

9Nhiệt

3Trả lời

Cách thành ngữ để kiểm tra và ghi lại các điều kiện tiên quyết và postconditions trong R là gì?

Cách thành ngữ để kiểm tra và ghi lại các điều kiện tiên quyết và điều kiện chức năng trong R là gì? Tôi sẽ xem xét Eiffel được xây dựng trong các họa tiết require và ensure hoặc D 'in và out khối trạ

11Nhiệt

2Trả lời

Hợp đồng mã: Tại sao một số bất biến không được xem xét bên ngoài lớp học?

Xem xét loại bất biến này: public class Settings { public string Path { get; private set; } [ContractInvariantMethod] private void ObjectInvariants() { Contract.Invariant(P

9Nhiệt

2Trả lời

Thiết kế theo (các) hợp đồng liên kết cho Lisp thông thường?

Xuất thân từ một nền tảng về Clojure, tôi chụp với tiềm năng mà trước/sau điều kiện của nó cung cấp là cơ sở để thiết kế theo hợp đồng: ;; sqr.clj (defn sqr [n] {:pre [(not= 0 n) (number? n)]

36Nhiệt

4Trả lời

Sử dụng thiết kế theo hợp đồng bằng Python

Tôi đang tìm cách bắt đầu sử dụng DBC trên một số lượng lớn các dự án dựa trên Python tại nơi làm việc và tôi tự hỏi những trải nghiệm mà những người khác đã có với nó. Cho đến nay nghiên cứu của tôi

5Nhiệt

2Trả lời

Việc cần làm khi sử dụng Contract.Assert (true) và phương thức phải trả lại một cái gì đó?

Tôi có một chút mã với logic sau: //pseudo-code foreach (element in elementList) { if (element is whatever) return element; } } Về lý thuyết, có luôn luôn là một trong những yếu tố

6Nhiệt

2Trả lời

Bạn có thể triển khai thiết kế theo hợp đồng bằng Clojure cụ thể hoặc các ngôn ngữ chức năng nói chung như thế nào?

Tôi thích các ví dụ về biến thể Lisp (điểm thưởng cho Clojure hoặc Scheme) vì đó là những gì tôi quen thuộc nhất, nhưng bất kỳ phản hồi nào về DBC trong các phần lan chức năng sẽ có giá trị đối với cộ

5Nhiệt

4Trả lời

Ngoại lệ đối số phải là Đơn vị được kiểm tra?

Tôi biết câu hỏi này khá giống với những câu hỏi khác đã được đăng trước đây nhưng tôi muốn thảo luận về chủ đề này một cách thích hợp. Bạn có nghĩ rằng ngoại lệ "hiển nhiên" phải được kiểm tra đơn vị

5Nhiệt

1Trả lời

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

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