BÁO CÁO MÔN H CỌ Kỹ Nghệ Phần Mềm Đ Tài :ề Kiểm Thử Phần Mềm Nhóm 12 – D6LT CNTT5 1. Nuyễn Văn Phấn 2. Nguyễn Thanh Hải 3. Đinh Xuân Hải GV hướng dẫn: Thầy Th.S Trần Đức Lưu 1 BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC ĐIỆN LỰC Khoa Công Nghệ Thông Tin ĐỀ TÀI KIỂM THỬ PHẦN MỀM Lý do chọn đề tài là: Theo chương trình đào tạo,mà những giáo trình có cách gọi khác nhau đói với các khái niệm về kiểm thử phần mềm,phương pháp,chiến lược,hình thức. 2 N i Dung đ tài tìm hi uộ ề ể * Chủ yếu phân tích các khái niệm về kiểm thử và các hình thức kiểm thử mà nhóm tìm hiểu được. * Chưa đi sâu việc thiết kế test – case ứng với từng hình thức kiểm thử. 3 Label1 Tài li u tham kh oệ ả Để thực hiện được báo cáo tìm hiểu này, nhóm chúng tôi đã tìm hiểu và tham khảo trên các tài liệu như sau: . Giáo trình Kỹ Nghệ Phần Mềm. . Các bài viết, thảo luận về kiểm thử trên website http://www. Tailieu.vn / 4 I. Tổng quát về kiểm thử phần mềm 1. Khái niệm kiểm thử phần mềm là gì? 2. Mục đích của việc kiểm thử. 3. Một số nguyên tắc trong kiểm thử. 5 1.1.Khái niệm kiểm thử phần mềm là gì? - Kiểm thử phần mềm có nhiều cách định nghĩa khác nhau. Nhưng đều bao hàm hai nội dung cơ bản là: phát hiện lỗi và đánh giá chất lượng của phần mềm. - Định nghĩa của Myers: “Kiểm thử là tiến trình thực thi chương trình với mục đích tìm thấy lỗi sai ”. 6 1.2. Mục đích của việc kiểm thử phân mềm * Kiểm thử thiếu sót: - Để khám phá lỗi sai hay thiếu sót trong phần mềm mà do đó phần mềm tiến hành xử lý không đúng hay không tuân thủ theo đặc tả của nó. - Một test thành công là một test làm cho hệ thống thi hành của phần mềm không đúng và do đó lộ ra thiếu sót,hai sai trong hệ thống. 7 1.2. Mục đích của kiểm thử * Kiểm thử hợp lệ: - Để trình diễn cho lập trình viên và khách hàng biết rằng phần mềm này thỏa mãn yêu cầu của nó. - Một test thành công nếu nó chỉ ra rằng hệ thống hoạt động như ý muốn mà phần mềm đó tiến hành. 8 1.3. Một số nguyên tắc trong kiểm thử * Kiểm thử phải được lập kế hoạch đõ dàng. * Một ca kiểm thử phải có kết quả mong muốn. * Các ca kiểm thử nên được thiết kế cho cả những dữ liệu vào hợp lệ và không hợp lệ. * Một ca kiểm thử tốt là ca kiểm thử có khả năng cao phát hiện những lỗi sai chưa được tìm thấy 9 1.3. Một số nguyên tắc kiểm thử * Kiểm thử nên được thực hiện bởi một nhóm độc lập với nhóm phát triển. * Ép các kết quả tính toán phải hoặc là quá lớn hoặc là quá nhỏ. Kết quả kiểm thử phải được kiểm tra một cách cẩn thận. * Các hoạt động kiểm thử phải được tích hợp vào tiến trình phát triển phần mềm. 10 [...]... thức kiểm thử phần mềm 1 Theo Tổ chức thẩm định về KTPM quốc tếISTBQ) có hai hình thức l : 1.1 Kiểm thử tĩnh 1.2 Kiểm thử động 2 Theo khái niệm thông thường có ba hình thức l : 2.1 Kiểm thử hộp đen 2.2 Kiểm thử hộp trắng 2.3 Kiểm thử hộp xám 3 Các giai đoạn kiểm thử 11 2.1.1 Kiểm thử tĩnh (Static testing) * Kiểm thử tĩnh là một hình thức của kiểm thử phần mềm mà phần mềm không được sử dụng Nó không kiểm. .. của kiểm thử * Các cấp độ kiểm thử cơ bản gồm: 1 Kiểm thử đơn vị (Unit Testing) 2 Kiểm thử tích hợp (Integration Testing) 3 Kiểm thử hệ thống (System Testing) 4 Kiểm thử chấp nhận (Acceptance Testing) 25 3.3.1 Kiểm thử đơn vị (Unit testing) * Kiểm thử mỗi đơn vị phần mềm (mođun), sử dụng kỹ thuật kiểm thử hộp đen,như dữ liệu thử được tạo ra dựa trên tài liêu thiết kế phân mềm, sử dụng cả kiểm thử hộp... thử động bao gồm: làm việc với phần mềm, bằng cách nhập dư liệu đấu vào để kiểm tra xem có hợp lệ không * Trong kiểm thử động thì phần mềm phải thực sự được biên dịch và chạy 14 2.2.1 Kiểm thử hộp đen (Black box testing) * Các kỹ thuật kiểm thử chức năng * Dữ liệu kiểm thử 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) -... Kiểm thử bộ phận (Component testing) - Kiểm thử lớp đối tượng (Object class testing) 20 II.2.2 Kiểm thử hộp trắng (White box testing) Ví dụ minh họa kiểm thử bộ phận: 21 II.2.2 Kiểm thử hộp trắng (White box testing) Ví dụ minh họa kiểm thử bộ phận: 22 2.2.2 Kiểm thử hộp trắng (White box testing) * Để thực hiện kiểm thử hộp trắng, các Tester sử dụng các phương pháp sau: - Bao phủ mã lệnh (Code coverage)... đoạn kiểm thử đơn vị) 15 2.2.1 Kiểm thử hộp đen (Black box testing) * Tester không cần phải có kiến thức về ngôn ngữ lập trình, các hệ QT.CSDL,… * Tester thao tác các chức năng của hệ thống như là người sử dụng hệ thống 16 2.2.1 Kiểm thử hộp đen (Black box testing) * Các hình kiểm thử hộp đen thông dụng: - Kiểm thử giao diện (Interface testing) - Kiểm thử khả năng (Release testing) - Kiểm thử Alpha, Kiểm. .. testing) 18 2.2.2 Kiểm thử hộp trắng (White box testing) * kỹ thuật kiểm thử cấu trúc * Kiểm tra tính logic và cấu trúc của mã nguồn • Kiểm tra tất cả các trường hợp có thể xảy ra trong mã nguồn • Tester cần có kiến thức về ngôn ngữ lập trình, môi trường phát triển phần mềm, các hệ QT.CSDL,… 19 2.2.2 Kiểm thử hộp trắng (White box testing) * Các hình kiểm thử hộp trắng thông dụng: - Kiểm thử bộ phận (Component... Kiểm thử Beta, … 17 2.2.1 Kiểm thử hộp đen (Black box testing) * Để kiểm thử hộp đen, các Tester sử dụng các phương pháp sau đây: - 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ả các cặp (All-pairs testing) - Kiểm thử Fuzz (Fuzz testing) - Ma trận dấu vết (Traceability matrix) - Kiểm thử thăm dò (Exploratory testing) - Kiểm thử dựa... loại kiểm tra trong Integration Test: - Kiểm tra cấu trúc: Tương tự White Box Test (kiểm tra nhằm bảo đảm các thành phần bên trong của một chương trình chạy đúng) 29 2.3.2 Kiểm thử tích hợp (Integration Testing) - Kiểm tra chức năng (functional ): Tương tự Black Box Test (kiểm tra chỉ chú trọng đến chức năng của chương trình, không quan tâm đến cấu trúc bên trong) - Kiểm tra hiệu năng (performance ): Kiểm. .. dụng Nó không kiểm thử chi tiết mà chủ yếu kiểm tra tính đúng đắn của mã lệnh (code), thuật toán hay tài liệu * Chủ yếu kiểm tra cú pháp của code: kiểm tra xem code có được viết theo đúng tiêu chuẩn code; hoặc tài liệu để tìm lỗi bằng cách thủ công (sử dụng giấy, bút để kiểm tra logic, lần từng chi tiết mà không cần chạy chương trình) 12 2.1.1 Kiểm thử tĩnh (Static testing) * Kiểm thử tĩnh cũng có thể... 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) 23 2.2.3 Kiểm thử hộp xám (Gray box testing) * Là hình thức mới hình thành và đòi hỏi trình độ cao * Là kiểu trung gian giữa kiểm thử hộp đen và kiểm thử hộp trắng, trong đó tester phải vận dụng . thử phần mềm là gì? 2. Mục đích của việc kiểm thử. 3. Một số nguyên tắc trong kiểm thử. 5 1.1.Khái niệm kiểm thử phần mềm là gì? - Kiểm thử phần mềm có. l : 2.1. Kiểm thử hộp đen . 2.2. Kiểm thử hộp trắng. 2.3. Kiểm thử hộp xám. 3. Các giai đoạn kiểm thử. 11 2.1.1. Kiểm thử tĩnh (Static testing) * Kiểm thử