Tìm Hiểu Công Nghệ Design By Contract Và Xây Dựng Công Cụ Hỗ Trợ Cho C#

Tìm Hiểu Công Nghệ Design By Contract Và Xây Dựng Công Cụ Hỗ Trợ Cho C#

Tác giả: LÊ TRẦN HOÀNG NGUYÊN – 0112103, NGUYỄN BÁCH KHOA – 0112140

Lĩnh vực: Công nghệ phần mềm

Nội dung tài liệu:

Luận văn này tập trung tìm hiểu sâu về công nghệ Design By Contract (DbC), một phương pháp nhằm đảm bảo tính đáng tin cậy và đúng đắn cho phần mềm. Luận văn giới thiệu về ngôn ngữ Eiffel, môi trường phát triển tích hợp EiffelStudio và cách DbC được biểu diễn trong Eiffel thông qua các khái niệm như tiền điều kiện (precondition), hậu điều kiện (postcondition) và điều kiện bất biến (invariant). Bên cạnh đó, luận văn cũng đề cập đến các kỹ thuật khác giúp nâng cao tính đáng tin cậy của phần mềm. Một phần quan trọng của luận văn là việc xây dựng công cụ DCS (Design By Contract for C Sharp), một công cụ hỗ trợ cho công nghệ Design By Contract trên ngôn ngữ lập trình C#. Luận văn trình bày chi tiết về nguyên lý hoạt động, thiết kế của công cụ này, cùng với kết quả thực nghiệm.

Mục lục chi tiết:

• Lời nói đầu
• Tổng quan
• Chương 1: Giới thiệu về Eiffel
• Chương 2: Một số cơ chế mang lại tính đáng tin cậy cho phần mềm
• Chương 3: Tính đúng đắn của phần mềm
• Chương 4: Biểu diễn một đặc tả
• Chương 5: Giới thiệu về sự xác nhận trong văn bản của phần mềm
• Chương 6: Tiền điều kiện và hậu điều kiện
• Chương 7: Giao ước cho tính đáng tin cậy của phần mềm
• Chương 8: Làm việc với những xác nhận
• Chương 9: Những điều kiện bất biến của lớp
• Chương 10: Khi nào một lớp là đúng?
• Chương 11: Kết nối với kiểu dữ liệu trừu tượng
• Chương 12: Một chỉ thị xác nhận
• Chương 13: Vòng lặp có điều kiện bất biến và điều kiện biến đổi
• Chương 14: Sử dụng những xác nhận
• Chương 15: Giới thiệu công cụ XC#
• Chương 16: Kết quả thực nghiệm: công cụ DCS
• Kết luận
• Hướng phát triển
• Tài liệu tham khảo
• Ý kiến của giáo viên phản biện