Bài giảng Đảm bảo và kiểm soát chất lượng phần mềm: Chương 5 - Nguyễn Mạnh Tuấn

Chia sẻ: 653543 653543 | Ngày: | Loại File: PDF | Số trang:56

Thêm vào BST

Báo xấu

94
lượt xem 10
download

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

Chương 5 cung cấp kiến thức về các kỹ thuật kiểm tra động. Nội dung chính trong chương này gồm có: Tổng quan về kiểm thử động, kiểm thử hộp đen, kiểm thử hộp trắng, kỹ thuật dựa trên kinh nghiệm, chọn kỹ thuật kiểm thử phù hợp. 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 Đảm bảo và kiểm soát chất lượng phần mềm: Chương 5 - Nguyễn Mạnh Tuấn

ĐẢM BẢO VÀ KIỂM SOÁT CHẤT LƯỢNG Chương 5: Các kỹ thuật kiểm tra động HCM – 10/2012 4/23/2014 1
Nội dung  Tổng quan về kiểm thử động  Kiểm thử hộp đen  Phân hoạch tương đương  Phân tích giá trị biên  Sơ đồ chuyển trạng thái  Bảng quyết định  Kiểm thử hộp trắng  Luồng điều khiển  Kỹ thuật dựa trên kinh nghiệm  Chọn kỹ thuật kiểm thử phù hợp 4/23/2014 Trang 2
Tại sao cần kiểm thử Động?  Testing hết tất cả các trường hợp là điều không thể => Phải xác định 1 tập con:  Có khả năng xác định lỗi cao nhất  Với chi phí nhỏ nhất  Phải thông qua 1 quy trình để giúp xác định được 1 danh sách test case phù hợp nhất  Test-case hiệu quả (Effective): tìm nhiều lỗi • Tập trung vào những lỗi đặc thù • Testing đúng cái cần được Test  Test-case hữu hiệu (Efficient): tìm lỗi với chi phí nhỏ nhất • Tránh trùng lấp • Các kỹ thuật phải có tính đo lường được 4/23/2014 Trang 3
3 kiểu thiết kế kiểm thử động  Hộp đen (Specification-based - black box) Hộp trắng (Structure-based - white box)  Dựa trên kinh nghiệm(Experience-based : tấn công, thăm dò, danh sách ý kiểm tra)  Tạo kiểm thử chủ yếu nhờ vào sự hiểu biết về hệ thống, kinh nghiệm quá khứ, phương pháp phỏng đoán về lỗi Nên áp dụng ở đâu? output 4/23/2014 Trang 4
Áp dụng ở đâu?  Hộp đen thường áp dụng cho tất cả các Chấp nhận cấp độ nhưng tập trung vào các cấp độ cao (System và Hệ thống Acceptance)  Hộp trắng thường Tích hợp áp dụng ở những cấp độ thấp (Unit và Integration) Đơn vị  Dựa trên kinh nghiệm khi không rõ yêu cầu 4/23/2014 Trang 5
Chiến lược kiểm thử  Mỗi phương pháp có những ưu điểm cũng như khuyết điểm riêng  Cần kết hợp sức mạnh của cả hai phương pháp trên  Bắt đầu bằng việc phát triển các ca kiểm thử sử dụng phương pháp hộp đen  Sau đó phát triển bổ sung các ca kiểm thử cần thiết với phương pháp hộp trắng Hộp đen Hộp trắng 1. Phân hoạch tương đương 1. Luồng điều khiển 2. Phân tích giá trị biên 2. Dòng dữ liệu 3. Sơ đồ chuyển trạng thái 4. Bảng quyết định 5. Đồ thị Nhân quả 4/23/2014 Trang 6
Nội dung  Tổng quan về kiểm thử động  Kiểm thử hộp đen  Phân hoạch tương đương  Phân tích giá trị biên  Sơ đồ chuyển trạng thái  Bảng quyết định  Đồ thị Nhân quả  Kiểm thử hộp trắng  Luồng điều khiển  Kỹ thuật dựa trên kinh nghiệm  Chọn kỹ thuật kiểm thử 4/23/2014 Trang 7
Phân lớp/hoạch tương đương Equivalence partitioning  Phân Chia thông tin đầu vào, ra, hành vi và môi trường thành các phân lớp được“xử lý” tương đương  Vùng hợp lệ (Valid)  Vùng không hợp lệ (Invalid)  Định nghĩa ít nhất 1 kịch bản cho mỗi phần hoặc các vùng giá trị  K iểm thử một giá trị đại diện của lớp  Nếu giá trị đại diện bị lỗi thì các thành viên trong lớp đó cũng sẽ bị lỗi như thế. invalid valid invalid 0 1 100 101 4/23/2014 Trang 8
Phân lớp/hoạch tương đương Equivalence partitioning  Bài tập: Nhập tọa độ 1 điểm trong không gian hai chiều với  3≤ x ≤7  5≤ y ≤9 4/23/2014 Trang 9
Phân tích giá trị biên Boundary value analysis (BVA)  Kinh nghiệm cho thấy các ca kiểm thử mà khảo sát tỷ mỷ các điều kiện biên có tỷ lệ phần trăm cao hơn các ca kiểm thử khác  Là phương pháp bổ sung thêm cho phân lớp tương đương, nhưng khác với phân lớp tương đương ở 2 khía cạnh:  Chọn các giá trị biên đầu vào để kiểm tra các lớp đầu vào thay vì thêm vào những giá trị tùy ý  Cũng chọn những giá trị đầu vào như thế nào để cho ra những giá trị biên đầu ra. invalid valid invalid 4/23/2014 0 1 100 101 Trang 10
Phân tích giá trị biên Boundary value analysis (BVA) 4/23/2014 Trang 11
Customer name Number of characters: 1 2 64 65 invalid valid invalid Valid characters: A-Z -’ a-z Any space other Conditions Valid Invalid Valid Invalid Partitions Partitions Boundaries Boundaries Customer 2 to 64 chars < 2 chars 2 chars 1 chars name valid chars > 64 chars 64 chars 65 chars invalid chars 0 chars 4/23/2014 Trang 12
Account number valid: non-zero first character: invalid: zero number of digits: 5 6 7 invalid invalid valid Conditions Valid Invalid Valid Invalid Partitions Partitions Boundaries Boundaries Account 6 digits < 6 digits 100000 5 digits number 1st non-zero > 6 digits 999999 7 digits 1st digit = 0 0 digits non-digit 4/23/2014 Trang 13
Loan amount 499 500 9000 9001 invalid valid invalid Conditions Valid Invalid Valid Invalid Partitions Partitions Boundaries Boundaries Loan 500 - 9000 < 500 500 499 amount >9000 9000 9001 0 non-numeric null 4/23/2014 Trang 14
Condition template 4/23/2014 Trang 15
Thiết kế Testcase Test Description Expected Outcome New Tags Case Covered 1 Name: John Smith Term: 3 years V1, V2, Acc no: 123456 Repayment: 79.86 V3, V4, Loan: 2500 Interest rate: 10% V5 ..... Term: 3 years Total paid: 2874.96 2 Name: AB Term: 1 year B1, B3, Acc no: 100000 Repayment: 44.80 B5, ..... Loan: 500 Interest rate: 7.5% Term: 1 year Total paid: 537.60 4/23/2014 Trang 16
Bảng quyết định Decision tables testing  Bảng quyết định là 1 công cụ rất hữu ích để đặc tả các yêu cầu phần mềm hoặc để đặc tả bảng thiết kế hệ thống phần mềm.  Nó miêu tả các qui tắc nghiệp vụ phức tạp mà phần mềm phải thực hiện dưới dạng dễ đọc và dễ kiểm soát  Có thể thể hiện dạng lưu đồ hoặc bảng  Bảng quyết định có thể tạo ra kịch bản kiểm thử tức thì 4/23/2014 Trang 17
Bảng quyết định Decision tables testing Chức năng Login Input Conditions Valid username Valid password Account in credit Output Conditions Login accepted Restricted access Bài tập: máy ATM 4/23/2014 Trang 18
Bảng quyết định Decision tables testing Thiết kế Test case  Mỗi cột ít nhất là 1 Test case 4/23/2014 Trang 19
Bảng quyết định Decision tables testing  Nếu các điều kiện loại trừ nhau thì có thể sử dụng chính đối tượng đó  Đầu vào của điều kiện có thể có nhiều giá trị hơn True và False 4/23/2014 Trang 20