tailieunhanh - Bài giảng Kiểm thử phần mềm - Chương 3: Thiết kế ca kiểm thử

Bài giảng Kiểm thử phần mềm - Chương 3: Thiết kế ca kiểm thử. Chương này cung cấp cho học viên những nội dung về: kiểm thử chức năng; kiểm thử giá trị biên; kiểm thử lớp tương đương; kiểm thử bảng quyết định; kiểm thử cấu trúc; kiểm thử luồng điều khiển; kiểm thử luồng dữ liệu; . Mời các bạn cùng tham khảo! | TRƯỜNG ĐẠI HỌC THƯƠNG MẠI Khoa HTTT Kinh tế và THMĐT Bộ môn Công nghệ thông tin Chương 3 THIẾT KẾ CA KIỂM THỬ 48 Nội dung 1. Kiểm thử chức năng Kiểm thử giá trị biên Kiểm thử lớp tương đương Kiểm thử bảng quyết định 2. Kiểm thử cấu trúc Kiểm thử luồng điều khiển Kiểm thử luồng dữ liệu 49 Tổng quan Các chương trình có thể coi là một hàm toán học Các đầu vào chương trình là miền xác định của hàm Các đầu ra là miền giá trị của hàm Phân tích giá trị biên boundary value analysis - BVA là kỹ thuật kiểm thử hàm phổ biến nhất Mục tiêu của kiểm thử hàm là sử dung kiến thức về hàm để xác định các ca kiểm thử Trước kia chủ yếu tập trung vào miền xác định nhưng nay đã dựa trên cả miền giá trị của hàm để xác định ca kiểm thử 50 Phân tích giá trị biên BVA Phân tích giá trị biên tập trung vào biên của miền xác định để xây dựng ca kiểm thử Lý do là lỗi thường xảy ra ở gần các giá trị biên này Chương trình viết bằng ngôn ngữ không có kiểm tra kiểu mạnh càng cần kiểm thử giá trị biên Javascript php Visual Basic 51 Đầu vào hợp lệ của chương trình P Từ đây chúng ta giả sử có chương trình P nhận hai biến đầu vào là y1 và y2 thỏa mãn a y1 b and c y2 d P y1 y2 where a Miền xác định y2 d c a b y1 53 Chọn giá trị Phân tích giá trị biên sẽ chọn các giá trị Giá trị nhỏ nhất Ngay trên giá trị nhỏ nhất Một giá trị bình thường Ngay dưới giá trị lớn nhất Giá trị lớn nhất Ví dụ a Nội dung 1. Kiểm thử chức năng Kiểm thử giá trị biên Kiểm thử lớp tương đương Kiểm thử bảng quyết định 2. Kiểm thử cấu trúc Kiểm thử luồng điều khiển Kiểm thử luồng dữ liệu 55 Kiểm thử lớp tương đương Lý do Cảm giác kiểm thử hết Tránh dư thừa Các lớp tương đương tạo thành một phân hoạch của miền dữ liệu Hợp của tất cả các lớp bằng miền đầu vào Cảm giác đã kiểm thử hết Hai lớp bất kỳ không giao nhau Không dư thừa 56 Các lớp tương đương Ý tưởng của ECT là chỉ kiểm thử với một phần tử của mỗi miền tương đương Giảm rất nhiều dư thừa tiềm tàng nếu các lớp tương đương được chọn hợp lý Mấu chốt là làm sao chọn được quan hệ .