tailieunhanh - TÌM HIỂU CÔNG NGHỆ DESIGN BY CONTRACT VÀ XÂY DỰNG CÔNG CỤ HỖ TRỢ CHO C# - 3

Tìm hiểu công nghệ Design By Contract và Xây dựng công cụ hỗ trợ cho C# n0; x/=Void Lưu ý cách dùng dấu chấm phẩy (“;”). Ý nghĩa của dấu chấm phẩy ở đây tương đương với phép and. Dấu chấm phẩy có thể đặt giữa phần khai báo và chỉ thị. Khi những mệnh đề của xác nhận nằm trên những dòng khác nhau, ta không cần dùng dấu chấm phẩy (xem như có một phép and mặc định giữa các dòng liên tiếp). Những quy ước này giúp ta có thể nhận biết các thành phần riêng biệt của một. | Tìm hiểu công nghệ Design By Contract và Xây dựng công cụ hỗ trợ cho C n 0 x Void Lưu ý cách dùng dấu chấm phẩy . Ý nghĩa của dấu chấm phẩy ở đây tương đương với phép and. Dấu chấm phẩy có thể đặt giữa phần khai báo và chỉ thị. Khi những mệnh đề của xác nhận nằm trên những dòng khác nhau ta không cần dùng dấu chấm phẩy xem như có một phép and mặc định giữa các dòng liên tiếp . Những quy ước này giúp ta có thể nhận biết các thành phần riêng biệt của một xác nhận. Trong thực tế ta thường dán nhãn label cho những thành phần này ví dụ như Positive n 0 Not_void x Void Các nhãn như trên có vai trò nhất định trong lúc thực thi xác nhận. Tuy nhiên việc sử dụng chúng ở đây là nhằm làm cho văn bản của ta rõ ràng và tường minh hơn. Ch ương 6 Tiendieukienvahaudieukien. Ứng dụng đầu tiên của xác nhận là đặc tả ngữ nghĩa của thủ tục. Một thủ tục không chỉ là một đoạn mã chương trình mà nó là cài đặt của một hàm nào đó từ đặc tả của một kiểu dữ liệu trừu tượng nó sẽ thực hiện một công việc hữu ích. Việc biểu diễn công việc này một cách chính xác là vô cùng cần thiết. Ta có thể đặc tả công việc cần thực thi của một thủ tục bằng 2 xác nhận liên quan với nó là tiền điều kiện preconditions và hậu điều kiện postconditions . Tiền điều kiện chỉ ra những thuộc tính cần được thoả mãn bất cứ khi nào thủ tục được gọi còn hậu điều kiện chỉ ra những thuộc tính chắc chắn có sau khi thủ tục thực thi xong. . Lớp ngăn xếp Một ví dụ sẽ giúp ta làm quen với cách sử dụng các xác nhận 25 Tìm hiểu công nghệ Design By Contract và Xây dựng công cụ hỗ trợ cho C class STACK G feature .Declaration of the features . count empty full put remove item end Trước khi xem phần cài đặt cần chú ý rằng những thủ tục được đặc trưng bởi những thuộc tính ngữ nghĩa mạnh mẽ và độc lập với cách biểu diễn nó. Ví dụ như - remove và item chỉ thực thi được khi có số phần tử lớn hơn 0. - put tăng số phần tử lên 1 remove giảm số phần tử đi 1. Những thuộc tính như thế là một phần trong đặc tả của kiểu dữ liệu trừu tượng ngay

• Cơ khí - Chế tạo máy
• công nghệ design by contract
• công nghệ thiết kế
• tài liệu IT
• kiến thức thiết kế
• công cụ hỗ trợ thiết kế
• lỗi công nghệ
• viết lách trực tuyến
• Tìm hiểu về Eiffel
• Thao tác cơ bản của Eiffel
• Cú pháp vòng lặp
• Màn hình Configuration
• Công cụ DCS
• Nguyên lý làm việc DCS