Tài liệu Nhập môn công nghệ học phần mềm - Introduction to Software Engineering - Phần IV pdf

Nhập môn Công nghệ học Phần mềm Introduction to Software Engineering Department of Software Engineering Faculty of Information Technology Hanoi University of Technology TEL: 04-8682595 FAX: 04-8692906 Email: cnpm@it-hut.edu.vn HUT, Falt of IT  Dept of SE, 2001 SE-V.1 Phần V Kiểm thử Bảo trì Test and Maintenance Chương 9: Phương pháp kiểm thử 9.1 Khái niệm kiểm thử 9.2 Phương pháp thử 9.3 Kỹ thuật thiết kế trưòng hợp thử 9.4 Phương pháp thử môđun HUT, Falt of IT  Dept of SE, 2001 SE-V.2 9.1 Khái niệm kiểm thử Định nghĩa kiểm thử: • Là mấu chốt đảm bảo chất lượng phần mềm • Là tiến trình (và nghệ thuật) nhằm phát lỗi việc xem xét lại đặc tả, thiết kế mã hố • Kiểm thử thành cơng phát lỗi; kiểm thử không phát lỗi kiểm thử dở (Sue A.Conger- The New SE) HUT, Falt of IT  Dept of SE, 2001 SE-V.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ử HUT, Falt of IT  Dept of SE, 2001 SE-V.4 điểm lưu ý kiểm thử (1) Chất lượng phần mềm khâu thiết kế định chủ yếu, khâu kiểm thử (2) Tính dễ kiểm thử phụ thuộc vào cấu trúc chương trình (3) Người kiểm thử người phát triển nên khác HUT, Falt of IT  Dept of SE, 2001 SE-V.5 điểm lưu ý kiểm thử (tiếp) (4) Dữ liệu thử cho kết bình thường khơng có ý nghĩa nhiều, cần có liệu kiểm thử mà phát lỗi (5) Khi thiết kế trường hợp thử, không liệu kiểm thử nhập vào, mà phải thiết kế trước liệu kết có (6) Khi phát sinh thêm trường hợp thử nên thử lại trường hợp thử trướcđó để tránh ảnh hưởng lan truyền sóng HUT, Falt of IT  Dept of SE, 2001 SE-V.6 Tương ứng vòng đời dự án kiểm thử Đối tượng phạm vi Đặc tả chức năng/ Thiết kế lô gíc Thiết kế Vật lý Kiểm thử chấp nhận Kiểm thử hệ thống Kiểm tích hợp Cấu trúc CT đặc tả mơđun Kiểm hồi quy Kiểm ĐVCT Mã hố môđun CT HUT, Falt of IT  Dept of SE, 2001 SE-V.7 9.2 Phương pháp thử: thử tĩnh • Kiểm thử bàn hay Kiểm thử tĩnh: giấy bút bàn, kiểm tra logic, lần chi tiết sau lập trình xong • Đi xun suốt (walk through) • Thanh tra (inspection) HUT, Falt of IT  Dept of SE, 2001 SE-V.8 Kiểm thử máy • Gỡ lỗi máy (machine debug) hay kiểm thử động: 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 HUT, Falt of IT  Dept of SE, 2001 SE-V.9 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 HUT, Falt of IT  Dept of SE, 2001 SE-V.10 ... tích hợp lên - Kiểm thử hồi qui HUT, Falt of IT  Dept of SE, 2001 SE-V.19 9.4 Kỹ thuật kiểm thử mơđun • Kiểm thử tích hợp môđun – – – – Kiểm thử lên (Bottom-up Test) Kiểm thử xuống (Top-down Test)... chương trình: Kiểm thử hộp trắng (white box test): HOW ? • Kiểm thử Top-Down hay Bottom-Up HUT, Falt of IT  Dept of SE, 2001 SE-V.12 Kiểm thử hộp đen • Phân đoạn tương đương • Phân tích giá trị... 2001 SE-V.5 điểm lưu ý kiểm thử (tiếp) (4) Dữ liệu thử cho kết bình thường khơng có ý nghĩa nhiều, cần có liệu kiểm thử mà phát lỗi (5) Khi thiết kế trường hợp thử, không liệu kiểm thử nhập vào,