tailieunhanh - Luận văn:Nghiên cứu kiểm thử hệ thống hướng đối tượng dựa trên biểu đồ lớp

Cùng với sự phát triển vượt bậc của Công nghệ thông tin, đặc biệt trong lĩnh vực Công nghệ phần mềm, hoạt động kiểm thử đã được đặc biệt chú trọng, thu hút sự tập trung nghiên cứu của các nhà khoa học, các học giả trên toàn thế giới. Song, bên cạnh những thành tựu khoa học, hoạt động kiểm thử vẫn chưa thể khẳng định được rằng một sản phẩm phần mềm ra đời có chắc chắn đảm bảo tính đúng đắn, có lỗi hay không | BỘ GIÁO DỤC VÀ ĐÀO TẠO ĐẠI HỌC ĐÀ NẴNG HUỲNH NGỌC KHOA NGHIÊN CỨU KIỂM THỬ HỆ THỐNG HƯỚNG ĐỐI TƯỢNG DựA TRÊN BIỂU ĐỒ LỚP Chuyên ngành Khoa học máy tính Mã số TÓM TẮT LUẬN VĂN THẠC SĨ KỸ THUẬT Đà Nằng - Năm 2012 Công trình được hoàn thành tại ĐẠI HỌC ĐÀ NẴNG Người hướng dẫn khoa học TS. NGUYỄN THANH BÌNH Phản biện 1 TS. HUỲNH CÔNG PHÁP Phản biện 2 TS. TRẦN THIÊN THÀNH Luận văn được bảo vệ tại Hội đồng chấm Luận văn tốt nghiệp thạc sĩ kỹ thuật họp tại Đại học Đà Nằng vào ngày 19 tháng 01 năm 2013 Có thể tìm hiểu luận văn tại - Trung tâm Thông tin - Học liệu Đại học Đà Nằng - Trung tâm Học liệu Đại học Đà Nằng -1- MỞ ĐẦU 1. Tính cấp thiết của đề tài Cùng với sự phát triển vượt bậc của Công nghệ thông tin đặc biệt trong lĩnh vực Công nghệ phần mềm hoạt động kiểm thử đã được đặc biệt chú trọng thu hút sự tập trung nghiên cứu của các nhà khoa học các học giả trên toàn thế giới. Song bên cạnh những thành tựu khoa học hoạt động kiểm thử vẫn chưa thể khẳng định được rằng một sản phẩm phần mềm ra đời có chắc chắn đảm bảo tính đúng đắn có lỗi hay không. Ngày nay với sự phổ dụng và tính ưu việt của kỹ thuật lập trình hướng đối tượng sản phẩm phần mềm đã có những bước đột phá về chất lượng. Tuy nhiên vấn đề kiểm soát lỗi và hoàn thiện sản phẩm vẫn gặp rất nhiều khó khăn. Một trong những nguyên nhân dẫn đến tình trạng trên là do chúng ta chưa nhận thức đầy đủ ý nghĩa của hoạt động kiểm thử khi thực hiện các giai đoạn trong tiến trình phát triển phần mềm các phương pháp kiểm thử truyền thống vẫn được sử dụng phổ biến. Hơn nữa độ phức tạp của phần mềm ngày càng cao sự linh hoạt mềm dẻo và những đặc điểm đa dạng của kỹ thuật lập trình hướng đối tượng nếu người phát triển phần mềm không cẩn thận đôi khi sẽ trở nên nhập nhằng dễ phát sinh lỗi. Với thực trạng và yêu cầu trên việc kiểm thử các hệ thống hướng đối tượng cần phải được nghiên cứu kỹ có chiều sâu trong đó kiểm thử hệ thống hướng đối tượng dựa trên các mô hình hợp nhất là một trong những phương pháp có thể tiếp cận