Bài giảng Công cụ kiểm thử phần mềm - Bài 3: Thiết kế kiểm thử phần mềm - Trần Thị Bích Hạnh

Nội dung text: Bài giảng Công cụ kiểm thử phần mềm - Bài 3: Thiết kế kiểm thử phần mềm - Trần Thị Bích Hạnh

1. Bài toán Kiểm thử Chương trình tính tổng 2 số nguyên, mỗi số có từ 1 đến 2 chữ số 1
2. Đặt vấn đề Có vô số ca kiểm thử Thời gian & Nhân lực giới hạn Không thể kiểm thử tất cả Cần phương pháp thiết kế phù hợp Ít ca kiểm thử Nhưng có khả năng phát hiện nhiều lỗi, độ phủ lớn 3
3. Phân hoạch tương đương Phân chia dữ liệu thành các lớp có cùng hành vi Tạo ca kiểm thử cho mỗi lớp tương đương Kiểm thử một giá trị đại diện của lớp Nếu giá trị đại diện bị lỗi các giá trịtrong lớp đó cũng sẽ bị lỗi như vậy Giảm số lượng ca kiểm thử, tăng độ phủ 5
4. Bước 1. Xác định Input & Output Dựa vào đặc tả chương trình Ví dụ: Chương trình tính tổng 2 số Input: 2 số A B Output: Tổng SUM Thông báo lỗi 7
5. Bảng tổng hợp lớp tương đương STT Input / Output Lớp tương đương EC1 -99 99 EC4 A không phải là số nguyên EC5 -99 99 EC8 B không phải là số nguyên EC9 = A+B SUM EC10 Thông báo lỗi 9
6. Ví dụ Nhập vào số nguyên dương nhỏ hơn 100 C1: là số nguyên EC1: là số nguyên, valid EC2: không là số nguyên, invalid C2: [0, 100) EC3: 0 = 100, invalid Valid Là số nguyên, 0 = 100 Không phải là số nguyên (0 =100) 11
7. Ví dụ Tọa độ điểm (x,y): 3 7 Y 9 13
8. Bước 3. Xác định các ca kiểm thử Giả sử có 3 biến (X, Y, Z) Xét 1 lớp tương đương của biến (Ví dụ X) Lựa chọn 1 giá trị đại diện trong lớp tương đương của biến đó (X) làm giá trị kiểm thử Các biến khác (Y, Z) chọn giá trị đại diện trong lớp tương đương hợp lệ Nguyên tắc Phủ nhiều lớp tương đương hợp lệ có thể có của nhiều biến Tại một thời điểm Chỉ phủ 1 lớp tương tương không hợp lệ của 1 biến 15
9. Xác định các ca kiểm thử STT Lớp tương đương Input 1 (A) Input 2 (B) Output mong đợi EC1 -99 99 102 9 Thông báo lỗi EC4 A không phải là số nguyên Abc 9 Thông báo lỗi EC5 -99 99 10 200 Thông báo lỗi EC8 B không phải là số nguyên 10 1.25 Thông báo lỗi EC9 SUM = A+B 10 9 19 EC1 Thông báo lỗi -102 9 Thông báo lỗi 0 17
10. PHÂN TÍCH GIÁ TRỊ BIÊN 19
11. Phân tích Giá trị biên Sử dụng khi các lớp tương đương có thứ tự Chọn các test case: Giá trị biên cho đầu vào Giá trị đầu vào cho ra các giá trị biên đầu ra 8* 1 9* - Partition’s Valid Inputs 2 5 LB+1 UB+1 Lower Boundary (LB) 3 Upper Boundary (UB) 6 LB-1 UB-1 21 4 7
12. Robustness Testing Số ca kiểm thử giá trị biên cho trường hợp có n biến f = 6n + 1 23
13. Robust Worst-case Testing Số ca kiểm thử giá trị biên cho trường hợp có n biến f = 7n 25