Bài giảng Đảm bảo chất lượng phần mềm và kiểm thử (Phần 2) - Nguyễn Văn Vy

Bài giảng Đảm bảo chất lượng phần mềm và kiểm thử (Phần 2) - Nguyễn Văn Vy giúp bạn nắm bắt khái niệm kiểm thử, các loại kiểm thử, thẩm định và xác minh. Cùng tham khảo nhé.
Nội dung trích xuất từ tài liệu:
Bài giảng Đảm bảo chất lượng phần mềm và kiểm thử (Phần 2) - Nguyễn Văn Vy §¹i häc Quèc gia Hμ néi - §¹i häc c«ng nghÖ Bé m«n C«ng nghÖ phÇn mÒm BÀI GiẢNG ĐẢM BẢO CHẤT LƯỢNG PHẦN MỀM VÀ KiỂM THỦ NguyÔn V¨n Vy Email: vynv@vnu.edu.vn, mobile: 0912.505.291 Hà nội - 2005 Phần II NguyÔn V¨n Vþ KIỂM THỬ PHẦN MỀM 2005 Bộ môn CNFM – Đại học Công nghệ 2 Nội dung – Tài liệu NguyÔn V¨n Vþ Khái niệm kiểm thử Các loại kiểm thử Thẩm định và xác minh Roger S. Pressman. Software Engineering, a Practitioner’s Approach. 3th Edition, McGraw-Hill, 1992, Bản dich của Ngô Trung vIệt, Phần 4, tập 4 (Chương 17, 18, 23 –bản 2001) Ian Sommerville. Software Engineering, Sixth Edition, Addion Wesley, 2001, Phần 5 và 6. chương 20 E.M.Bennatan, Software Project Management : a practitioner’s approach, McGRAW-HILL Book Company, 2001 2005 Bộ môn CNFM – Đại học Công nghệ 3 A.Khái niệm về kiểm thử phần mềm NguyÔn V¨n Vþ Kiểm thử FM là yếu tố quyết định của SQA và khâu điển hình của rà soát đặc tả thiết kế & lập mã. Lý do kiểm thử: Muốn nhìn thấy phần mềm như là một phần tử của hệ thống hoạt động Hạn chế chi phí phải trả cho các thất bại do lỗi gây ra sau này Để có kế hoạch tốt cho suốt quá trình phát triển. 2005 Bộ môn CNFM – Đại học Công nghệ 4 a.Lý do cần kiểm thử phần mềm NguyÔn V¨n Vþ Tầm quan trọng. 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 Với các phần mềm có ảnh hưởng tới sinh mạng, chi phí có thể gấp từ 3 đến 5 lần tổng các chi phí khác cộng lại. 2005 Bộ môn CNFM – Đại học Công nghệ 5 b.Quan niệm về kiểm thử phần mềm NguyÔn V¨n Vþ Mục tiêu trước mắt: cố gắng tạo ra các ca kiểm thử để chỉ ra lỗi của phần mềm (tức là “đánh đổ” phần mềm) được xây dựng Vì thể, trước mắt kiểm thử mang tính “phá hoại”, không phải là xây dựng dễ gây ra những vấn đề về tâm lý. Mục đích cuối cùng của kiểm thử vẫn là có một chương trình tốt, chi phí ít xây dựng 2005 Bộ môn CNFM – Đại học Công nghệ 6 c.Mục tiêu kiểm thử phần mềm NguyÔn V¨n Vþ Mục tiêu của kiểm thử (Glen Myers): Là quá trình vận hành chương trình để tìm ra lỗi. Nên: Một ca kiểm thử tốt là ca kiểm thử có xác suất cao tìm ra một lỗi chưa được phát hiện. Một ca kiểm thử thắng lợi là ca kiểm thử làm lộ ra được ít nhất một lỗi còn chưa được phát hiện. Điều này có vẻ trái với suy nghĩ thông thường về xây dựng phần mềm. 2005 Bộ môn CNFM – Đại học Công nghệ 7 c.Mục tiêu kiểm thử phần mềm NguyÔn V¨n Vþ Một ca kiểm thử thắng lợi làm lộ ra khiếm khuyết, đồng thời mang lại các lợi ích phụ: Thuyết minh rằng các chức năng phần mềm tương ứng với đặc tả, Yêu cầu thực thi là phù hợp, Cung cấp thêm các chỉ số độ tin cậy và chỉ số chất lượng phần mềm nói chung. Tuy nhiên, kiểm thử không thể khẳng định rằng phần mềm không có khiếm khuyết 2005 Bộ môn CNFM – Đại học Công nghệ 8 c.Các loại hình và kỹ thuật kiểm thử NguyÔn V¨n Vþ Kiểm thử đơn vị Kiểm thử hộp trắng (white box) Kiểm thử hộp đen (black box) Kiểm thử tích hợp Kiểm thử hệ thống Kiểm thử phục hồi Kiểm thử áp lực Kiểm thử thi hành Kiểm thử an ninh Kiểm thử chấp nhận (alpha, beta) 2005 Bộ môn CNFM – Đại học Công nghệ 9 d.Biểu đồ dòng thông tin kiểm thử NguyÔn V¨n Vþ Sơ đồ dòng thông tin trong tiến trình kiểm thử Phần mềm Cấu hình Gỡ lỗi Kiểm thử chỉnh sửa phần mềm Mô hình Độ tin cậy Cấu hình đô tin Đánh giá dự đoán kiểm thử cậ y 2005 Bộ môn CNFM – Đại học Công nghệ 10 e. Khái niệm thiết kế ca kiểm thử NguyÔn V¨n Vþ Thiết kế ca kiểm thử nhằm: tìm ra nhiều sai nhất với nỗ lực & thời gian nhỏ nhất. Trong các thập kỷ 80-90 đã nghiên cứu nhiều loại phương pháp thiết kế ca kiểm thử. Các phương pháp tốt phải cho một cơ chế: bảo đảm tính đầy đủ (không sót phần nào) và cung cấp khả năng thật sự phát hiện được các sai trong phần mềm. 2005 Bộ môn CNFM – Đại học Công nghệ 11 f.Phương pháp thiết kế ca kiểm thử NguyÔn V¨n Vþ Có thể kiểm thử theo một trong 2 kỹ thuật sau: Kiểm thử hộp đen Kiểm thử hộp trắng kiểm thử hộp đen Thực hiện các phép thử qua giao diện Để thuyết minh các chức năng phần mềm đủ & vận hành đúng Ít chú ý tới cấu trúc logic nội tại của nó 2005 Bộ môn CNFM – Đại học Công nghệ 12 f.Phương pháp thiết kế ca kiểm thử(t) ...