BÁO CÁO CHUYÊN ĐỀ CÔNG NGHỆ PHẦN MỀM ĐỀ TÀI: Các phương pháp kiểm thử phần mềm và Phần tích thiềt kế hệ thống quản lý thư viện

lOMoARcPSD|12114775 TRƯỜNG ĐẠI HỌC ĐIỆN LỰC KHOA CÔNG NGHỆ THÔNG TIN BÁO CÁO CHUYÊN ĐÊỀ CÔNG NGHỆ PHẦỀN MÊỀM ĐÊỀ TÀI: Các phương pháp kiểm thử phầần mềầm Phần tch thiềết kềế hệ thốếng quản lý thư viện Sinh viên thực : NGUYÊỄN TÙNG LẦM : VŨ ĐỨC MINH : LÊ HOÀNG SƠN Giảng viên môn : Phạm Hơồng Đức Ngành : CƠNG NGHỆ THƠNG TIN lOMoARcPSD|12114775 Chuyên ngành : CÔNG NGHỆ PHẦỀN MÊỀM Lớp : D15CNPM5 Khóa : D15 Hà Nội, ngày 11 tháng 11 năm 2022 PHIÊẾU CHẦẾM ĐIỂM Sinh viên thực hiện: Họ tên Chữ ký Ghi Chữ ký Ghi NGUYỄỄN TÙNG LÂM VŨ ĐỨC MINH LỄ HOÀNG SƠN Giảng viên chấấm: Họ tên lOMoARcPSD|12114775 Giảng viên chấấm : Giảng viên chấấm : lOMoARcPSD|12114775 LỜI NÓI ĐẦU Ngày nay, với phát triển mạnh mẽ khoa học cơng nghệ, đặc biệt phát triển nhanh chóng lĩnh vực công nghệ thông tin, công nghệ phần mềm ngày vào đời sống người khai thác cách hiệu biến thành cơng cụ lao động hữu ích đóng vai trò quan trọng đời sống xã hội công cụ lao động Công nghệ phần mềm phần quan trọng lĩnh vực công nghệ thông tin, giúp người quản lí sở liệu cách đơn giản, dễ dàng nhanh chóng hơn, giúp tiết kiệm nhiều thời gian nhân lực Em thực đề tài đồ án “Các phương pháp kiểm thử phần mềm Phân tích thiết kế hệ thống quản lý thư viện” nhằm nâng cao thêm kiến thức tầm hiểu biết lĩnh vực lĩnh vực cơng nghệ thơng tin nói chung mơn thiết kế quản lý hệ thống nói riêng Đặc biệt, học kì Với niềm hân hạnh vinh dự thầy Phạm Hồng Đức người cố vấn, người giáo viên tận tâm hướng dẫn, góp ý, thảo luận, giúp em hồn thiện báo cáo Trong thời gian học tập thực hành hướng dẫn thầy, thầy giúp chúng em tiếp thu nhiều kiến thức thực tế bổ ích, mà cịn truyền say mê thích thú với mơn Cơng nghệ phần mềm Chúng em cố gắng hoàn thiện báo cáo với tất nỗ lực, niềm say mê thích thú, nhiên, bước đầu vào kiến thức mơi trường thực tế, tìm hiểu xây dựng đồ án thời gian định, với lượng kiến thức hạn chế, nhiều bỡ ngỡ, nên đồ án “Các phương pháp kiểm thử phần mềm Phân tích thiết kế hệ thống quản lý thư viện” chắn tránh mặt hạn chế thiếu sót Chúng em mong nhận quan tâm, thơng cảm đóng góp vô quý giá thầy cô bạn để báo cáo chúng em ngày hồn thiện Sau cùng, chúng em xin kính chúc thầy cô Khoa Công Nghệ Thông Tin dồi sức khoẻ, niềm tin vững vàng để tiếp tục thực sứ mệnh cao đẹp truyền đạt kiến thức cho hệ mai sau Trân trọng! lOMoARcPSD|12114775 PHẦN I: CÁC PHƯƠNG PHÁP KIỂM THỬ PHẦN MỀM Khái niệm - Là kiểm tra việc phát triển phần mềm - Cơng việc xun suốt q trình phát triển phần mềm - Kiểm tra xem sản phầm có với đặc tả khơng, - Có đáp ứng nhu cầu người dùng khơng, - Có hoạt động hiệu không => Tức trọng vào việc phát lỗi phân tích, lỗi thiết kế Các phương pháp kiểm thử phần mềm 2.1 Khái niệm phép thử - Một phép thử gọi thành cơng phát khiếm khuyết phần mềm - Phép thử chứng minh tồn lỗi hệ thống không chứng minh hệ thống khơng có lỗi - Một phép thử (ca thử nghiệm) bao gồm: + Tên mô đun thử nghiệm + Dữ liệu vào + Dữ liệu mong muốn (đúng) + Dữ liệu thực tế (khi tiến hành thử nghiệm) => Các ca thử nghiệm nên thiết kế tạo tài liệu phân tích thiết kế, khơng phải viết xong mã nguồn 2.2 Thử nghiệm chức thử nghiệm cấu trúc - Có hai kỹ thuật thử nghiệm tìm khuyết tật: lOMoARcPSD|12114775 + Thử nghiệm chức + Thử nghiệm cấu trúc 2.2.1 Hộp đen – thừ nghiệm chức - Thử nghiệm chức (functional testing) gọi thử nghiệm hộp đen (black box testing) + Là thử nghiệm sử dụng ca thử nghiệm thiết kế dựa đặc tả yêu cầu, + Tài liệu người dùng nhằm mục đích pháp khiếm khuyết + Thử nghiệm chức nhìn nhận mô đun thử nghiệm hộp đen quan tâm đến chức (hành vi) mơ đun, tức kiểm tra xem có hoạt động với đặc tả hay không - Các ca kiểm thử bao gồm: + Các trường hợp bình thường khơng bình thường (dữ liệu khơng hợp lệ…) mơ đun + Thông thường, thử nghiệm với liệu + Chiến lược chung thiết kế liệu thử nghiệm phân hoạch (dữ liệu) tương đương + Phân hoạch tương đương chia miền liệu vào thành vùng, mà vùng chứa liệu có hành vi + Do đó, vùng liệu cần xây dựng ca thử nghiệm + Thêm vào đố ca sử dụng biên giới vùng + Theo kinh nghiệm, sai sót lập trình thường sảy liệu biên Ví dụ: Đối với hàm tính trị tuyệt đối số ngun, chia miền đối số thành vùng: - vùng liệu ≥ - vùng liệu < lOMoARcPSD|12114775 Do liệu đầu vào để kiếm thử là: 100, -20, số Ngồi thử nghiệm trên, thơng thường cịn cần kiểm tra với liệu đặc thù như: - Biên số máy tính (ví dụ -32768, 32767) - Số 0, số âm, số thập phân - Khơng có input - Input ngẫu nhiên - Input sai kiểu… - Thử nghiệm chức giúp chúng ta: + Phát thiếu sót chức + Phát khiếm khuyết + Sai sót giao diện mơ đun + Sự khơng hiệu chương trình + Lỗi khởi tạo, lỗi kết thúc - Thử nghiệm chức dựa đặc tả nên: + Không thể kiểm thử trường hợp không khai báo đặc tả + Không đảm bảo thử hết khối mã nguồn mô đun - Thử nghiệm chức không phát đoạn mã yếu (có khả sinh lỗi với trạng thái đặc biệt hệ thơng) nhiều trường hợp việc đảm bảo xây dựng đầy đủ ca thử nghiệm khó khăn Ví dụ: Xét hàm tìm phần tử mảng lOMoARcPSD|12114775 Function TimX ( X: integer; A: mang; l : integer): integer; Đặc tả: +Tham số nhập: X: số nguyên cần tìm A: mảng số nguyên (bắt đầu số 1) l: chiều dài mảng +Kết xuất: = : khơng tìm thấy ≠ : tìm thấy, giá trị kết số phần tử tìm thấy Các bước tiến hành: Bước 1: Phân lớp Dựa vào kết - Khơng tìm thấy (= 0) - Tìm thấy (≠ 0) + chiều dài l = + chiều dài l > X xuất lần X xuất nhiều lần + đầu mảng + mảng + cuối mảng Bước 2: Chọn phần tử đại diện STT X A Kết lOMoARcPSD|12114775 3267 -4 81234 7 1 5361 -2 -2 -2 2.2.2 Hộp trắng – thử nghiệm cấu trúc Thử nghiệm cấu trúc (structural testing) - Là thử nghiệm dựa phân tích chương trình - Là xác định đường (path) chương trình (điều khiển) từ input đến output - Mục đích thử nghiệm cấu trúc kiểm tra tất đường - Tức đảm bảo lệnh thực lần ca thử nghiệm - Thử nghiệm cấu trúc trọng vào phân tích cấu trúc rẽ nhánh vòng lặp - Thử nghiệm cấu trúc xem xét chương trình mức độ chi tiết phù hợp kiểm tra mô đun nhỏ - Thử nghiệm cấu trúc khơng đầy đủ kiểm thử hết lệnh không chứng tỏ kiểm thử hết trường hợp - Có khả tồn tổ hợp lệnh khác gây lỗi - Ngồi ra, khơng thể kiểm thử hết đường vòng lặp lớn Ví dụ: [1] Lệnh 1; [2] Lệnh 2; [3] Downloaded by Vu Vu (quangchinhlas199@gmail.com) lOMoARcPSD|12114775 If điều kiện then Lệnh 3; [4] Lệnh 4; [5] If điều kiện then Lệnh Else Lệnh 6; [6] Lệnh 7; Các đường thực có: 1->2->3->4->5->7 1->2->3->4->6->7 1->2->4->5->7 1->2->4->6->7 Tóm lại: Thử nghiệm chức thử nghiệm cấu trúc quan trọng chúng bổ khuyết lẫn Downloaded by Vu Vu (quangchinhlas199@gmail.com) lOMoARcPSD|12114775 Phần 2.phân tích liệu qua phần đánh giá em xin đưa mơ hình quản lý thư viện Khoa CNTT sau: 1.Biểu đồ phân cấp chức QLTV KHOA CNTT XỬ LÝ THÔNG TIN NHẬP DỮ LIỆU MƯỢN TÀI LIỆU NHẬP DL ĐỘC GIẢ TK/IN/BC LÀM THẺ THƯ VIỆN TRẢ TÀI LIỆU NHẬP TÀI LIỆU TÌM KIẾM LẬP PHIẾU MƯỢN CẬP NHẬT DANH MỤC BÁO CÁO THEO YÊU CẦU Downloaded by Vu Vu (quangchinhlas199@gmail.com) lOMoARcPSD|12114775 2.BIỂU ĐỒ LUỒNG: 2.1Cấp khung cảnh: TT ĐỘC GIẢ Kết HTQLTV Hồi đáp BPQL TT yêu cầu TT TÀI LIỆU 2.2.Mức đỉnh TT YC BPQL ĐỘC GIẢ TT TT HỒI ĐÁP DM TÀI LIỆU NHẬP DỮ LIỆU CAP NHAT CAP NHAT TT KHO MƯỢN ĐỘC GIẢ DM ĐỘC GIẢ KHO TRẢ Tài liệu XỬ LÝ TT TT TT TT THỐNG KÊ BÁO CÁO Downloaded by Vu Vu (quangchinhlas199@gmail.com) lOMoARcPSD|12114775 2.3Mức đỉnh: BPQL TT NHẬP DL ĐỘC GIẢ ĐỘC GIẢ TT TT DM ĐỘC GIẢ TT CN NHẬP TÀI LIỆU TT CẬP NHẬT DANH TL MỚI TÀI LIỆU DM TÀI LIỆU TÀI LIỆU PL,CN BPQL DM ĐỘC GIẢ TÌM KIẾM TT DM NGƯỜI MƯỢN QL MƯỢN TÀI LIỆU TT TT QL TRẢ TÀI LIỆU DM NGƯỜI TRẢ TL CN TL CN DM TÀI LIỆU TT(1) TT(2) TT ĐỘC GIẢ TT(3) THẺ TV(PHẠT) Downloaded by Vu Vu (quangchinhlas199@gmail.com) lOMoARcPSD|12114775 ĐỘC GIẢ ĐO DM ĐỘC GIẢ THẺ TT ĐỘC GIẢ LÀM THẺ THƯ VIỆN LẬP PHIẾU MƯỢN DM NGƯỜI MƯỢN DM TÀI LIỆU BPQL BÁO CÁO THEO YÊU TT(1):thông tin thẻ thư viện, thông tin tài liệu muốn đọc,muốn mượn,phiếu yêu cầu TT (2): tài liệu chấp nhận cho mượn, cho đọc TT(3):thông tin độc giả tài liệu muốn trả TL CN:tài liệu cập nhật: tài liệu mượn hay trả danh mục tài liệu lại cập nhật lại Chú thích: BPQL: bao gồm nhân viên làm việc thư viện, cấp quản lý thư viện từ ĐỘC GIẢ: sinh viên, giáo viên, nhân viên khoa có thẻ thư viện Downloaded by Vu Vu (quangchinhlas199@gmail.com) lOMoARcPSD|12114775 3.Phân tích liệu Xác định thực thể: PHIẾU YC ĐỘC GIẢ PHIẾU YC TÀI LIỆU TÀI LIỆU ĐỘC GIẢ Độc giả phiếu yêu cầu tài liệu #mã độc giả #Số phiếu #mã tài liệu Tên độc giả Mã độc giả Tên tài liệu Địa Tên độc giả Nhà XB Địa Tác giả Mã tài liệu Năm XB Tên tài liệu Nhà XB Năm XB Tác giả Ngày mượn 3.2.Xác định biểu đồ cấu trúc liệu: Thuộc tính #số phiếu Mã độc giả Tên độc giả Địa 1NF #số phiếu Mã độc giả Tên độc giả Địa 2NF #số phiếu Mã độc giả Tên độc giả Địa Downloaded by Vu Vu (quangchinhlas199@gmail.com) 3NF #số phiếu Ngày mượn Mã tài liệu Mã độc giả lOMoARcPSD|12114775 Mã tài liệu Tên tài liệu Nhà XB Năm XB Tác giả Ngày mượn Mã tài liệu Tên tài liệu Nhà XB Năm XB Tác giả Ngày mượn Mã tài liệu Tên tài liệu Nhà XB Năm XB Tác giả Ngày mượn Ta có thực thể sau: PYC(#số phiếu,MaTL,MaDG,Ngaymuon) DG(#MaDG,TenDG,Diachi) TL(#MaTL,TenTL,NhaXB,A\NămXB,Tacgia) Downloaded by Vu Vu (quangchinhlas199@gmail.com) #mã độc giả Tên độc giả Địa #mã tài liệu Tên tài liệu Nhà XB Năm XB Tác giả