TÌM HIỂU các kỹ THUẬT KIỂM THỬ PHẦN mềm

Nguyn Ngc Hi -1- 7/22/2016 Tr-ờng đại học hùng v-ơng Khoa toán - công nghệ    ĐỀ TÀI TÌM HIỂU CÁC KỸ THUẬT KIỂM THỬ PHẦN MỀM Giáo viên hướng dẫn: Lương Mạnh Bá Sinh Viên Thực Hiện: Nguyễn Ngọc Hải (Trưởng Nhóm) Nguyễn Xuân Chiến Hạ Ngọc Xuân Sinh Viên Lớp K6 Tin Phú Thọ 2011 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Nguyễn Ngọc Hải -2- 7/22/2016 Mục lục Phần I: Giới Thiệu Về Kiểm Thử Phần Mềm 1.1Khái niệm kiểm thử phần mềm 1.2 Mục tiêu kiểm thử 1.3 Những khó khăn kiểm thử 1.4 Các phương pháp kiểm thử 1.5 Các kỹ thuật thiết kế trường hợp kiểm thử 1.6 Phương pháp thử mô đun .4 PHẦN II GIỚI THIỆU CHI TIẾT VỀ KIỂM THỬ 2.1 Nguyên tắc kiểm thử phần mềm .5 2.2 Các phương pháp kiểm thử 2.3 Các kỹ thuật thiết kế trường hợp kiểm thử 2.3.1 Kiểm thử hộp đen – Black box testing *Phân Đoạn Tương Đương *Phân tích giá trị biên – Boundary Value Analysis * Kỹ Thuật Cause-Effect Graphing 10 * Đoán lỗi 15 2.3.2 Kiểm thử hộp trắng – White box testing 15 * Kiểm thử đường diễn tiến chương trình 16 *Kiểm Định Cấu Trúc Điều Kiển 16 * Độ phức tạp lặp (Cyclomatic Complexity) 21 2.3.3 Kiểm thử hộp xám – Gray box testing 22 2.4 Phương pháp thử mô đun 22 2.4.1 Kiểm thử mô đun 22 2.4.2 Kiểm thử tích hợp – Intergration Test 22 * Kiểm tra top-down 23 * Kiểm tra bottom-up 24 * Kiểm thử hệ thống – System Test 25 * Kiểm thử chấp nhận sản phẩm – Acceptance Test 27 *Kiểm thử big bang Kiểm thử big bang (big bang testing) chiến lược kiểm thử hệ thống tiến hành lần phát triển toàn mơ đun tích hợp thành phần mềm hoàn chỉnh Phương pháp thường tiến hành phát triển phần mềm có kích thước nhỏ 28 *Kiểm thử sandwich 28 2.5 Một số kiểm thử khác 28 PHẦN III MỘT SỐ ỨNG DỤNG CỦA KỸ THUẬT KIỂM THỬ 29 Áp dụng kỹ thuật kiểm thử hộp đen: .29 Vẽ đồ thị nguyên nhân – kết 29 Xét trạng thái đầu vào 32 Xét trạng thái đầu vào thu ca kiểm thử sau: 32 Áp dụng kỹ thuật kiểm thử hộp trắng vào kiểm thử chương trình 33 PHẦN VI TỔNG KẾT 38 TÀI LIỆU THAM KHẢO 39 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Nguyễn Ngọc Hải -3- 7/22/2016 Phần I: Giới Thiệu Về Kiểm Thử Phần Mềm 1.1Khái niệm kiểm thử phần mềm Kiểm thử phần mềm trình liên tục, xuyên suốt giai đoạn phát triển phần mềm để đảm bảo phần mềm thoả mãn yêu cầu thiết kế yêu cầu đáp ứng nhu cầu người dùng Các kỹ thuật kiểm thử phần mềm đã, nghiên cứu, việc kiểm thử phần mềm trở thành qui trình bắt buộc dự án phát triển phần mềm giới Kiểm thử phần mềm khâu mấu chốt để đảm bảo chất lượng phần mềm, đánh giá cuối đặc tả thiết kế mã hóa Kiểm thử phần mềm trình chạy thử ứng dụng để phát lỗi xem có thỏa mãn yêu cầu đặt trình phát triển phần mềm, người phát triển phần mềm kỹ sư kiểm thử làm việc để phát lỗi đảm bảo chất lượng sản phẩm Một sản phẩm phần mềm phân phối phải có đầy đủ chức yêu cầu tương thích với phần cứng khách hàng • Chi phí kiểm thử chiếm • 40% tổng cơng sức phát triển • >=30% tổng thời gian phát triển • Kiểm thử tốt sẽ: • Giảm chi phí phát triển • Tăng độ tin cậy sản phẩm phần mềm Trường hợp kiểm thử Thiết kế trường hợp kiểm thử liệu kiểm thử Chuẩn bị liệu kiểm thử Kết kiểm thử Chạy trương trình với kiệu kiểm thử Báo cáo kiểm thử So sánh kết với trường hợp kiểm thử Sơ đồ kiểm thử LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Nguyễn Ngọc Hải -4- 7/22/2016 1.2 Mục tiêu kiểm thử Các nguyên tắc xem mục tiêu kiểm thử là:  Kiểm thử trình thực thi chương trình với mục đích tìm lỗi  Một trường hợp kiểm thử tốt trường hợp kiểm thử mà có khả cao việc tìm thấy lỗi chưa phát  Một kiểm thử thành công kiểm thử mà phát lỗi chưa phát 1.3 Những khó khăn kiểm thử • Nâng cao chất lượng phần mềm không vượt chất lượng thiết kế phát lỗi tiềm tàng sửa chúng • Phát lỗi bị hạn chế thủ cơng • Dễ bị ảnh hưởng tâm lý kiểm thủ • Khó đảm bảo tính đầy đủ kiểm thử 1.4 Các phương pháp kiểm thử Người ta phân biệt phương pháp kiểm thử: Kiểm thử bàn hay kiểm thử tĩnh Kiểm thử máy hay kiểm thử động Kiểm thử tĩnh thường tiến hành trước nhằm tạo kịch cho kiểm thử động 1.5 Các kỹ thuật thiết kế trường hợp kiểm thử Kiểm thử hộp đen – Black box testing Kiểm thử hộp trắng – White box testing Kiểm thử hộp xám – Gray box testing 1.6 Phương pháp thử mô đun Để kiểm thử phần mềm, người ta tiến hành kiểm thử theo trình tự sau: • Kiểm thử mơđun • Kiểm thử tích hợp • Kiểm thử hệ thống • Kiểm thử chấp nhận ( Testing) LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Nguyễn Ngọc Hải -5- 7/22/2016 PHẦN II GIỚI THIỆU CHI TIẾT VỀ KIỂM THỬ Có thể sử dụng số kỹ thuật trình kiểm thử nhằm tăng hiệu họat động Mc Gregor mô tả kỹ thuật kiểm thử công cụ thiết kế để đảm bảo tất khía cạnh sản phẩm khảo sát Mặt khác, kỹ thuật kiểm thử công cụ để dễ dàng đạt hiệu kiểm thử 2.1 Nguyên tắc kiểm thử phần mềm Trong lúc kiểm thử, công nghệ phần mềm phát sinh chuỗi trường hợp kiểm thử sử dụng để “tách phần” phần mềm Kiểm thử bước qui trình phần mềm mà xem xét đội ngũ phát triển cách phá vỡ thay xây dựng Các kỹ sư phần mềm người xây dựng việc kiểm thử yêu cầu họ vượt qua khái niệm cho trước độ xác giải mâu thuẫn lỗi xác định 2.2 Các phương pháp kiểm thử Có phương pháp kiểm thử là: Kiểm thử tĩnh Kiểm thử động 2.2.1 Thử tĩnh Khái niệm Phương pháp thử phần mềm thông qua việc sử dụng giấy, bút bàn để kiểm tra logic, lần chi tiết sau lập trình xong Chủ yếu kiểm tra mã, tài liệu đặc tả Các phương pháp thử tĩnh Thanh tra Duyệt * Thanh tra Khái niệm Phương pháp kiểm tra ngang hàng sản phẩm phần mềm thực người nghiên cứu riêng lẻ để tìm lỗi tiến trình chuẩn cho trước Một tra bao gồm: Đặc tả phần mềm Kế hoạch tra Sản phẩm phần mềm Điều phối viên Thanh tra viên LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Nguyễn Ngọc Hải -6- 7/22/2016 Tác giả phần mềm Tiến trình tra: Lên kế hoạch Gặp gỡ trước Chuẩn bị Gặp gỡ tra Gia công lại Bám sát Chú ý: khâu 3,4,5 thực lặp lại * Duyệt Khái niệm: Là phương pháp kiểm tra ngang hàng với người thiết kế hướng nhóm phát triển đến hoạt động ý trình sản xuất phần mềm, tham gia đặt câu hỏi thích cho lỗi có Khác biệt với tra: Cấu trúc mở Khả gợi ý định hướng thay đổi phần mềm Tiến trình duyệt: Đánh giá đầu vào Chuẩn bị quản lí Lập kế hoạch Gặp gỡ trước Chuẩn bị riêng Duyệt Gia công/ bám sát Kết thúc, đánh giá 2.2.2 Kiểm thử động – Dynamic testing Dùng máy chạy chương trình để điều tra trạng thái động tác chương trình bước trình tự kiểm thử máy: (1) Thiết kế trường hợp thử theo thử bàn (2) Trường hợp thử phải có kết kỳ vọng thu (3) Dịch chương trình nguồn tạo mơđun tải để thực (4) Khi trường hợp thử có xử lý tệp vào-ra, phải làm trước bàn việc xác định miền tệp (5) Nhập liệu thiết kế cho trường hợp kiểm thử LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com Nguyễn Ngọc Hải -7- 7/22/2016 (6) Điều chỉnh môi trường thực môđun tải (tạo thủ tục đưa tệp truy cập tệp vào chương trình) (7) Thực môđun tải ghi nhận kết (8) Xác nhận kết với kết kỳ vọng (9) Lặp lại thao tác (5)-(8) 2.3 Các kỹ thuật thiết kế trường hợp kiểm thử 2.3.1 Kiểm thử hộp đen – Black box testing Kiểm thử hộp đen (Black Box testing) kỹ thuật thiết kế trường hợp thử dựa đặc tả bề ngồi chương trình Người kiểm thử quan tâm đến nhiệm vụ mà mô đun phải đảm nhận, đầu vào cho mô đun kết xử lý - đầu Kiểm thử hộp đen lại chia nhỏ nhiều kỹ thuật: - Phân đoạn tương đương - Phân tích giá trị biên - Đốn lỗi Input Results Black Box số kỹ thuật khác Hình 1: Black Box testing *Phân Đoạn Tương Đương Đây kỹ thuật chia vùng thông tin nhập vào chương trình thành lớp thơng tin/dữ liệu Lớp tương đương biểu diễn thành tập giá trị hợp lệ không hợp lệ Nhưng lớp liệu tương đương xác định theo cách sau: Nếu điều kiện đầu vào xác định khoảng giá trị [a,b], phân hoạch thành lớp tương đương hợp lệ lớp tương đương không hợp lệ Chẳng hạn, đầu vào x nằm khoảng [0,100], lớp hợp lệ