Đang tải... (xem toàn văn)
Tài liệu tham khảo công nghệ thông tin 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ế Nam NGHIÊN CỨU THIẾT KẾ THEO HỢP ĐỒNG VÀ XÂY DỰNG CƠNG CỤ HỖ TRỢ KHỐ LUẬN TỐT NGHIỆP ĐẠI HỌC HỆ CHÍNH QUY Ngà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ế Nam NGHIÊN CỨU THIẾT KẾ THEO HỢP ĐỒNG VÀ XÂY DỰNG CƠNG CỤ HỖ TRỢ KHỐ LUẬN TỐT NGHIỆP ĐẠI HỌC HỆ CHÍNH QUY Chun ngành: Cơng Nghệ Phần Mềm Cán hướng dẫn: TS Trương Ninh Thuận HÀ NỘI - 2010 LỜI CẢM ƠN Sinh viên thực khoá luận tốt nghiệp đề tài “Nghiên cứu thiết kế theo hợp đồng xây dựng công cụ hỗ trợ” xin bày tỏ lòng chân thành biết ơn tới thầy cô giáo Trường Đại học Công Nghệ, Đại học Quốc Gia Hà Nội nói chung thầy Bộ mơn Cơng nghệ Phần mềm nói riêng Trong suốt bốn năm qua thầy khơng tận tình truyền đạt kiến thức mà cịn ln động viên chúng tơi học tập sống Đặc biệt, xin chân thành cảm ơn thầy giáo hướng dẫn, thầy Trương Ninh Thuận, tận tình bảo, tạo điều kiện sở vật chất tinh thần cho chúng tơi hồn thành khóa luận sửa chữa sai sót suốt q trình thực đề tài Chúng xin cảm ơn tới bạn sinh viên K51 cho ý kiến đóng góp có giá trị thực đề tài Đề tài “Nghiên cứu thiết kế theo hợp đồng xây dựng cơng cụ hỗ trợ” hồn thành thời gian hạn hẹp nên không tránh khỏi khiếm khuyết Chúng mong nhận ý kiến đóng góp từ thầy giáo bạn để tiếp tục hồn thiện hệ thống Hà nội ngày 24 tháng 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 công nghệ thiết kế theo hợp đồng (Design by Contract) [3] trình bày khái niệm Đây công nghệ giúp cho xây dựng đặc tả lớp thành phần xem xét kết hợp chúng với Mở rộng đặc tả thành phần phần mềm thành phần phải thỏa mãn điều kiện liên kết với để tạo thành phần mềm có tính tin cậy, tính đắn cao Bên cạnh khóa luận đưa số khái niệm chế cho tính đắn phần mềm Các cấu trúc đơn giản thường có tính tin cậy phần mềm có cấu trúc phức tạp Nhưng điểm yếu lại khơng thể phục vụ nhu cầu ngày tăng lên người phát triển người sử dụng Vì thế, số chế cố gắng giữ cho cấu trúc phần mềm đơn giản tốt Viết văn mô tả phần mềm để người phát triển sau đọc lại viết lại Quản lý nhớ, hay gọi “kỹ thuật thu gom rác” làm cho phần mềm tối ưu bình thường Hoặc việc sử dụng lại cơng cụ có sẵn phần mềm đáng tin cậy trước giải pháp thường nhà phát triển ứng dụng Chi tiết phát triển tất giai đoạn: phân tích, thiết kế, lập trình, kiểm thử, bảo trì dự án phần mềm Tiếp theo, khóa luận cịn đưa mơ hình dựa CORBA Khái niệm kỹ nghệ phần mềm hướng thành phần Một phần mềm tạo ghép nối thành phần độc lập lại với Các thành phần không cần phải biên dịch lại không cần phải chỉnh sửa lại thêm thành phần khác chỉnh sửa thành phần có sẵn Mơ hình thành phần CORBA mơ hình mà chúng tơi nghiên cứu ứng dụng việc xây dựng cơng cụ hỗ trợ Ngồi khóa luận cịn vào xây dựng cơng cụ đặc tả kiếm chứng hỗ trợ người dùng kiểm tra phù hợp thành phần kết nối với cách trực quan Công cụ có áp dụng cơng nghệ mơ hình Model – View – Controller (M-V-C) [6] sử dụng thư viện layer lập trình java game, dễ dàng cho việc lập trình cơng cụ MỤC LỤC Mở đầu CHƯƠNG Tính đắn, tính tin cậy phần mềm 1.1 Một số chế mang lại tính đắn 1.2 Biểu diễn đặc tả .4 1.2.1 Những cơng thức tính đắn .4 1.2.2 Những điều kiện yếu, mạnh 1.3 Giao ước cho tính tin cậy phần mềm 1.3.1 Quyền lợi 1.3.2 Nghĩa vụ .8 CHƯƠNG Giới thiệu Design by Contract .9 2.1 Giới thiệu 2.2 Khái niệm hợp đồng 10 2.3 Tiền điều kiện, hậu điều kiện tính bất biến 11 2.3.1 Tiền điều kiện hậu điều kiện 11 2.3.2 Tính bất biến .12 2.4 Design By Contract Eiffel 12 2.4.1 Biểu diễn Design by Contract Eiffel 13 2.4.2 Ví dụ minh họa 14 CHƯƠNG Mơ hình thành phần CORBA 16 3.1 Khái niệm công nghệ phần mềm hướng thành phần .16 3.1.1 Giới thiệu 16 3.1.2 Thành phần 17 3.1.3 Đối tượng thành phần 17 3.1.4 Giao diện 18 3.1.5 Hợp đồng 19 3.1.6 Khuôn mẫu 21 3.1.7 Frameworks 21 3.1.8 Frameworks thành phần 22 3.2 Khái niệm CORBA 22 3.2.1 Giới thiệu 22 3.2.2 Ngôn ngữ đặc tả giao tiếp IDL 23 3.3 Mơ hình thành phần CORBA .25 3.3.1 Giao diện nối ghép 25 3.3.2 Đặc tả CCM ngôn ngữ IDL 27 3.3.2.1 Thành phần .27 3.3.2.2 Facets 27 3.3.2.3 Receptacles .28 3.3.2.4 Event Sources 28 3.3.2.5 Event Sinks .30 3.3.3 Điều kiện kết nối 30 CHƯƠNG Xây dựng công cụ đặc tả kiểm chứng thành phần 31 4.1 Mô tả công cụ .31 4.2 Ngôn ngữ phát triển công cụ 31 4.3 Phân tích công cụ đặc tả kiểm chứng thành phần 31 4.3.1 Mô tả công cụ .31 4.3.2 Mơ hình hoạt động .32 4.3.3 Thiết kế lớp đối tượng .32 4.3.3.1 Sơ đồ tương tác đối tượng 33 4.3.3.2 Mô tả chi tiết lớp đối tượng 35 4.4 Triển khai .37 4.5 Thử nghiệm 37 4.5.1 Bài toán 37 4.5.2 Giao diện khởi động chương trình 40 4.5.3 Giao diện làm việc với thành phần 41 4.5.4 Giao diện làm việc với cổng 42 4.5.5 Giao diện sau kiểm chứng kết nối thành phần 45 Kết luận 47 Hướng phát triển .48 Tài liệu tham khảo 49 Phụ lục 50 DANH MỤC HÌNH VẼ Hình 1: Giao diện thành phần CORBA cổng 26 Hình 2: Mơ hình MVC .32 Hình 3: Sơ đồ lớp thể mối liên hệ đối tượng ứng dụng .34 Hình 4: Sơ đồ lớp thể mối quan hệ kế thừa cổng 34 Hình 5: Lớp Component 35 Hình 6: Lớp port 35 Hình 7: Lớp canvaspanel 36 Hình 8: Lớp Contract 37 Hình 9: Kiến trúc CCM hệ thống Stock Quoter 38 Hình 10: Giao diện thành phần CORBA cổng 38 Hình 11: Giao diện khởi động ứng dụng 40 Hình 12: Giao diện điền thông tin thêm thành phần 41 Hình 13: Giao diện kết sau thêm thành phần thành công .42 Hình 14: Giao diện điền thơng tin thêm cổng 43 Hình 15: Giao diện kết thêm cổng thành công .44 Hình 16: Giao diện kết nối thành công cổng 45 Hình 17: Giao diện kết nối không thành công cổng .46 DANH MỤC BẢNG BIỂU Bảng 1: Hợp đồng hãng hàng không khành hàng 10 Bảng 2: Hợp đồng chèn từ vào từ điển .11 Bảng 3: Bảng ánh xạ từ IDL sang java 24 Bảng 4: Các lớp đối tượng ứng dụng 33 Bảng 5: Chi tiết lớp component 35 Bảng 6: Chi tiết lớp port 36 Bảng 7: Chi tiết lớp canvaspanel .36 Bảng 8: Chi tiết lớp Contract .37 DANH MỤC CƠNG THỨC Cơng thức 1: Cơng thức tính đắn Công thức 2: Tiền điều kiện mạnh, hậu điều kiện không cần phải quan tâm .5 Công thức 3: Hậu điều kiện mạnh, tiền điều kiện không cần phải quan tâm Công thức 4: Điều kiện bất biến công thức tính đắn 12 ... tơi nghiên cứu ứng dụng việc xây dựng cơng cụ hỗ trợ Ngồi khóa luận cịn vào xây dựng công cụ đặc tả kiếm chứng hỗ trợ người dùng kiểm tra phù hợp thành phần kết nối với cách trực quan Cơng cụ. .. thực khoá luận tốt nghiệp đề tài ? ?Nghiên cứu thiết kế theo hợp đồng xây dựng công cụ hỗ trợ? ?? xin bày tỏ lòng chân thành biết ơn tới thầy cô giáo Trường Đại học Công Nghệ, Đại học Quốc Gia Hà Nội...ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ Nguyễn Thế Nam NGHIÊN CỨU THIẾT KẾ THEO HỢP ĐỒNG VÀ XÂY DỰNG CƠNG CỤ HỖ TRỢ KHỐ LUẬN TỐT NGHIỆP ĐẠI HỌC HỆ CHÍNH QUY Chun ngành:
