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 Chƣơng LÝ THUYẾT VỀ KIỂM THỬ MIỀN 1.1Khái quát kiểm thử đơn vị 1.1 1.1 1.1 1.2Kiểm thử miền 1.2 1.2 1.2 1.2 1.2 Chƣơng 2: CÁC KỸ THUẬT CẢI TIẾN KIỂM THỬ MIỀN 2.1Cải tiến kỹ thuật lựa chọn điểm 2.2Xây dựng chiến lƣợc bổ sung c 2.2 2.2 2.3Đơn giản hóa kỹ thuật kiểm th Chƣơng 3: THỰC NGHIỆM KIỂM THỬ MIỀN 3.1Mơ tả tốn 3.2Xây dựng ca kiểm thử với p 3.2 3.2.2 3.3 Ứng dụng ca kiểm thử có tra tính xác phần mềm 3.3.1 3.3.2 3.4 Xây dựng ca kiểm thử với p 3.5 Ứng dụng ca kiểm thử có đ để kiểm tra tính xác phần mềm 3.5.1 3.5.2 3.6 Kết luận KẾT LUẬN VÀ ĐỊNH HƢỚNG NGHIÊN CỨU Các kết đạt đƣợc: Định hƣớng phát triển: TÀI LIỆU THAM KHẢO 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 Bảng 1.2: Danh sách ca kiểm thử cho ví dụ kiểm thử dòng điều khiển Bảng 1.3: Danh sách ca kiểm thử cho ví dụ kiểm thử dịng liệu Bảng 1.4: Mã chƣơng trình tính điểm trung bình tốn văn Bảng 1.5: Mã chƣơng trình codedomain Bảng 1.6: Hai giải thích tun bố if() thứ hình 1.7 Bảng 1.7: Hàm tính điểm tổng kết mơn học ví dụ 05 Bảng 1.8: Các vị từ định nghĩa miền TT Hình 1.8 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) 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) Bảng 1.11: Phát lỗi nghiêng biên (Closed Inequality) Bảng 1.12: Phát lỗi đóng biên (Closed Inequality) Bảng 1.13: Phát lỗi biên dịch chuyển làm giảm độ lớn miền (Open Inequality) 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) Bảng 1.15: Phát lỗi nghiêng biên (Open Inequality) Bảng 1.16: Phát lỗi xảy lỗi đóng biên (Open Inequality) Bảng 2.1: Chƣơng trình mơ tả Ví dụ 06 Bảng 2.2: Các ca kiểm thử cho kết tốt nghiệp trƣờng hợp điểm nghề