Trong ngành công nghệ thông tin, thay đổi là một tất yếu diễn ra hết sức thường xuyên mà ta phải chấp nhận và cố gắng điều chỉnh nó. Phần mềm này ra đời thay thế phần mềm khác là một điều vô cùng bình thường, dễ hiểu. Tại sao lại như thế? Bởi vì người sử dụng luôn mong muốn có được một phần mềm hữu ích. Tuy nhiên, dù phần mềm có thể đáp ứng những nhu cầu của người sử dụng trong thời gian hiện tại thì cũng không thể đảm bảo nó sẽ luôn được ưa chuộng. Để có thể tồn tại lâu dài, phần mềm phải thật sự chất lượng. Điều này đồng nghĩa với việc nó phải không ngừng được cập nhật. Mà ta cũng biết, phần mềm càng đúng đắn, đáng tin cậy và rõ ràng bao nhiêu thì công việc nâng cấp và phát triển nó càng dễ dàng bấy nhiêu. Do đó, có thể nói, một trong những tiêu chí của ngành công nghệ phần mềm mà bất kỳ thời đại nào, bất kỳ sản phẩm phần mềm nào cũng đều hướng đến là tính đáng tin cậy và đúng đắn. Xuất phát từ nhu cầu ấy, kỹ thuật Design By Contract (DBC) đã ra đời nhằm giúp đảm bảo cho tính đáng tin cậy của phần mềm.

Trong khuôn khổ đồ án tốt nghiệp với đề tài “Xây dựng ứng dụng quản lý Design By Contract trong các project C#”, tác giả mong muốn có được cái nhìn sâu hơn đối với kỹ thuật Design By Contract và ứng dụng trong quản lý chất lượng phần mềm; đồng thời xây dựng một hệ thống quản lý chất lượng phần mềm đa người dùng, cho phép các nhà phát triển phần mềm có thêm một công cụ hữu dụng để quản lý các dự án của mình.

Qua tìm hiểu từ các ứng dụng cùng loại trên thực tế, tác giả nhận thấy đã có một số ứng dụng dưới dạng tích hợp vào quá trình thực thi dự án để quản lý chất lượng phần mềm. Đây là những ứng dụng kiểm tra trực tiếp chất lượng trong quá trình thực thi dự án, gọn nhẹ và hiệu quả cao nhưng vẫn còn một nhược điểm chưa khắc phục được như mã đóng đối với các nhà phát triển, phần lớn các tiện ích không miễn phí, chưa phục vụ đa người dùng. Để đáp ứng mục tiêu nghiên cứu công nghệ DBC, tác giả đồ án quyết định xây dựng một ứng dụng quản lý DBC trong các project C#, khắc phục được các nhược điểm của các phần mềm cùng loại trên thị trường.

Kết cấu đề tài gồm 3 chương:

CHƯƠNG 1 – BÀI TOÁN QUẢN LÝ CHẤT LƯỢNG DỰ ÁN

CHƯƠNG 2 – ĐỊNH HƯỚNG GIẢI PHÁP

CHƯƠNG 3 – TRIỂN KHAI THỬ NGHIỆM VÀ ĐÁNH GIÁ