Xem trước tài liệu

Đang tải tài liệu...

Thông tin chi tiết tài liệu

Định dạng: PDF
Số trang: 114 trang
Dung lượng: 1 MB

Giới thiệu nội dung

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, NGUYỄN BÁCH KHOA

Lĩnh vực: Công nghệ thông tin

Nội dung tài liệu:

Luận văn này tập trung tìm hiểu về công nghệ Design By Contract, một phương pháp nhằm nâng cao tính đáng tin cậy và đúng đắn của phần mềm. Nghiên cứu đi sâu vào các khái niệm cốt lõi như tiền điều kiện, hậu điều kiện và điều kiện bất biến, đồng thời minh họa cách chúng được áp dụng trong ngôn ngữ Eiffel thông qua môi trường EiffelStudio. Luận văn cũng trình bày về việc xây dựng một công cụ hỗ trợ Design By Contract cho ngôn ngữ C#, có tên là DCS, 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