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

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# GIÁO VIÊN HƯỚNG DẪN : NGUYỄN ĐÔNG HÀ NIÊN KHÓA 2001 – 2005 Tìm hiểu công nghệ Design By Contract và Xây dựng công cụ hỗ trợ cho C# LỜI CẢM ƠN Đầ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ó thể tiếp cận và tìm hiểu về công nghệ Design By Contract hữu ích. | 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 LÊ TRẦN HOÀNG NGUYÊN - 0112103 NGUYỄN BÁCH KHOA - 0112140 TÌM HIỂU CÔNG NGHỆ DESIGN BY CONTRACT VÀ XÂY DựNG CÔNG CỤ HỖ TRỢ CHO C KHÓA LUẬN CỬ NHÂN TIN HỌC GIÁO VIÊN HƯỚNG DẢN NGUYỄN ĐÔNG HÀ NIÊN KHÓA 2001 - 2005 Tìm hiểu công nghệ Design By Contract và Xây dựng công cụ hỗ trợ cho C LỜI CÁM ƠN Đầu tiên xin chân thành cam ơ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ó thê tiếp cận và tìm hiêu về công nghệ Design By Contract hữu ích này. Bên cạnh đó xin đồng gửi lời cam ơn đèn các thầy cô cua bộ môn Công nghệ Pyhần mềm Nâng cao đã tạo điều kiện cho chúng em dành nhiều thời gian nghiên cúm đề tài này. Cuối cùng qua là một điều thiêu sót nèu không kê đèn sự ung hộ to lớn về mặt tinh thần cũng như sự giúp đỡ tận tình cua gia đình bạn bè đặc biệt là bạn Nguyễn Lương Ngọc Minh và Nguyễn Ngọc Khánh. Xin chân thành cam ơn tất ca những người đã góp phần giúp cho luận văn này được hoàn thành. Thành phố Hồ Chí Minh Tháng 7 2005. 2 Tìm hiểu công nghệ Design By Contract và Xây dựng công cụ hỗ trợ cho C MỤC LỤC LỜI NÓI ĐẦU 7 TỐNG QUAN 8 Chương 1 Giới thiệu về Eiffel 9 . Giới thiệu 9 . Design By Contract trong Eiffel 10 . EiffelStudio 10 1 .. Giao diện 11 1 .. Các thao tác căn bản trên EiffelStudio 11 Chương 2 Một số cơ chế mang lại tính đáng tin cậy cho phần mềm 17 Chương 3 Tính đúng đắn của phần mềm 18 Chương 4 Biểu diễn một đặc tả 20 . Những công thức của tính đúng đắn 20 . Những điều kiện yếu và mạnh 22 Chương 5 Giới thiệu về sự xác nhận trong văn bản của phần mềm 24 Chương 6 Tiền điều kiện và hậu điều kiện 25 . Lớp ngăn xếp 25 . Tiền điều kiện 28 . Hậu điều kiện 28 Chương 7 Giao ước cho tính đáng tin cậy của phần mềm 29 . Quyền lợi và nghĩa vụ 29 7 .. Nhìmg quyền lợi 30 7 .. Nhữ ng nghĩa vụ 30 . Nghệ thuật của sự tin cậy phần mềm kiểm tra ít hơn bảo đảm nhiều hơn 31 . Nhữ ng xác nhận không phải là một cơ .