Bài giảng "Kiểm thử phần mềm - Bài 5: Các kỹ thuật kiểm thử" cung cấp cho người học các kiến thức về kỹ thuật kiểm thử hộp đen bao gồm: Kỹ thuật phân lớp tương đương, kỹ thuật dựa trên giá trị biên, kỹ thuật dựa trên giá trị biên,. | Bài giảng Kiểm thử phần mềm: Bài 5 - ThS. Nguyễn Thị Thanh Trúc ĐẠI HỌC CÔNG NGHỆ THÔNG TIN KHOA CÔNG NGHỆ PHẦN MỀM KIỂM THỬ PHẦN MỀM (Software Testing) GV: ThS. Nguyễn Thị Thanh Trúc Khoa: Công nghệ Phần mềm Email: trucntt@ 1 Bài 5: Các kỹ thuật kiểm thử • Test tĩnh (Static Verification) • Test động (Dynamic Testing) • Các kỹ thuật kiểm thử hộp đen • Các kỹ thuật kiểm thử hộp trắng 2 Các kỹ thuật kiểm thử • Test tĩnh (Static Verification) – Thực hiện kiểm chứng mà không cần thực thi chương trình – Kiểm tra tính đúng đắn của các tài liệu có liên quan được tạo ra trong quá trình xây dựng ứng dụng – Đạt được sự nhất quán và hiểu rõ hơn về hệ thống – Giảm thời gian lập trình, thời gian và chi phí test, • Test động (Dynamic Testing) – Thực hiện kiểm thử dựa trên việc thực thi chương trình 3 Dynamic Testing - Kiểm thử động Dynamic Specification-based Structure-based Equivalence Experience-based Partitioning Basis Path Boundary Value Error Analysis Control-flow Guessing Decision Tables Exploratory Cause-Effect Data-flow Testing Graphing 4 Các phương pháp kiểm thử (1) • Funtional Testing (Black Box Testing): – Test dựa trên mô tả, chúng ta xem xét phần mềm với các dữ liệu đầu vào và đầu ra mà không cần biết cấu trúc của phần mềm ra sao. Nghĩa là tester sẽ tập trung vào những gì mà phần mềm làm, không cần biết phần mềm làm như thế nào. – Ưu điểm: • Không phụ thuộc vào việc thực hiện phần mềm • Việc phát triển test case có thể diễn ra song song với quá trình thực hiện phần mềm Rút ngắn thời gian thực hiện dự án 5 Các phương pháp kiểm thử (2) • Structural .
