tailieunhanh - Bài giảng Kiểm thử phần mềm: Bài 5 - ThS. Nguyễn Thị Thanh Trúc (tt)

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 trắng bao gồm: Basis path testing, control flow/coverage testing, data flow testing. . | Bài giảng Kiểm thử phần mềm: Bài 5 - ThS. Nguyễn Thị Thanh Trúc (tt) ĐẠ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 kỹ thuật kiểm thử hộp trắng • Basis Path Testing • Control-flow/Coverage Testing • Data-flow Testing 5 Chiến lược kiểm thử hộp trắng • Thiết kế test case dựa vào cấu trúc nội tại bên trong của đối tượng cần kiểm thử • Đảm bảo tất cả các câu lệnh, các biểu thức điều kiện bên trong chương trình đều được thực hiện ít nhất một lần 6 Khái niệm • Các tên gọi khác: kiểm thử cấu trúc (structural testing), kiểm thử hộp kính (glass box), kiểm thử rõ ràng (clear