Bài giảng Kiểm thử và đảm bảo chất lượng phần mềm: Chương 4

Chia sẻ: _ _ | Ngày: | Loại File: PPT | Số trang:72

Thêm vào BST

Báo xấu

24
lượt xem 6
download

Download Vui lòng tải xuống để xem tài liệu đầy đủ

Bài giảng Kiểm thử và đảm bảo chất lượng phần mềm: Chương 4 cung cấp cho người học những kiến thức như: Phân lớp tương đương; Phân tích giá trị biên; Đồ thị nhân quả - bảng quyết định; Đoán lỗi; Kiểm thử dựa trên mô hình. Mời các bạn cùng tham khảo!

Chủ đề:

Bình luận(0) Đăng nhập để gửi bình luận!

Lưu

Nội dung Text: Bài giảng Kiểm thử và đảm bảo chất lượng phần mềm: Chương 4

Chương 4 KIỂM THỬ VÀ ĐẢM BẢO CHẤT LƯỢNG PHẦN MỀM 1 Các nguyên lý 2 Vòng đời 3 Kỹ thuật kiểm thử 4 Kiểm thử chức năng 5. Kiểm thử cấu trúc 6 Quản lý chất lượng KIỂM THỬ CHỨC NĂNG 1
Kiểm thử chức năng 1 2 3 Kiểm thử phần mềm 4 5 6 Nội dung Phân lớp tương đương Phân tích giá trị biên Đồ thị nhân quả - bảng quyết định Đoán lỗi Kiểm thử dựa trên mô hình 2
Kỹ thuật phân lớp tương đương Các test case kích hoạt thành phần phần mềm (TPPM) thực hiện cùng một hành vi nhóm vào 1 nhóm (họ)  gọi là 1 lớp tương đương Mỗi nhóm chỉ định 1 test case đại diện và dùng test case để kiểm thử thành phần phần mềm Nếu test case trong lớp tương đương gây lỗi thành phần phần mềm thì các test case khác cũng sẽ gây ra lỗi như vậy và ngược lại 3
Ví dụ: TPPM “quản lý nguồn nhân lực” với đặc tả chức năng: mỗi lần nhận hồ sơ xin việc, TPPM sẽ ra quyết định • Phân tích đặc tả chức năng ta sẽ Tuổi ƯV Kết quả thấy có 4 lớp tương đương, mỗi lớp >=0 &&=16&&=18 && =55 &&
Ví dụ quản lý nguồn nhân lực…. Thay vì vét cạn 100 trường hợp  giảm còn 4 trường hợp Ta hy vọng chất lượng kiểm thử không bị giảm sút vì bình thường code là: if (applicantAge >= 0 && applicantAge = 16 && applicantAge = 18 && applicantAge =55 && applicantAge
Lựa chọn test case cho lớp đại diện tương đương? Nếu lớp tương ₫ương ₫ược xác định bởi các dữ liệu nhập là số thực liên tục, thì ta chọn 1 testcase ₫ại diện có giá trị nhập hợp lệ nằm trong khoảng liên tục các giá trị hợp lệ, và nếu muốn, 2 testcase miêu tả giá trị không hợp lệ nằm phía dưới và phía trên khoảng giá trị hợp lệ (số testcase cho mỗi lớp tương ₫ương là từ 1 tới 3). Nếu lớp tương ₫ương ₫ược xác ₫ịnh bởi các dữ liệu nhập là số nguyên liên tục, trong trường hợp này ta chọn 1 testcase ₫ại diện có giá trị nhập hợp lệ nằm trong khoảng liên tục các giá trị hợp lệ, và nếu muốn, 2 testcase miêu tả giá trị không hợp lệ nằm phía dưới và phía trên khoảng trị hợp lệ (số testcase cho mỗi lớp tương ₫ương là từ 1 tới 3). 6
Lựa chọn test case cho lớp đại diện tương đương? Nếu lớp tương ₫ương ₫ược xác ₫ịnh bởi các dữ liệu dạng liệt kê rời rạc và không có mối quan hệ lẫn nhau gồm 1 trị hợp lệ và nhiều trị không hợp lệ. Trong trường hợp này ta chọn 1 testcase có giá trị nhập hợp lệ và nếu muốn, 2 testcase miêu tả 2 giá trị không hợp lệ nào ₫ó, nhưng cho dù chọn 2 testcase nào cũng không ₫ại diện tốt cho các trường hợp không hợp lệ còn lại (số testcase cho mỗi lớp tương ₫ương là từ 1 tới 3). Nếu lớp tương ₫ương ₫ược xác ₫ịnh bởi các dữ liệu dạng liệt kê rời rạc và không có mối quan hệ lẫn nhau gồm n trị hợp lệ và m trị không hợp lệ. Trong trường hợp này ta chọn 1 testcase có giá trị nhập hợp lệ nào ₫ó và nếu muốn, 2 testcase miêu tả 2 giá trị không hợp lệ nào ₫ó, nhưng cho dù chọn các testcase nào cũng -10 1 2 3 4 5 6 7 8 không ₫ại diện tốt cho các trường hợp hợp lệ và không hợp lệ còn lại (số testcase cho mỗi lớp tương ₫ương là từ 1 tới 3). 7
Bài tập 8
Ưu nhược điểm Ưu điểm: vì mỗi vùng của lớp tương đương ta chỉ cần kiểm thử trên các phần tử đại diện nên số lượng test case giảm đi khá nhiều, thời gian kiểm thử cũng giảm đáng kể. Có thể áp dụng phân vùng tương đương cho cả miền đầu vào và đầu ra nên khả năng dự đoán lỗi tốt Nhược điểm: có thể thiếu lỗi ở biên vì chỉ chọn 1 giá trị đại diện ở khoảng giữa của miền tương đương
Kiểm thử chức năng 1 2 3 Kiểm thử phần mềm 4 5 6 Nội dung Phân lớp tương đương Phân tích giá trị biên Đồ thị nhân quả - bảng quyết định Đoán lỗi Kiểm thử dựa trên mô hình 10
Phân tích giá trị biên (Boundary value analysis – BVA) Nguyên lý: Các chương trình có thể coi là một hàm (toán học): - Các đầu vào của chương trình là miền xác định của hàm - Các đầu ra là miền giá trị của hàm Mục tiêu: sử dụng kiến thức về hàm để xác định các ca kiểm thử. Trước kia chủ yếu tập trung vào miền xác định, nhưng nay đã dựa trên cả miền giá trị của hàm để xác định ca kiểm thử Nội dung: tập trung phân tích các giá trị biên của miền dữ liệu để xây dựng dữ liệu kiểm thử BVA là kỹ thuật kiểm thử hàm phổ biến nhất 11
Nguyên tắc chọn dữ liệu thử Nguyên tắc chung: kiểm thử các dữ liệu vào gồm: - Giá trị nhỏ nhất - Giá trị gần kề với giá trị nhỏ nhất - Giá trị lớn nhất - Giá trị gần kề với giá trị lớn nhất - Giá trị bình thường Nếu dữ liệu vào thuộc một khoảng, chọn - 2 giá trị biên - 4 giá trị = 2 giá trị biên±sai số nhỏ nhất Nếu giá trị thuộc vào danh sách các giá trị, chọn: Phần tử thứ nhất, phần tử thứ 2, phần tử kế cuối và phần tử cuối Nếu dữ liệu vào là điều kiện ràng buộc số giá trị, chọn: số giá trị tối thiểu, số giá trị tối đa và một số giá trị không hợp lệ Tự vận dụng khả năng và thực tế để chọn các giá trị cần kiểm thử 12
VD Miền giá trị 13
Phân tích giá trị biên… BVA tập trung vào biên của miền xác định để xây dựng các ca kiểm thử. Lý do là lỗi thường xuất hiện ở gần các giá trị biên này Các ngôn ngữ không có kiểm tra kiểu mạnh càng cần kiểm thử các giá trị biên (javascript, php, Visual Basic) 14
Đầu vào của chương trình hợp lệ P Giả sử chương trình P nhận 2 biến đầu vào là x1 và x2 thỏa mãn a≤x1≤b và c ≤x2≤d P(x1,x2) thỏa mãn a≤x1≤b và c ≤x2≤d Chương trình nhận n đầu vào sẽ có không gian n chiều 15
Phân tích giá trị biên sẽ chọn a
Giả thuyết khiếm khuyết đơn BVA dựa trên nguyên lý giả định khiếm khuyết đơn: “Hỏng hóc xẩy ra hiếm khi do hai (hoặc hơn) khiếm khuyết cùng xẩy ra” Do đó các ca kiểm thử theo phương pháp này được tạo bằng việc lấy các giá trị bình thường của các chiều/ biến rồi lần thay đổi mỗi chiều bằng các giá trị cực trị như trên Các ca kiểm thử theo phân tích giá trị biên T = { , , , , , , < 1min+, x2nom>, , } 17
VD các ca kiểm thử cho độ dài 3 cạnh hợp lệ tam giác Case# A B C Đầu ra mong đợi 1 100 100 1 Cân 2 100 100 2 Cân 3 100 100 100 Đều 4 100 100 199 Cân 5 100 100 200 Không phải tam giác 6 100 1 100 Cân 7 100 2 100 Cân 8 100 100 100 Đều 9 100 199 100 Cân 10 100 200 100 Không phải tam giác 11 1 100 100 Cân 12 2 100 100 Cân 13 100 100 100 Đều 14 199 100 100 Cân 15 200 100 100 Không phải tam giác 18
Tổng quát hóa BVA Có hai cách tổng quát hóa BVA - Theo số biến sẽ có (4n+1) ca kiểm thử cho n biến - Theo loại khoảng của biến • Phụ thuộc vào ngôn ngữ lập trình • Tính rời rạc của biến • Tính rời rạc không bị chặn (không có cận trên và cận dưới rõ ràng) • Biến logic 19
Hạn chế của BVA BVA hiệu quả với các chương trình có các đầu vào độc lập với nhau và biểu diễn đại lượng vật lý bị chặn BVA lấy các ca kiểm thử mà không tính đến chức năng của hàm, hay ý nghĩa của các biến 20