Kiểm thử phần mềm nhúng

Trong phạm vi của đề tài, dựa vào thực tế phát triển hệ thống máy in tem thư tại công ty FPT, tác giả đề xuất kiểm thử mức khối phải được thực hiện bởi nhân viên lập trình.. Trang 14 CHƯ

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC BÁCH KHOA HÀ NỘI - NGUYỄN VĂN TRỌNG KIỂM THỬ PHẦN MỀM NHÚNG LUẬN VĂN THẠC SĨ KHOA HỌC CHUYÊN NGÀNH: CÔNG NGHỆ THÔNG TIN NGƯỜI HƯỚNG DẪN KHOA HỌC: Hà Nội - 2009 Tai ngay!!! Ban co the xoa dong chu nay!!! 17057205191671000000 BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC BÁCH KHOA HÀ NỘI - NGUYỄN VĂN TRỌNG KIỂM THỬ PHẦN MỀM NHÚNG LUẬN VĂN THẠC SĨ KHOA HỌC CHUYÊN NGÀNH: CÔNG NGHỆ THÔNG TIN NGƯỜI HƯỚNG DẪN KHOA HỌC: PGS.TS HUỲNH QUYẾT THẮNG Hà Nội - 2009 Đồ án tốt nghiệp cao học: Kiểm thử phần mềm nhúng LỜI CAM ĐOAN Tôi – Nguyễn Văn Trọng Học viên lớp Cao học CNTT 2006-2008 Trường Đại học Bách Khoa Hà Nội – cam kết LVTN cơng trình nghiên cứu thân hướng dẫn PGs.TS Huỳnh Quyết Thắng Bộ môn Công nghệ Phần mềm – Khoa CNTT – Trường Đại học Bách Khoa Hà Nội Các kết nêu LVTN trung thực, không chép tồn văn cơng trình khác Hà Nội, ngày 24 tháng 04 năm 2009 Tác giả LVTN Nguyễn Văn Trọng Giảng viên hướng dẫn: PGS.TS Huỳnh Quyết Thắng Học viên: Nguyễn Văn Trọng Trang 1/78 Đồ án tốt nghiệp cao học: Kiểm thử phần mềm nhúng TÓM TẮT LUẬN VĂN Luận văn tốt nghiệp nghiên cứu đầy đủ sở lý thuyết kiểm thử, vai trò kiểm thử dự án phần mềm Tác giả sâu vào thực tế phát triển phần mềm công ty FPT để đưa mô hình làm việc kiểm thử viên Đưa quy trình kiểm thử dịch vụ trực tuyến OSIRIS cho máy in tem thư công ty FPT Đưa kiến nghị thay đổi biểu mẫu báo cáo cho dịch vụ trực tuyến OSIRIS Kiểm xốt vịng đời lỗi vấn đề đặc biệt quan trọng đối vơi dự án phát triển phần mềm Dựa vào quy trình phát triển sản phẩm, cơng ty xây dựng chu trình thay đổi trạng thái lỗi Tác giả dựa vào mơ hình phát triển phần mềm cơng ty FPT để đưa chu trình thay đổi trạng thái lỗi Trong chu trình này, vai trị người liên quan, trạng thái tại, trạng thái tiêp theo lỗi trình bầy rõ ràng Giảng viên hướng dẫn: PGS.TS Huỳnh Quyết Thắng Học viên: Nguyễn Văn Trọng Trang 2/78 Đồ án tốt nghiệp cao học: Kiểm thử phần mềm nhúng MỤC LỤC LỜI CAM ĐOAN TÓM TẮT LUẬN VĂN DANH MỤC CÁC THUẬT NGỮ VÀ TỪ VIẾT TẮT DANH MỤC CÁC BẢNG LỜI CẢM ƠN MỞ ĐẦU Tính cấp thiết đề tài Mục đích nghiên cứu Nhiệm vụ nghiên cứu 10 Phạm vi nghiên cứu 10 Cấu trúc luận văn 10 Phương pháp nghiên cứu 11 CHƯƠNG I: TỔNG QUAN VỀ KIỂM THỬ TRONG PHÁT TRIỂN PHẦN MỀM 12 1.1 1.1.1 1.1.2 1.1.3 1.1.4 1.2 1.2.1 1.2.2 1.2.3 1.3 1.3.1 1.3.2 1.3.3 1.3.4 1.3.5 2.1 2.2 2.2.1 2.2.2 2.3 Các mức độ kiểm thử (theo mơ hình chữ V) .26 2.3.1 2.3.2 2.3.3 2.3.4 2.4 Tầm quan trọng phát triển phần mềm 12 Một số định nghĩa liên quan đến kiểm thử 12 Mục tiêu kiểm thử 12 Một số cách hiểu không kiểm thử 12 Lý luận thực tiễn 13 Các hoạt động nhân viên kiểm thử 14 Mô tả công việc kiểm thử viên công ty FPT 14 Luồng công việc mà nhân viên kiểm thử phải thực dự án 16 Quy trình làm việc nhân viên kiểm thử phần mềm 17 Các đặc trưng kiểm thử phần mềm 17 Phạm vi kiểm thử 18 Mục tiêu kiểm thử 18 Các phương thức kiểm thử 19 Các kiểu kiểm thử 19 Tổng kết 21 Giới thiệu mơ hình phát triển phần mềm nhúng 22 Các hoạt động tài liệu trình kiểm thử 24 Các hoạt động kiểm thử 24 Tổng hợp tài liệu kiểm thử 26 Kiểm thử mức khối 26 Kiểm thử mức tích hợp 26 Kiểm thử mức hệ thống 27 Kiểm thử tiếp nhận 27 Lỗi công cụ quản lý lỗi công ty FPT 2.4.1 2.4.2 27 Lỗi 27 Chu trình thay đổi trạng thái lỗi 28 Giảng viên hướng dẫn: PGS.TS Huỳnh Quyết Thắng Học viên: Nguyễn Văn Trọng Trang 3/78 Đồ án tốt nghiệp cao học: Kiểm thử phần mềm nhúng 2.4.3 Chi phí lỗi 32 2.4.4 Phân loại lỗi 32 2.5 Vai trò người thực kiểm thử 34 2.5.1 Vai trò kiểm thử viên tổ chức công ty FPT 34 2.5.2 Vai trò kiểm thử viên chu trình phát triển phần mềm 39 2.5.3 Vai trò kiểm thử viên chất lượng phần mềm 40 Chương III: Áp dụng phương pháp kiểm thử phát triển phần mềm nhúng 42 3.1 Kiểm thử máy in tem thư 42 3.1.1 Đầu vào – Đầu 42 3.1.2 Môi trường quản ly tài liệu trình phát triển phần mềm 42 3.1.3 Cấu trúc hệ thống ca kiểm thử máy KEOPS 43 3.1.4 Các hoạt động trình kiểm thử 49 3.1.5 Các công cụ hỗ trợ kiểm thử 50 3.1.6 Duyệt khối trước kiểm thử tích hợp 52 3.1.7 Báo cáo kết kiểm thử 54 3.2 Kiểm thử hệ thống dịch vụ trực tuyến OSIRIS 57 3.2.1 Các pha dự án kiểm thử OSIRIS 57 3.2.2 Phân loại lỗi OSIRIS 59 3.2.3 Vòng đời lỗi Dimension 62 3.2.4 Thực kiểm thử mức tích hợp 63 3.2.5 Báo cáo kết kiểm thử 65 KẾT LUẬN 76 Các nhiệm vụ hoàn thành 76 Các đóng góp khoa học: 76 Hướng phát triển luận văn 77 TÀI LIỆU THAM KHẢO 78 Giảng viên hướng dẫn: PGS.TS Huỳnh Quyết Thắng Học viên: Nguyễn Văn Trọng Trang 4/78 Đồ án tốt nghiệp cao học: Kiểm thử phần mềm nhúng DANH MỤC CÁC THUẬT NGỮ VÀ TỪ VIẾT TẮT STT Thuật ngữ từ viết tắt ANSI CMM IEEE ISO Thuật ngữ từ đầy đủ American National Standards Institute Capability Maturity Model Institute of Electrical Electronics Engineers International Organization for Standardization 10 11 Kiểm thử mức tích hợp phần cứng/phần mềm Kiểm thử viên Kiểm thử theo hộp đen Kiểm thử theo hộp trắng Kiểm thử tĩnh STP SEI 12 ST Software Integration Test 13 SV Software Validation 14 UT Unit Test Hard test ware/software integration Ý nghĩa Viện tiêu chuẩn quốc gia Mỹ Viện kỹ thuật điện & điện tử Tổ chức Tiêu chuẩn hóa quốc tế Kiểm thử mức tích hợp phần cứng/phần mềm Tester Kiểm thử viên Black box test Kiểm thử theo hộp đên White box test Static test Kế hoạch kiểm thử Software Engineering Institute Giảng viên hướng dẫn: PGS.TS Huỳnh Quyết Thắng Học viên: Nguyễn Văn Trọng Là kết phép đo lường Kiểm thử tĩnh Kiểm thử theo hộp trắng Viện công nghệ phần mềm Kiểm thử mức tích hợp phần mềm Kiểm thử mức phê chuẩn phần mềm Kiểm thử mức khối Trang 5/78 Đồ án tốt nghiệp cao học: Kiểm thử phần mềm nhúng DANH MỤC CÁC BẢNG Bảng 1.1: Các công việc nhân viên kiểm thử công ty FPT 15 Bảng 1.2: Các đặc trưng kiểm thử phần mềm 21 Bảng 2.1: So sánh mơ hình phát triển phần mềm 23 Bảng 2.2: Các tài liệu kiểm thử phần mềm 26 Bảng 2.3: Quyền thay dổi trang thái lỗi 30 Bảng 2.4: Vai trò kiểm thử viên mặt quản lý 37 Bảng 2.5: Vai trò kiểm thử viên mặt kỹ thuật 38 Bảng 2.6: Vai trị kiểm thử viên cơng ty FPT 40 Bảng 3.1: Các module kiểm thử dòng máy KEOPS dòng máy khác 49 Bảng 3.2: Báo cáo kết duyệt khối 53 Bảng 3.3: Báo cáo kiểm thử cho máy in tem thư 56 Bảng 3.4: Các pha trình kiểm thử hệ thống OSIRIS 59 Bảng 3.5: Phân loại lỗi 59 Bảng 3.6: Một số lỗi lưu lại dự án kiểm thử OSIRIS phiên 2.4 61 Bảng 3.7: Các module q trình kiểm thử tích hợp hệ thống OSIRIS 65 Bảng 3.8: Báo cáo kết kiểm thử cho module CM 73 Bảng 3.9: Báo cáo kết kiểm thử theo mức độ quan trọng 74 Bảng 3.10: Báo cáo tổng hợp tỷ lệ ca thành công thất bại 74 Bảng 3.11: Báo cáo tổng hợp tỷ lệ ca thành công thất bại cho nước Anh 75 Bảng 3.12: Báo cáo tổng hợp tỷ lệ ca thành công thất bại cho nước Pháp 75 Bảng 3.13: Báo cáo tổng hợp tỷ lệ ca thành công thất bại cho nước Đức 75 Bảng 3.14: Báo cáo tổng hợp tỷ lệ ca thành công thất bại cho nước Ireland 75 Giảng viên hướng dẫn: PGS.TS Huỳnh Quyết Thắng Học viên: Nguyễn Văn Trọng Trang 6/78 Đồ án tốt nghiệp cao học: Kiểm thử phần mềm nhúng DANH MỤC CÁC HÌNH VẼ, ĐỒ THỊ Hình 1.1: Luồng cơng việc mà kiểm thử viên phải thực công ty FPT 16 Hình 1.2: Quy trình làm việc nhân viên kiểm thử cơng ty FPT 17 Hình 1.3: Các đặc trưng kiểm thử phần mềm 17 Hình 2.1: Các mơ hình phát triển phần mềm 22 Hình 2.2: Các pha mơ hình chữ V 24 Hình 2.3: Chu trình thay đổi trạng thái lỗi công ty FPT 28 Hình 2.4: Các pha lỗi 31 Hình 2.5: Chi phí lỗi theo pha 32 Hình 2.6: Quy trình phát hành sản phẩm cơng ty FPT 35 Hình 2.7: Sự tham gia kiểm thử viên mặt kỹ nghệ 39 Hình 2.8: Nguyên lý vòng đời quản lý chất lượng 40 Hình 2.9: Vịng đời chất lượng cơng ty FPT 41 Hình 3.1: Sơ đồ hoạt động kiểm thử máy in tem thư công ty FPT 42 Hình 3.2: Mơi trường quản lý tài liệu công ty FPT 42 Hình 3.3: Cấu trúc máy in tem thư 43 Hình 3.4: Các module cần kiểm thử cho máy in tem thư 44 Hình 3.5: Cây phân cấp ca kiểm thử máy in tem thư 44 Hình 3.6: Cây phân cấp ca kiểm thử Base Meter 45 Hình 3.7: Cây phân cấp ca kiểm thử Base Meter 46 Hình 3.8: Các hoạt động nhân viên kiểm thử máy in tem thư 50 Hình 3.9: Chu trình lỗi Dimension 62 Giảng viên hướng dẫn: PGS.TS Huỳnh Quyết Thắng Học viên: Nguyễn Văn Trọng Trang 7/78 Đồ án tốt nghiệp cao học: Kiểm thử phần mềm nhúng LỜI CẢM ƠN Trước hết, em xin chân thành gửi lời cảm ơn sâu sắc tới thầy cô giáo trường Đại học Bách Khoa Hà Nội nói chung thầy khoa Cơng nghệ Thơng tin, mơn Cơng nghệ phần mềm nói riêng tận tình giảng dạy, truyền đạt cho em kiến thức kinh nghiệm quý báu suốt năm học tập nghiên cứu trường Đại học Bách Khoa Hà Nội Em xin gửi lời cảm ơn đến PGs.TS Huỳnh Quyết Thắng khoa Công nghệ Thông tin, trường Đại học Bách Khoa Hà Nội hết lòng giúp đỡ, hướng dẫn dạy tận tình trình em làm luận văn tốt nghiệp Cuối cùng, em xin gửi lời cảm ơn chân thành tới gia đình, bạn bè quan tâm, động viên, đóng góp ý kiến giúp đỡ trình học tập, nghiên cứu hồn thành đồ án tốt nghiệp Hà Nội, ngày 24 tháng 04 năm 2007 Nguyễn Văn Trọng Lớp Cao học Công nghệ Thông tin 2006-2008 - Trường Đại học Bách Khoa Hà Nội Giảng viên hướng dẫn: PGS.TS Huỳnh Quyết Thắng Học viên: Nguyễn Văn Trọng Trang 8/78