LUẬN VĂN: NGHIÊN CỨU THIẾT KẾ THEO HỢP ĐỒNG VÀ XÂY DỰNG CÔNG CỤ HỖ TRỢ

Khóa luận tìm hiểu về công nghệ thiết kế theo hợp đồng (Design by Contract) [3] và trình bày những khái niệm cơ bản. Đây là công nghệ giúp cho chúng ta xây dựng đặc tả giữa các lớp trong một thành phần và xem xét sự kết hợp giữa chúng với nhau. Mở rộng hơn nữa là đặc tả các thành phần trong một phần mềm và các thành phần phải thỏa mãn những điều kiện nào đó mới có thể liên kết với nhau để tạo thành phần mềm có tính tin cậy, tính đúng đắn cao...
Nội dung trích xuất từ tài liệu:
LUẬN VĂN:NGHIÊN CỨU THIẾT KẾ THEO HỢP ĐỒNG VÀ XÂY DỰNG CÔNG CỤ HỖ TRỢ ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ Nguyễn Thế NamNGHIÊN CỨU THIẾT KẾ THEO HỢP ĐỒNG VÀ XÂY DỰNG CÔNG CỤ HỖ TRỢKHOÁ LUẬN TỐT NGHIỆP ĐẠI HỌC HỆ CHÍNH QUYNgành: Công Nghệ Thông Tin HÀ NỘI - 2010 ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ Nguyễn Thế NamNGHIÊN CỨU THIẾT KẾ THEO HỢP ĐỒNG VÀ XÂY DỰNG CÔNG CỤ HỖ TRỢKHOÁ LUẬN TỐT NGHIỆP ĐẠI HỌC HỆ CHÍNH QUYChuyên ngành: Công Nghệ Phần MềmCán bộ hướng dẫn: TS. Trương Ninh Thuận HÀ NỘI - 2010 LỜI CẢM ƠN Sinh viên thực hiện khoá luận tốt nghiệp đề tài “Nghiên cứu thiết kế theo hợpđồng và xây dựng công cụ hỗ trợ” xin được bày tỏ lòng chân thành biết ơn tới các thầycô giáo Trường Đại học Công Nghệ, Đại học Quốc Gia Hà Nội nói chung và thầy côBộ môn Công nghệ Phần mềm nói riêng. Trong suốt bốn năm qua thầy cô khôngnhững tận tình truyền đạt kiến thức mà còn luôn động viên chúng tôi trong học tậpcũng như trong cuộc sống. Đặc biệt, chúng tôi xin chân thành cảm ơn thầy giáo hướng dẫn, thầy TrươngNinh Thuận, đã tận tình chỉ bảo, tạo mọi điều kiện cơ sở vật chất cũng như tinh thầncho chúng tôi hoàn thành khóa luận và sửa chữa những sai sót trong suốt quá trìnhthực hiện đề tài. Chúng tôi cũng xin cảm ơn tới các bạn sinh viên K51 đã cho chúng tôi những ýkiến đóng góp có giá trị khi thực hiện đề tài này. Đề tài “Nghiên cứu thiết kế theo hợp đồng và xây dựng công cụ hỗ trợ” đượchoàn thành trong thời gian hạn hẹp nên không tránh khỏi những khiếm khuyết. Chúngtôi rất mong nhận được ý kiến đóng góp từ thầy cô giáo và các bạn để có thể tiếp tụchoàn thiện hệ thống này hơn. Hà nội ngày 24 tháng 4 năm 2010 Sinh viên Nguyễn Thế Nam TÓM TẮT NỘI DUNG Khóa luận tìm hiểu về công nghệ thiết kế theo hợp đồng (Design by Contract) [3]và trình bày những khái niệm cơ bản. Đây là công nghệ giúp cho chúng ta xây dựngđặc tả giữa các lớp trong một thành phần và xem xét sự kết hợp giữa chúng với nhau.Mở rộng hơn nữa là đặc tả các thành phần trong một phần mềm và các thành phần phảithỏa mãn những điều kiện nào đó mới có thể liên kết với nhau để tạo thành phần mềmcó tính tin cậy, tính đúng đắn cao. Bên cạnh đó khóa luận còn đưa ra một số khái niệm và cơ chế cho tính đúng đắncủa phần mềm. Các cấu trúc đơn giản thường có tính tin cậy hơn những phần mềm cócấu trúc phức tạp. Nhưng điểm yếu của nó lại không thể phục vụ được nhu cầu ngàycàng tăng lên của người phát triển và người sử dụng. Vì thế, một số cơ chế như cốgắng giữ cho cấu trúc của phần mềm càng đơn giản càng tốt. Viết văn bản mô tả phầnmềm để người phát triển sau này có thể đọc lại hoặc viết lại. Quản lý bộ nhớ, hay cònđược gọi là “kỹ thuật thu gom rác” cũng làm cho phần mềm tối ưu hơn bình thường.Hoặc là việc sử dụng lại những công cụ có sẵn của những phần mềm đáng tin cậytrước đó cũng là một giải pháp thường được các nhà phát triển ứng dụng. Chi tiết hơnnữa là phát triển tất cả các giai đoạn: phân tích, thiết kế, lập trình, kiểm thử, bảo trìtrong một dự án phần mềm. Tiếp theo, khóa luận còn đưa ra các mô hình dựa trên CORBA. Khái niệm về kỹnghệ phần mềm hướng thành phần. Một phần mềm được tạo ra là do sự ghép nối cácthành phần độc lập lại với nhau. Các thành phần này sẽ không cần phải biên dịch lạihoặc không cần phải chỉnh sửa lại khi thêm mới một thành phần khác hay là chỉnh sửamột thành phần có sẵn. Mô hình thành phần CORBA là mô hình chính mà chúng tôinghiên cứu và ứng dụng nó trong việc xây dựng công cụ hỗ trợ. Ngoài ra khóa luận còn đi vào xây dựng công cụ đặc tả và kiếm chứng hỗ trợngười dùng kiểm tra sự phù hợp của các thành phần khi kết nối với nhau một cách trựcquan. Công cụ có áp dụng những công nghệ mới hiện nay như mô hình Model – View– Controller (M-V-C) [6] hoặc sử dụng thư viện layer trong lập trình java game, dễdàng cho việc lập trình công cụ. MỤC LỤCMở đầu ....................................................................................................................... 1CHƯƠNG 1. Tính đúng đắn, tính tin cậy của phần mềm ....................................... 3 1.1. Một số cơ chế mang lại tính đúng đắn ............................................................. 3 1.2. Biểu diễn một đặc tả ....................................................................................... 4 1.2.1. Những công thức của tính đúng đắn ...................................................... 4 1.2.2. Những điều kiện yếu, mạnh ............ ...