Bài giảng Kiểm thử phần mềm: Bài 5 - ThS. Nguyễn Thị Thanh Trúc

Bài giảng Kiểm thử phần mềm - Bài 5: Các kỹ thuật kiểm thử cung cấp cho người học các kiến thức về kỹ thuật kiểm thử hộp đen bao gồm: Kỹ thuật phân lớp tương đương, kỹ thuật dựa trên giá trị biên, kỹ thuật dựa trên giá trị biên,... Mời các bạn cùng tham khảo

ĐẠI HỌC CÔNG NGHỆ THÔNG TIN KHOA CÔNG NGHỆ PHẦN MỀM KIỂM THỬ PHẦN MỀM (Software Testing) GV: ThS Nguyễn Thị Thanh Trúc Khoa: Công nghệ Phần mềm Email: trucntt@uit.edu.vn CuuDuongThanCong.com https://fb.com/tailieudientucntt Bài 5: Các kỹ thuật kiểm thử • • • • Test tĩnh (Static Verification) Test động (Dynamic Testing) 5.1 Các kỹ thuật kiểm thử hộp đen 5.2 Các kỹ thuật kiểm thử hộp trắng CuuDuongThanCong.com https://fb.com/tailieudientucntt Các kỹ thuật kiểm thử • Test tĩnh (Static Verification) – Thực kiểm chứng mà không cần thực thi chương trình – Kiểm tra tính đắn tài liệu có liên quan tạo trình xây dựng ứng dụng – Đạt quán hiểu rõ hệ thống – Giảm thời gian lập trình, thời gian chi phí test,… • Test động (Dynamic Testing) – Thực kiểm thử dựa việc thực thi chương trình CuuDuongThanCong.com https://fb.com/tailieudientucntt Dynamic Testing - Kiểm thử động Dynamic Specification-based Structure-based Equivalence Partitioning Experience-based Basis Path Error Guessing Control-flow Boundary Value Analysis Decision Tables Data-flow Exploratory Testing Cause-Effect Graphing CuuDuongThanCong.com https://fb.com/tailieudientucntt Các phương pháp kiểm thử (1) • Funtional Testing (Black Box Testing): – Test dựa mô tả, xem xét phần mềm với liệu đầu vào đầu mà không cần biết cấu trúc phần mềm Nghĩa tester tập trung vào mà phần mềm làm, khơng cần biết phần mềm làm – Ưu điểm: • Không phụ thuộc vào việc thực phần mềm • Việc phát triển test case diễn song song với trình thực phần mềm  Rút ngắn thời gian thực dự án CuuDuongThanCong.com https://fb.com/tailieudientucntt Các phương pháp kiểm thử (2) • Structural Testing (White Box Testing): – Test dựa cấu trúc gọi whitebox hay glass-box đòi hỏi hiểu biết cấu trúc phần mềm, nghĩa phần mềm hoạt động CuuDuongThanCong.com https://fb.com/tailieudientucntt Các phương pháp kiểm thử (3) • Experience Testing (Test dựa kinh nghiệm) – Kỹ thuật đỏi hỏi hiểu biết, kỹ kinh nghiệm người test – Dựa vào kinh nghiệm thu thập từ hệ thống trước đó, tester dễ dàng nhìn thấy điểm sai chương trình CuuDuongThanCong.com https://fb.com/tailieudientucntt Tổng quan kiểm thử hộp đen • Phương pháp kiểm thử hộp đen: coi hệ thống hộp đen, thấy cấu trúc logic bên Người làm kiểm thử tập trung vào yêu cầu chức phần mềm dựa liệu lấy từ đặc tả • Đặc trưng: – Nhằm thuyết minh: chức phần mềm đủ & vận hành – Thực phép thử qua giao diện CuuDuongThanCong.com https://fb.com/tailieudientucntt Tổng quan kiểm thử hộp đen • Kiểm thử hộp đen nhằm tim loại sai: – Chức thiếu không đắn – Sai giao diện – Sai cấu trúc truy cập liệu – Sai thực thi chức – Sai khởi đầu kết thúc mô đun CuuDuongThanCong.com https://fb.com/tailieudientucntt Các kỹ thuật kiểm thử hộp đen • Kỹ thuật phân lớp tương đương (Equivalence Class Testing) • Kỹ thuật dựa giá trị biên (Boundary Value Testing) • Kỹ thuật dựa bảng định (Decision Table-Based Testing) • Kỹ thuật dựa đồ thị nguyên nhân – kết (causes-effects) • … 10 CuuDuongThanCong.com https://fb.com/tailieudientucntt Bài tập (Giải) • Thu nhập hàng tháng Đầu vào Lớp hợp lệ Đánh dấu Thu nhập [1000$ hàng tháng ,83333$] Số nhà cầm cố [1,5] H1 H2 Lớp ko hợp lệ 8333$ K2 5 K4 K1 • Các ca kiểm thử TC1(H1,H2), TC2(H1,K3), TC3(H1,K4), TC4(K1,H2), TC5(K2, H2) 81 CuuDuongThanCong.com https://fb.com/tailieudientucntt BT2 • Các giá trị biên cần kiểm tra – Với Thu nhập hàng tháng {999$, 1000$, 83333$,83334$} – Với số nhà cầm cố {0,1,5,6} 82 CuuDuongThanCong.com https://fb.com/tailieudientucntt BT2: Các ca kiểm thử TC 10 11 12 13 Đầu vào Đầu mong đợi Thu nhập Số lượng nhà 1000$ 5000$ 83333$ 1000$ 8333$ 1000$ 8333$ 8333$ 8333$ 999$ 8334$ 999$ 8334$ 5 6 1 5 CuuDuongThanCong.com Được chấp Được chấp Được chấp Được chấp Được chấp Không chấp Không chấp Không chấp Không chấp Không chấp Không chấp Không chấp Không chấp https://fb.com/tailieudientucntt 83 BT3: bảng phân vùng tương đương Đầu vào Họp lệ Đánh dấu Ko Hợp lệ Đánh dấu Tên biến 1-2 k tự H1 Số lượng biến H2 Rỗng >2 k tự K1 K2 K3 H3 >1 Không phải số nguyên dương K4 K5 Không phải số nguyên K6 Không phải số Rỗng Không phải số nguyên dương K7 K8 K9 Không phải số nguyên K10 Không phải số Rỗng K tự khác dấu = K tự khác To K11 K12 K13 K14 Cận Cận Toán tử gán Từ khóa To Số Nguyên dương Số nguyên dương = To CuuDuongThanCong.com H4 H5 H6 https://fb.com/tailieudientucntt 84 BT3 Test case 85 CuuDuongThanCong.com https://fb.com/tailieudientucntt BT4 (Giải) • Bảng phân hoạch tương đương 86 CuuDuongThanCong.com https://fb.com/tailieudientucntt Các ca kiểm thử • Test case 87 CuuDuongThanCong.com https://fb.com/tailieudientucntt Các ca kiểm thử (tiếp) • Test case 88 CuuDuongThanCong.com https://fb.com/tailieudientucntt Bài tập (Bảng định) • Nếu bạn có thẻ đường sắt "over 60s" giảm giá 34% tất vé bạn mua • Khi bạn với trẻ em (dưới 16 tuổi), bạn giảm 50% bạn có thẻ "family rail card", trường hợp ko có thẻ bạn giảm 10% • Bạn sử dụng hình thức khuyến mại giao dịch • Hãy viết bảng định liệt kê toàn kết hợp loại thẻ kết giảm giá Và viết test case từ bảng định 89 CuuDuongThanCong.com https://fb.com/tailieudientucntt Bài tập (Bảng định) • Một chương trình phân loại kết học sinh viên dựa tổng điểm Biết tổng điểm sinh viên (tối đa 100) kỳ điểm thành phần cộng điểm thi • Trong điểm thi tối đa 75 điểm, điểm thành phần tối đa 25 điểm • Kết phân loại sau Tổng điểm TĐ Kết – TĐ>70 A – 50