Báo cáo " Khảo sát một số phương pháp sinh bộ kiểm thử trong kiểm thử hộp đen "
lượt xem 8
download
Trình bày các kiến thức tổng quan nhất về kiểm thử phần mềm bao gồm: các khái niệm cơ bản về kiểm thử phần mềm (định nghĩa, lý do, vai trò và mục tiêu của kiểm thử), tiến trình thực hiện kiểm thử bao gồm những giai đoạn nào, các công việc cần thực hiện trong suốt quá trình kiểm thử là gì và các cấp độ kiểm thử trong kiểm thử phần mềm bao gồm: kiểm thử đơn vị, kiểm thử tích hợp, kiểm thử hệ thống và kiểm thử chấp nhận sản phẩm. Khảo sát các phương pháp...
Bình luận(0) Đăng nhập để gửi bình luận!
Nội dung Text: Báo cáo " Khảo sát một số phương pháp sinh bộ kiểm thử trong kiểm thử hộp đen "
- 1 Khảo sát một số phương pháp sinh bộ kiểm thử trong kiểm thử hộp đen Mai Thị Kim Oanh Trường Đại học Công nghệ Luận văn ThS. ngành: Công nghệ phần mềm; Mã số: 60 48 10 Người hướng dẫn: TS. Phạm Ngọc Hùng Năm bảo vệ: 2011 Abstract. Trình bày các kiến thức tổng quan nhất về kiểm thử phần mềm bao gồm: các khái niệm cơ bản về kiểm thử phần mềm (định nghĩa, lý do, vai trò và mục tiêu của kiểm thử), tiến trình thực hiện kiểm thử bao gồm những giai đoạn nào, các công việc cần thực hiện trong suốt quá trình kiểm thử là gì và các cấp độ kiểm thử trong kiểm thử phần mềm bao gồm: kiểm thử đơn vị, kiểm thử tích hợp, kiểm thử hệ thống và kiểm thử chấp nhận sản phẩm. Khảo sát các phương pháp sing bộ kiểm thử bao gồm ba phương pháp sau: phương pháp phân tích giá trị biên, phương pháp phân hoạch tương đương và phương pháp kiểm thử dựa trên bảng quyết định. Nghiên cứu việc ứng dụng xây dựng các ca kiểm thử cho bài toán cụ thể, áp dụng các phương pháp đã khảo sát ở chương 3. Phân tích và đánh giá kết quả đã đạt được của luận văn, trình bày những hạn chế và hướng nghiên cứu phát triển trong tương lai. Keywords. Công nghệ phần mềm; Hộp đen; Bộ kiểm thử; Công nghệ thông tin; Hộp trắng Content 1.1. Đặt vấn đề Kiểm thử phần mềm [1] là một trong những hoạt động quan trọng trong tiến trình phát triển phần mềm. Nó góp một phần rất lớn trong việc đánh giá chất lượng của một phần mềm và là quy trình bắt buộc trong các dự án phát triển phần mềm. Hiện nay, hai kỹ thuật chính đang được áp dụng rộng rãi trong kiểm thử phần mềm là kiểm thử hộp trắng và kiểm thử hộp đen [1]. Tuy nhiên, trong thực tế hiện nay, các công ty phần mềm thường tập trung nguồn lực vào kiểm thử hộp đen do kỹ thuật kiểm thử hộp trắng rất tốn kém vì liên quan đến phân tích mã nguồn và yêu cầu người kiểm thử phải có hiểu biết sâu sắc về hệ thống, có khả năng phân tích cấu trúc dữ liệu cũng như am hiểu nhất định các vấn đề kỹ thuật của chương trình. Kiểm thử hộp đen là một phương pháp quan trọng trong kiểm thử phần mềm. Để thực thi được hoạt động kiểm thử này chúng ta cần sinh bộ kiểm thử hay chính là tập hợp của các ca kiểm thử. Chất lượng của hoạt động kiểm thử hoàn toàn phụ thuộc vào chất lượng của bộ kiểm thử này. Tuy nhiên, các công ty phần mềm hiện nay chủ yếu sử dụng phương pháp phân hoạch tương đương để sinh bộ kiểm thử. Phương pháp này sẽ rất tốn kém khi số lượng đầu vào của một chức năng cần kiểm thử là lớn. Hơn nữa, phương pháp này chỉ hiệu quả với giả thiết là các đầu vào hoàn toàn độc lập nhau. Với những bài toán có đầu vào phụ thuộc lẫn nhau, phương pháp phân hoach tương đương khó phát hiện ra các lỗi gây ra bởi những phụ thuộc này. Để giải quyết bài toán này, chúng ta cần khảo sát các phương pháp sinh bộ kiểm
- 2 thử và đưa ra gợi ý cho các công ty trong việc lựa chọn hay kết hợp các phương pháp để đảm bảo chất lượng phần mềm. 1.2. Nội dung nghiên cứu Luận văn tập trung vào việc nghiên cứu và khảo sát một số phương pháp sinh bộ kiểm thử thường được sử dụng trong kiểm thử hộp đen như: kiểm thử giá trị biên, kiểm thử dựa trên phân hoạch tương đương và kiểm thử dựa trên bảng quyết định. Với mỗi phương pháp, luận văn sẽ đưa ra các tiêu chí sinh bộ kiểm thử, đồng thời đánh giá được ưu điểm, nhược điểm và khả năng phát hiện lỗi của từng phương pháp theo bộ kiểm thử được sinh ra. Từ kết quả của quá trình khảo sát, luận văn sẽ đưa ra những được gợi ý cho từng loại bài toán, từng hệ thống phù hợp với phương pháp kiểm thử nào. Luận văn cũng sẽ tiến hành thử nghiệm các phương pháp kiểm thử nêu trên cho hai bài toán cụ thể và đưa ra các phân tích đánh giá cho các phương pháp kiểm thử đã khảo sát trong phạm vi luận văn này. 1.3. Cấu trúc luận văn Các phần còn lại của luận văn có cấu trúc như sau: Chương 2 trình bày các kiến thức tổng quan nhất về kiểm thử phần mềm bao gồm: các khái niệm cơ bản về kiểm thử phần mềm (định nghĩa, lý do, vai trò và mục tiêu của kiểm thử), tiến trình thực hiện kiểm thử bao gồm những giai đoạn nào, các công việc cần thực hiện trong suốt quá trình kiểm thử là gì và các cấp độ kiểm thử trong kiểm thử phần mềm bao gồm: kiểm thử đơn vị, kiểm thử tích hợp, kiểm thử hệ thống và kiểm thử chấp nhận sản phẩm. Chương này cũng sẽ trình bày các phương pháp kiểm thử chính trong kiểm thử phần mềm bao gồm kiểm thử hộp trắng và kiểm thử hộp đen. Các phương pháp sinh bộ kiểm thử trong kiểm thử hộp đen sẽ được khảo sát trong chương 3 của luận văn bao gồm ba phương pháp sau: phương pháp phân tích giá trị biên, phương pháp phân hoạch tương đương và phương pháp kiểm thử dựa trên bảng quyết định. Việc ứng dụng xây dựng các ca kiểm thử cho bài toán cụ thể, áp dụng các phương pháp đã khảo sát ở chương 3 sẽ được trình bày trong nội dung của chương 4. Chương 5 là chương cuối cùng với nội dung tóm tắt kết quả đã đạt được của luận văn, trình bày những hạn chế và hướng nghiên cứu phát triển trong tương lai. References Tiếng Việt [1] Nguyễn Văn Vỵ, Nguyễn Việt Hà (2008), “Giáo trình kỹ nghệ phần mềm”, NXB Đại học Quốc gia Hà Nội. Tiếng Anh [2] Rex Black (October 2008), “Advanced_Software_Testing”, Rocky Nook Publisher. [3] Lee Copeland (2004), “A Practitioner's Guide to Software Test Design”, Artech House Publisher. [4] Dorothy Graham, Erik van Veenendaal, Isabel Evans, Rex Black (2008), "Foundations of Software Testing: ISTQB Certification", Intl Thomson Business Publisher. [5] IEEE (1990), “Standard Glossary of Software Engineering Terminology”, IEEE Computer Society Press Publisher. [6] Paul C.Jorgensen (2002), “Software testing, a craftman's approach”, second edition, CRC Press Publisher. [7] Glenford J. Myers, Tom Badgett, Todd M. Thomas, Corey Sandler (2004), “The Art of Software Testing”, 2nd Edition, John Wiley & Sons Publisher.
CÓ THỂ BẠN MUỐN DOWNLOAD
-
Báo cáo khảo sát tuyến điểm du lịch Hà Nội - Huế - Đà Nẵng - Quảng Nam
52 p | 1655 | 316
-
Báo cáo đề tài: KHẢO SÁT HỆ THỐNG NHIÊN LIỆU ĐỘNG CƠ 2KD-FTV
27 p | 504 | 113
-
Báo cáo: Khảo sát sự phát triển của rau muống về trọng lượng trong các nồng độ dung dịch thuỷ canh
6 p | 520 | 84
-
BÁO CÁO "KHẢO SÁT SỰ PHÁT QUANG TỰ PHÁT VÀ PHÁT QUANG CƯỠNG BỨC CỦA NHÓM VẬT LIỆU PHÁT QUANG SỬ DỤNG TRONG VIỆC CHẾ TẠO LED TRẮNG "
6 p | 149 | 34
-
Báo cáo: Khảo sát trong điều kiện nhiệt độ cao hệ hợp kim cứng BK, TK sử dụng trong chế tạo dao cắt, khoan thai thác đá
71 p | 160 | 28
-
Khảo sát một số đặc đIểm dịch tễ học và thói quen tìm kiếm dịch vụ y tế của bệnh nhân mắc bệnh lây truyền qua đường tình dục đến khám tại Viện Da liễu TRUNG UONG
8 p | 127 | 15
-
Báo cáo " Khảo sát ngữ nghĩa ngữ dụng của hai từ "vừa" và "mới" trong tiếng Việt hiện đại"
8 p | 96 | 12
-
Báo cáo " Khảo sát độ hạt và ảnh hưởng của nó tới tính chất của đá mài chế tạo ở Việt Nam"
4 p | 111 | 12
-
Báo cáo: Khảo sát một số chỉ tiêu sinh sản của đàn trâu nội nuôi tại một số tỉnh thuộc vùng tây bắc việt nam
7 p | 95 | 11
-
Báo cáo "Khảo sát độ nhiễm vi sinh vật trong một số nguyên liệu chính dùng sản xuất sữa tiệt trùng "
6 p | 103 | 10
-
Báo cáo khoa học: Một số phương pháp tính chuyển tọa độ trong khảo sát thủy đạc hiện nay đang áp dụng ở Việt Nam
7 p | 130 | 9
-
Khóa luận tốt nghiệp Văn học: Khảo sát tiêu đề trên báo Tuổi trẻ
102 p | 10 | 8
-
Khảo sát một sô đặc điểm hình thái, sinh sản, sinh trưởng cá tra bạch tạng và cá lai giữa cá tra bạch tạng với cá bình thường (Pangasius hyphophthalmus)
5 p | 94 | 8
-
Báo cáo nghiên cứu khoa học: "KHẢO SÁT PHƯƠNG THỨC BIỂU ĐẠT NGỮ NGHĨA TRONG VĂN BẢN TIN TIẾNG NGA, VÀ TIẾNG VIỆT"
9 p | 124 | 7
-
Báo cáo khảo sát liên kết giữa các địa phương trong phát triển vùng tại Cộng hòa Liên bang Đức
33 p | 67 | 7
-
BÁO CÁO " KHẢO SÁT MỘT SỐ ĐẶC ĐIỂM HÌNH THÁI CỦA CÁ TRA NGHỆ (Pangasius kunyit) "
10 p | 133 | 6
-
Báo cáo " Khảo sát tình trạng ô nhiễm vi khuẩn trong thịt lợn sữa, lợn choai xuất khẩu tại một số cơ sở giết mổ trên địa bàn Hải Phòng "
5 p | 91 | 6
-
Báo cáo khoa học: " Khảo sát một số chỉ tiêu sinh sản của đàn trâu nội nuôi tại một số tỉnh thuộc vùng tây bắc việt nam"
6 p | 84 | 4
Chịu trách nhiệm nội dung:
Nguyễn Công Hà - Giám đốc Công ty TNHH TÀI LIỆU TRỰC TUYẾN VI NA
LIÊN HỆ
Địa chỉ: P402, 54A Nơ Trang Long, Phường 14, Q.Bình Thạnh, TP.HCM
Hotline: 093 303 0098
Email: support@tailieu.vn