BÁO CÁO TÌM HIỂU CÁC HÌNH THỨC KIỂM THỬ PHẦN MỀM

BÁO CÁO TÌM HIỂU CÁC HÌNH THỨC KIỂM THỬ PHẦN MỀM Nhóm – Lớp CNTT.Quận 5 Trần Thanh Nguyên Duy Trần Thế Ái Duyên Trần Thị Vinh Hiển Nguyễn Trần Kim Hưng Nguyễn Văn Long GV hướng dẫn: Thầy Lương Trần Hy Hiến Nhóm - Lớp CNTT.Quận Mơn Quản lý dự án phần mềm LÝ DO CHỌN BÁO CÁO 2 Tùy theo chương trình đào tạo, mà giáo trình có cách gọi khác khái niệm: kỹ thuật kiểm thử, phương pháp kiểm thử, hình thức kiểm thử, chiến lược kiểm thử Qua tìm hiểu nhằm hệ thống hóa khái niệm “Các hình thức kiểm thử phần mềm” theo cách gọi thơng dụng Nhóm - Lớp CNT Mơn Quản lý dự án phần NỘI DUNG BÁO CÁO I II Tổng quan kiểm thử phần mềm Các hình thức kiểm thử phần mềm Nhóm - Lớp CNT Mơn Quản lý dự án phần PHẠM VI BÁO CÁO  Chủ yếu phân tích khái niệm kiểm thử hình thức kiểm thử mà nhóm tìm hiểu  Chưa sâu việc thiết kế test – case ứng với hình thức kiểm thử Nhóm - Lớp CNT Môn Quản lý dự án phần * Tài liệu tham khảo  Để thực báo cáo tìm hiểu này, nhóm chúng tơi tìm hiểu tham khảo tài liệu sau: Bài 07 Bài giảng môn NMCNPM Thầy Lương Trần Hy Hiến Các viết, thảo luận kiểm thử website http://www.testingvn.com/ Nhóm - Lớp CNT Môn Quản lý dự án phần I Tổng quan kiểm thử phần mềm Kiểm thử phần mềm gì? Mục đích kiểm thử Một số nguyên tắc kiểm thử Các giai đoạn kiểm thử Nhóm - Lớp CNT Mơn Quản lý dự án phần I.1 Kiểm thử phần mềm gì?   Kiểm thử phần mềm có nhiều cách định nghĩa khác Nhưng bao hàm hai nội dung là: phát lỗi đánh giá chất lượng phần mềm Định nghĩa Myers: “Kiểm thử tiến trình thực thi chương trình với mục đích tìm thấy lỗi” Nhóm - Lớp CNT Mơn Quản lý dự án phần I.2 Mục đích kiểm thử Mục đích thứ (Kiểm thử thiếu sót): - Để khám phá lỗi hay thiếu sót phần mềm mà phần mềm hành xử khơng hay khơng tn thủ theo đặc tả - Một test thành công test làm cho hệ thống thi hành khơng lộ thiếu sót hệ thống  Nhóm - Lớp CNT Môn Quản lý dự án phần I.2 Mục đích kiểm thử Mục đích thứ hai (Kiểm thử hợp lệ): - Để trình diễn cho lập trình viên khách hàng phần mềm thỏa mãn yêu cầu - Một test thành cơng hệ thống hoạt động ý muốn  Nhóm - Lớp CNT Mơn Quản lý dự án phần I.3 Một số nguyên tắc kiểm thử     10 Kiểm thử phải lập kế hoạch Một ca kiểm thử phải định nghĩa kết mong muốn Các ca kiểm thử nên thiết kế cho liệu vào hợp lệ không hợp lệ Một ca kiểm thử tốt ca kiểm thử có khả cao phát lỗi chưa tìm thấy Nhóm - Lớp CNT Mơn Quản lý dự án phần II.1.2 Kiểm thử động (Dymatic testing)   18 Trong kiểm thử động, phần mềm phải thực biên dịch chạy Sử dụng cấp độ kiểm thử (đã nêu phần I.4) để thực q trình kiểm thử động Nhóm - Lớp CNT Môn Quản lý dự án phần II.2.1 Kiểm thử hộp đen (Black box testing)   19 Còn gọi kỹ thuật kiểm thử chức Dữ liệu kiểm thử xuất phát từ đặc tả phần mềm, bao gồm: - Đặc tả yêu cầu (trong giai đoạn kiểm thử hệ thống) - Đặc tả thiết kế (trong giai đoạn kiểm thử tích hợp) - Đặc tả chi tiết mô đun (trong giai đoạn kiểm thử đơn vị) Nhóm - Lớp CNT Mơn Quản lý dự án phần II.2.1 Kiểm thử hộp đen (Black box testing)   20 Tester khơng cần phải có kiến thức ngơn ngữ lập trình, mơi trường phát triển phần mềm, hệ QT.CSDL,… Tester thao tác chức hệ thống người sử dụng hệ thống Nhóm - Lớp CNT Mơn Quản lý dự án phần II.2.1 Kiểm thử hộp đen (Black box testing)  Các loại hình kiểm thử hộp đen thơng dụng: - Kiểm thử giao diện (Interface testing) - Kiểm thử khả chịu đựng hệ thống (Stress testing) - Kiểm thử phát hành (Release testing) - Kiểm thử Alpha, Kiểm thử Beta, … Ví dụ minh họa kiểm thử giao diện: 21 Nhóm - Lớp CNT Mơn Quản lý dự án phần II.2.1 Kiểm thử hộp đen (Black box testing) 22 Nhóm - Lớp CNT Mơn Quản lý dự án phần II.2.1 Kiểm thử hộp đen (Black box testing) 23 Nhóm - Lớp CNT Mơn Quản lý dự án phần II.2.1 Kiểm thử hộp đen (Black box testing)  24 Để thực kiểm thử hộp đen, Tester sử dụng phương pháp sau: - Phân lớp tương đương (Equivalence partitioning) - Phân tích giá trị biên (Boundary value analysis) - Kiểm thử tất cặp (All-pairs testing) - Kiểm thử Fuzz (Fuzz testing) Nhóm - Lớp CNT Mơn Quản lý dự án phần II.2.1 Kiểm thử hộp đen (Black box testing)  Để thực kiểm thử hộp đen, Tester sử dụng phương pháp sau: - Kiểm thử dựa model (Model-based testing) - Ma trận dấu vết (Traceability matrix) - Kiểm thử thăm dò (Exploratory testing) - Kiểm thử dựa vào đặc tả / chức (Specificationbase testing) 25 Nhóm - Lớp CNT Mơn Quản lý dự án phần II.2.2 Kiểm thử hộp trắng (White box testing)     26 Còn gọi kỹ thuật kiểm thử cấu trúc Kiểm tra tính logic cấu trúc mã nguồn Kiểm tra tất trường hợp xảy mã nguồn (cấu trúc điều khiển, cấu trúc lặp, …) Tester cần phải có kiến thức ngơn ngữ lập trình, mơi trường phát triển phần mềm, hệ QT.CSDL, … Nhóm - Lớp CNT Môn Quản lý dự án phần II.2.2 Kiểm thử hộp trắng (White box testing)  Các loại hình kiểm thử hộp trắng thông dụng: - Kiểm thử phận (Component testing) - Kiểm thử lớp đối tượng (Object class testing) Ví dụ minh họa kiểm thử phận: 27 Nhóm - Lớp CNT Mơn Quản lý dự án phần II.2.2 Kiểm thử hộp trắng (White box testing) 28 Nhóm - Lớp CNT Mơn Quản lý dự án phần II.2.2 Kiểm thử hộp trắng (White box testing) 29 Nhóm - Lớp CNT Mơn Quản lý dự án phần II.2.2 Kiểm thử hộp trắng (White box testing)  Để thực kiểm thử hộp trắng, Tester sử dụng phương pháp sau: - Bao phủ mã lệnh (Code coverage) - Gán lỗi (Fault injection methods) - Kiểm thử hoán chuyển (Mutation testing methods) - Kiểm thử tĩnh (Fuzz testing) - Kiểm thử giao diện lập trình ứng dụng (API testingApplication programming interface) 30 Nhóm - Lớp CNT Môn Quản lý dự án phần II.2.3 Kiểm thử hộp xám (Gray box testing)   31 Là hình thức hình thành địi hỏi trình độ cao Là kiểu trung gian kiểm thử hộp đen kiểm thử hộp trắng, tester phải vận dụng kiến thức thuật toán, cấu trúc bên chương trình, … hộp trắng để thiết kế testcase theo hương người sử dụng có testcase hộp đen Nhóm - Lớp CNT Mơn Quản lý dự án phần ***** Lời kết  Nội dung báo cáo kết thúc  Xin chân thành cảm ơn ý theo dõi Thầy bạn; mong góp ý để báo cáo nhóm chúng tơi hồn thiện hơn! ***** 32 Nhóm - Lớp CNT Mơn Quản lý dự án phần