1 số kỹ thuật kiểm thử
Kiểm thử dựa trên phân tích giá trị biên
Tổng quan về kiểm thử dựa trên giá trị biên
click to edit
các chương trình có thể coi là 1 hàm toán học
Đầu vào là miền xác định
Đầu ra là miền giá trị
Đây là 1 phương phá phổ biến nhất
Sử dụng các kiến thức về hàm để tạo ra các ca kiểm thử
Phân tích giá trị biên
tập trung vào phần biên của miền xác định để tạo ra các ca kiểm thử
Lý do : lỗi thường ở phần biên
chương trình viết bằng ngôn ngữ kiểu dịch cần đc kiểm tra bằng giá trị biên
Đầu vào hợp lệ của P
Giả sử có 2 biến đầu vào y1 thuộc [a ,b] và y2 thuộc [c d]
chương trình có n biến thì có miền xác định ở không gian n chiều
Chọn giá trị
Nhỏ nhất
ngay trên nhỏ nhất
bình thường
ngay dưới lớn nhất
lớn nhất
Tổng quát hóa
Theo số biến
N biến thì có 4n+1 kiểu kiểm thử
theo loại khoảng của biến
BVA hiệu quả với các chương trình đầu vào độc lập với nhau và các biến bị chặn
BVA lấy các ca kiểm thử mà ko tính đến chức năng của hàm ay ý nghĩa của biến
1 số loại kiểm thử khác ( mở rộng từ BVA )
Biên mạnh
Ngoài năm giá trị biên bổ sung thêm 2 giá trị
Ngay trên cực đại
ngay dưới cực tiểu
Trường hợp xấu nhất
click to edit
Điều gì xảy ra khi nhiều hơn một biến nhận các giá trị (gần) cực trị?
Khi các biến có tương tác với nhau thì cần kiểm tra các bộ giá trị kết hợp các cực trị này
Có thể kết hợp với kiểm thử mạnh để có bộ kiểm thử trường hợp xấu nhất mạnh
Kiểm thử giá trị đặc biệt
Là phương pháp sử dụng trong thực tế nhiều nhất , ko có dạng cố định nhât ,dùng kỹ nghệ phán đoán để đưa ra các ca kiểm thử
Mặc dù phương pháp này chủ quan cao nhưng vẫn đưa ra các kết quả chính xác để tìm lỗi
Kiêmr thử dựa trên lớp tương đương
địnhg nghĩa mục đích
Lý do : cảm giác kiểm thử hết , tránh dư thừa
Hợp tất cả các lớp ở miền đầu vào
2 lớp bất kỳ sẽ không giao nhau
Chọn phân hạch
Thường là “thủ công” (craft):
Không dựa trên mã nguồn, chỉ dựa trên đặc tả
Cần hiểu biết về miền xác định, thường không thể xác định dựa vào đặc tả thiết kế giao diện
Phải hiểu đầu vào phụ thuộc nhau như thế nào
ETC yếu
chỉ lấy các tất cả các phần tử đại diên 1 lần
ví dụ
Xét chương trình P có ba biến đầu vào: a, b và c với các miền xác định là A, B, and C.
Phân hoạch của các miền này giả sử là:
A = A1 U A2 U A3
B = B1 U B2 U B3 U B4
C = C1 U C2
số ca kiểm thử tối thiểu sẽ bằng số lớp phân hạch có nhiều nhất trong tập con
ETC mạnh
dựa trên tích đè các của các lớp con
Ví dụ Trc 342 = 24
ETC truyền thống
Chỉ biết phân biệt lớp giá trị và ko hợp lệ
click to edit