Có 20+ tài liệu thuộc chủ đề "tài liệu IT"
tailieu.vn Xem trực tuyến Tải xuống
TRƯỜNG ĐẠI HỌC KHOA HỌC TỰ NHIÊN KHOA CÔNG NGHỆ THÔNG TIN BỘ MÔN CÔNG NGHỆ PHẦN MỀM. TÌM HIỂU CÔNG NGHỆ. DESIGN BY CONTRACT VÀ XÂY DỰNG CÔNG CỤ HỖ TRỢ CHO C#. Đầu tiên, xin chân thành cảm ơn cô Nguyễn Đông Hà đã trực tiếp hướng dẫn cũng như cung cấp tài liệu để chúng em có...
tailieu.vn Xem trực tuyến Tải xuống
Chạy thử chương trình (F5).. Chương trình khởi tạo stack gồm 8 phần tử từ 0 đến 7 và xuất stack. TH1: Lỗi xảy ra ở tiền điều kiện Sửa n:=8 thành n:=-8.. Hình 1-2: Thông báo khi lỗi xảy ra ở tiền điều kiện và con trỏ dừng lại ở câu lệnh. Hình 1-3: Code gây ra lỗi ở...
tailieu.vn Xem trực tuyến Tải xuống
Dấu chấm phẩy có thể đặt giữa phần khai báo và chỉ thị.. 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. Chương 6: Tiền điều kiện và hậu điều kiện. Ứ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...
tailieu.vn Xem trực tuyến Tải xuống
Thêm phần tử x vào Stack.. Xóa phần tử trên cùng của Stack.. count – 1 ensure. one_fewer: count = old count – 1 end. Mảng dùng để chứa các phần tử của Stack invariant. Phần biểu diễn về lớp ở trên cho ta thấy sự đơn giản khi làm việc với những xác nhận. Ngoại trừ mệnh đề invariant...
tailieu.vn Xem trực tuyến Tải xuống
Ví dụ, điều kiện bất biến của STACK2 có thể mô tả sự liên quan giữa thuộc tính empty và count như sau:. Trong ví dụ này, xác nhận về điều kiện bất biến liên quan đến một thuộc tính và một hàm. Nó không riêng là việc lặp lại xác nhận ở hậu điều kiện của hàm (empty). Lúc...
tailieu.vn Xem trực tuyến Tải xuống
Điều kiện bất biến biểu diễn mối quan hệ giữa count , lower và upper . nó cho phép count được cài đặt như một hàm chứ không phải một thuộc tính.. description: "Mảng giá trị cùng kiểu, truy xuất các phần tử thông qua các chỉ số mảng". Giá trị mảng tại chỉ số i. Gán giá trị v...
tailieu.vn Xem trực tuyến Tải xuống
Hình 13-1: Một vòng lặp tính toán. Một tính toán bằng vòng lặp gồm những thành phần sau:. Mục tiêu post, là một hậu điều kiện, được định nghĩa như là một thuộc tính mà bất cứ trạng thái cuối nào của sự tính toán đều phải thỏa mản. Ví dụ như:. “Result là giá trị lớn nhất của mảng”....
tailieu.vn Xem trực tuyến Tải xuống
nhỏ hơn một giá trị cho trước. Yêu cầu đối tượng nhập vào hoặc trả về phải nhỏ hơn hoặc bằng một giá trị cho trước. Yêu cầu số thành phần của đối tượng nhập vào hoặc trả về phải nhỏ hơn hoặc bằng một giá trị cho trước. Void SetData([MaxCount (10)]. //arr.Count <= 10. Quy ước chiều dài tối...
tailieu.vn Xem trực tuyến Tải xuống
Danh sách các đối tượng xử lý:. PreCondition của những lớp dẫn xuất hay không.. PostCondition của những lớp dẫn xuất hay không.. Xác định có sử dụng Invariant của những lớp dẫn xuất hay không.. Hiển thị màn hình Configuration cho phép người dùng enable hoặc disable chức năng kiểm tra của PreCondition, PostCondition, Invariant.. 16.2.2.2 Lớp Connect. 1...
tailieu.vn Xem trực tuyến Tải xuống
bool Kiểm tra chuỗi large có. [2] Eiffel Software, Design By Contract.. Design by contract Add-In for C#