Thiết kế của Hợp đồng Reg ;?

Thiết kế theo hợp đồng reg;là một phương pháp được sử dụng để phát triển phần mềm dựa vào việc thiết lập các tham số giao diện được xác định rõ hoặc hợp đồng, cho tất cả các phần của chương trình.Mặc dù thiết kế theo hợp đồng reg;Có thể được xem như là một phong cách phát triển khái niệm được thực hiện thông qua tài liệu hoặc mô hình hóa, nó được sử dụng rộng rãi hơn để chỉ một cơ chế của bên bản địa hoặc bên thứ ba trong một số ngôn ngữ lập trình thực sự yêu cầu mã hóa ngầm của các hợp đồng trong một chương trình.Mục tiêu trong việc sử dụng thiết kế theo hợp đồng reg;là một chương trình sẽ được phát triển và cuối cùng, được mã hóa theo kiểu hoàn chỉnh hơn nhiều, loại bỏ các lỗi tầm thường hơn, trong khi việc thực thi các hợp đồng bằng ngôn ngữ hỗ trợ làm cho bất kỳ lỗi còn lại nào dễ dàng tìm thấy và nắm bắt.Một chương trình sử dụng các hợp đồng cho các chức năng và các lớp có thể có thiết kế mô -đun hơn trong đó các lớp riêng lẻ có thể được sử dụng lại dễ dàng trong các chương trình khác vì định nghĩa rõ ràng về hợp đồng của họ. Cơ sở cho thiết kế theo hợp đồng reg;Triết lý lập trình là ý tưởng của các hợp đồng kinh doanh trong thế giới thực.Trong mô hình này, mỗi phương thức và lớp trong một chương trình định hướng đối tượng xác định một hợp đồng theo đó bất kỳ phương thức hoặc đối tượng nào khác tương tác với nó phải tuân thủ.Mỗi lớp cũng có thể có một hợp đồng, được gọi là một lớp bất biến, rằng nó phải tuân theo nội bộ để đảm bảo rằng các hợp đồng bên ngoài không ảnh hưởng đến khả năng hoạt động của nó.và các điều kiện hậu.Hai phần của thiết kế theo hợp đồng reg;Mô hình xác định trạng thái của chương trình trước khi một phương thức được gọi và trạng thái của chương trình sau khi phương thức hoàn thành thực thi.Các phần khác của hợp đồng có thể thay đổi theo việc thực hiện nhưng có thể bao gồm các tham chiếu chéo với các mô-đun khác, điều kiện đồng bộ hóa và các yêu cầu thực thi.Dễ dàng được ánh xạ và dự đoán.Việc thực thi các hợp đồng, thông qua việc sử dụng các xác nhận hoặc các cơ chế khác, cũng đảm bảo rằng chương trình sẽ không cố gắng thực hiện nếu có vi phạm hợp đồng, bởi vì bất kỳ đầu ra nào được tạo ra ở trạng thái đó về mặt kỹ thuật sẽ không hợp lệ.Khi được thực hiện như một tính năng ngôn ngữ bản địa, thiết kế theo hợp đồng reg;có thể giúp đảm bảo rằng một sản phẩm cuối cùng sẽ hoạt động như mong đợi với rất ít cơ hội cho các lỗi không lường trước được. Một số biến chứng đi kèm với việc sử dụng thiết kế theo hợp đồng reg;Triết học bao gồm thời gian thiết kế dài hơn và sự phát triển chi tiết hơn của một hệ thống trước khi bắt đầu mã hóa, đôi khi có thể khó khăn với một dự án lớn.Thực tế hơn, cơ chế xác nhận hợp đồng được sử dụng trong ngôn ngữ lập trình hỗ trợ hợp đồng có thể làm chậm thực thi chương trình.Một sự hiểu biết kém về thiết kế theo hợp đồng reg;Phương pháp có thể dẫn đến một chương trình sử dụng các hợp đồng để thực hiện kiểm tra lỗi cơ bản, có khả năng dẫn đến một ứng dụng dễ bị tai nạn đột ngột sau khi phát hành.