(Luận văn thạc sĩ) tìm hiểu, nghiên cứu các kỹ thuật cho kiểm thử miền và cải tiến các kỹ thuật đó

ĐẠI HỌC QUỐC GIA HÀ NỘI TRƢỜNG ĐẠI HỌC CÔNG NGHỆ TRẦN VĂN TRỌNG TÌM HIỂU, NGHIÊN CỨU CÁC KỸ THUẬT CHO KIỂM THỬ MIỀN VÀ CẢI TIẾN CÁC KỸ THUẬT ĐĨ LUẬN VĂN THẠC SĨ CƠNG NGHỆ THƠNG TIN HÀ NỘI - 2014 ĐẠI HỌC QUỐC GIA HÀ NỘI TRƢỜNG ĐẠI HỌC CƠNG NGHỆ TRẦN VĂN TRỌNG TÌM HIỂU, NGHIÊN CỨU CÁC KỸ THUẬT CHO KIỂM THỬ MIỀN VÀ CẢI TIẾN CÁC KỸ THUẬT ĐĨ Ngành: Cơng nghệ thơng tin Chuyên ngành: Kỹ thuật phần mềm Mã số: 60480103 LUẬN VĂN THẠC SĨ CÔNG NGHỆ THÔNG TIN NGƢỜI HƢỚNG DẪN KHOA HỌC: TS ĐẶNG VĂN HƢNG HÀ NỘI - 2014 LỜI CAM ĐOAN Tôi xin cam đoan kết đạt đƣợc luận văn sản phẩm nghiên cứu, tìm hiểu riêng cá nhân tơi Trong tồn nội dung luận văn, điều đƣợc trình bày cá nhân đƣợc tổng hợp từ nhiều nguồn tài liệu Tất tài liệu tham khảo có xuất xứ rõ ràng đƣợc trích dẫn hợp pháp Tơi xin hồn tồn chịu trách nhiệm chịu hình thức kỷ luật theo quy định cho lời cam đoan Hà Nội, ngày 11 tháng 06 năm 2014 Ngƣời cam đoan Trần Văn Trọng LỜI CẢM ƠN Sau thời gian học tập nghiên cứu rèn luyện trƣờng Đại học Công nghệ - Đại học Quốc gia Hà Nội, em học hỏi đƣợc thêm nhiều kiến thức nhƣ kỹ góp phần hỗ trợ tốt cơng việc Đến em hồn thành chƣơng trình đào tạo luận văn tốt nghiệp Em xin chân thành cảm ơn Ban giám hiệu nhà trƣờng quan tâm tạo điều kiện thuận lợi để chúng em học tập suốt quãng thời gian trƣờng Xin chân thành cảm ơn Thầy, Cô giáo khoa Cơng nghệ thơng tin nói riêng thầy giáo khoa trƣờng nói chung ln nhiệt tình giúp đỡ tạo điều kiện tốt cho em suốt trình học tập trƣờng Em xin chân thành cảm ơn TS Đặng Văn Hƣng cán giảng viên trƣờng Đại học Cơng Nghệ tận tình giúp đỡ em chuyên môn, nghiên cứu định hƣớng phát triển suốt trình làm luận văn Xin chân thành cảm ơn bạn học viên khóa K18 – ngƣời bạn thân thiện, nhiệt tình giúp đỡ chia sẻ cho kinh nghiệm công việc, học tập nhƣ sống suốt thời gian học tập Cuối cùng, với gia đình, xin gửi lời biết ơn sâu sắc gia đình ln bên ủng hộ đƣờng học tập nghiên cứu khó khăn, vất vả Hà Nội, ngày 11 tháng 06 năm 2014 Học viên Trần Văn Trọng MỤC LỤC LỜI CAM ĐOAN LỜI CẢM ƠN MỤC LỤC DANH MỤC CÁC BẢNG BIỂU DANH MỤC CÁC HÌNH VẼ LỜI MỞ ĐẦU 11 Chƣơng LÝ THUYẾT VỀ KIỂM THỬ MIỀN 15 1.1 Khái quát kiểm thử đơn vị 15 1.1.1 Kiểm thử dòng điều khiển 15 1.1.2 Kiểm thử dòng liệu 19 1.1.3 Kiểm thử miền 21 1.2 Kiểm thử miền 22 1.2.1 Khái niệm lỗi miền 22 1.2.2 Xây dựng miền kiểm thử từ chƣơng trình 25 1.2.3 Các kiểu xuất lỗi miền 29 1.2.4 Xây dựng điểm kiểm tra ON OFF kiểm thử miền 33 1.2.5 Xây dựng chiến lƣợc lựa chọn ca kiểm thử 36 Chƣơng 2: CÁC KỸ THUẬT CẢI TIẾN KIỂM THỬ MIỀN 45 2.1 Cải tiến kỹ thuật lựa chọn điểm ON OFF từ phƣơng pháp 45 2.2 Xây dựng chiến lƣợc bổ sung cho kiểm thử miền 50 2.2.1 Phân tích lỗi tiềm ẩn chiến lƣợc kiểm thử miền Nx1 50 2.2.2 Chiến lƣợc thay chiến lƣợc kiểm tra miền Nx1 51 2.3 Đơn giản hóa kỹ thuật kiểm thử miền 51 Chƣơng 3: THỰC NGHIỆM KIỂM THỬ MIỀN 60 3.1 Mơ tả tốn 60 3.2 Xây dựng ca kiểm thử với phƣơng pháp kiểm thử miền 61 3.2.1 Xác định miền từ mã nguồn chƣơng trình 61 3.2.2 Xây dựng ca kiểm thử cho miền 63 3.3 Ứng dụng ca kiểm thử có đƣợc từ phƣơng pháp kiểm thử miền để kiểm tra tính xác phần mềm 67 3.3.1 Kiểm thử với mô-đun “Mô-đun xét trúng tuyển 01” 68 3.3.2 Kiểm thử với mô-đun “Mô-đun xét trúng tuyển 02” 68 3.4 Xây dựng ca kiểm thử với phƣơng pháp dòng điều khiển 69 3.5 Ứng dụng ca kiểm thử có đƣợc từ phƣơng pháp kiểm thử dịng điều khiển để kiểm tra tính xác phần mềm 72 3.5.1 Kiểm thử với mô-đun “Mô-đun xét trúng tuyển 01” 72 3.5.2 Kiểm thử với mô-đun “Mô-đun xét trúng tuyển 02” 72 3.6 Kết luận 73 KẾT LUẬN VÀ ĐỊNH HƢỚNG NGHIÊN CỨU 74 Các kết đạt đƣợc: 74 Định hƣớng phát triển: 74 TÀI LIỆU THAM KHẢO 76 DANH MỤC CÁC BẢNG BIỂU Bảng 1.1: Hàm tính trung bình cộng cho số lẻ < 100 .17 Bảng 1.2: Danh sách ca kiểm thử cho ví dụ kiểm thử dòng điều khiển .18 Bảng 1.3: Danh sách ca kiểm thử cho ví dụ kiểm thử dòng liệu 21 Bảng 1.4: Mã chƣơng trình tính điểm trung bình tốn văn 23 Bảng 1.5: Mã chƣơng trình codedomain .25 Bảng 1.6: Hai giải thích tuyên bố if() thứ hình 1.7 27 Bảng 1.7: Hàm tính điểm tổng kết mơn học ví dụ 05 29 Bảng 1.8: Các vị từ định nghĩa miền TT Hình 1.8 29 Bảng 1.9: Phát lỗi biên dịch chuyển làm giảm độ lớn miền xét (Closed Inequality) 37 Bảng 1.10: Phát lỗi biên dịch chuyển làm tăng độ lớn miền xét (Closed Inequality) 39 Bảng 1.11: Phát lỗi nghiêng biên (Closed Inequality) 40 Bảng 1.12: Phát lỗi đóng biên (Closed Inequality) .40 Bảng 1.13: Phát lỗi biên dịch chuyển làm giảm độ lớn miền (Open Inequality) 41 Bảng 1.14: Phát lỗi biên dịch chuyển làm tăng độ lớn miền xét (Open Inequality) 42 Bảng 1.15: Phát lỗi nghiêng biên (Open Inequality) .43 Bảng 1.16: Phát lỗi xảy lỗi đóng biên (Open Inequality) 44 Bảng 2.1: Chƣơng trình mơ tả Ví dụ 06 53 Bảng 2.2: Các ca kiểm thử cho kết tốt nghiệp trƣờng hợp điểm nghề