Đang tải... (xem toàn văn)
Tài liệu tham khảo Bài giảng công nghệ phần mềm bộ môn hệ thống thông tin và toán ứng dụng - Phần 1 Giới thiệu về chu trình sống của phần mềm - Chương 5 Kiểm thử
kiĨm thư (TESTING) Néi dung: Khái quát chung Vấn đề chất lợng Kiểm thử không dựa thực thi Kiểm thử dựa thực thi Một số dạng kiểm thử khác 57 Huỳnh Xuân HiƯp - CNPM http://www.ebook.edu.vn 5.1 Kh¸i qu¸t chung (overview) [IEEE 610.12, 1990] lỗi (fault) : thiếu sót mặt kü tht (bug) háng hãc (failure): háng hãc cđa s¶n phẩm bắt nguồn từ lỗi Lỗi (error): tạo ngời lập trình Thẩm tra (verification) Công nhận hợp lệ (validation) 58 Huỳnh Xuân Hiệp - CNPM http://www.ebook.edu.vn 5.2 Vấn đề chất lợng (quality issue) Chất lợng (quality): sản phẩm đáp ứng xác đặc tả Đảm bảo chất lợng phần mỊm (software quality assurance-SQA) thµnh lËp nhãm SQA nhãm SQA đảm bảo sản phẩm hoạt động chức kiểm tra nhà phát triển hoàn thành giai đoạn nhóm SQA đảm bảo chất lợng tiến trình phần mềm Độc lập quản lý (managerial independance): nhóm SQA nhóm phát triển phải đợc quản lý độc lập với nhau, không can thiệp vào công việc 59 Huỳnh Xuân Hiệp - CNPM http://www.ebook.edu.vn 5.3 Kiểm thử không dùa trªn thùc thi (nonexecution-based testing) 5.3.1 walkthroughs Nhãm walkthrough khoảng 4-6 ngời có đại diện thuộc nhóm đặc tả nhà quản lý chịu trách nhiệm nhóm đặc tả đại diện khách hàng ®¹i diƯn cđa nhãm thùc hiƯn giai ®o¹n kÕ tiÕp [Daun, 1984] đại diện nhóm SQA, làm trởng nhóm walkthrough Nên chọn ngời già dặn kinh nghiƯm kü tht [New, 1992] Qu¶n lý nhãm walkthrough, có cách thực hiện: hớng theo thành viên: thành viên nhóm đa danh sách chất vấn có mục không rõ ràng không xác theo quan điểm mình, đại diện nhóm đặc tả giải trình hớng theo tài liệu: ngời có trách nhiệm tài liệu giải trình phần tài liệu cho nhãm ®−a ý kiÕn [IEEE 1028, 1988] 60 Hnh Xu©n HiƯp - CNPM http://www.ebook.edu.vn 5.3.2 Thanh tra (inspection) Thµnh lËp nhãm tra kho¶ng ng−êi: nhãm tr−ëng(moderator), ng−êi thiÕt kế(designer), ngời cài đặt(implementer) ngời kiểm thử (tester) thuộc nhãm SQA kho¶ng 3-6 ng−êi [IEEE 1028, 1986]: mét sè vai trò đặc biệt nh nhóm trởng(moderator), ngời dẫn dắt nhóm phần thiết kế (reader), ngời viết báo cáo lỗi (recorder) Thanh tra víi nhãm tra, Fagan ®Ị xt [Fagan, 1976] nh»m kiĨm thư c¸c thiÕt kÕ vµ m· lƯnh, gåm b−íc: b−íc 1: xem xÐt khái quát (overview), tài liệu đợc tra nh đặc tả, thiết kế, mà lệnh, kế hoạch; đợc ®−a bëi chÝnh ng−êi viÕt tµi liƯu ®ã; tÊt thành viên nhóm nhận đầy đủ tài liệu bớc 2: chuẩn bị (preparation), thành viên tìm hiểu tài liệu cách chi tiết; danh sách lỗi lần tra gần nhÊt 61 Hnh Xu©n HiƯp - CNPM http://www.ebook.edu.vn bớc 3: tra (inspection), thành viên duyệt qua tất mục nhánh tài liệu; phát lỗi; lÃnh đạo nhóm tra viết báo cáo lỗi bớc 4: làm lại (rework), cá nhân phụ trách tài liệu sửa lỗi đợc mô tả báo cáo lỗi bớc bớc 5: tiếp tục (follow-up), nhóm trởng đảm bảo toàn tài liệu đà đợc điều chỉnh; giới thiệu lỗi [Fagan, 1986] Thiết lập danh sách lỗi tiềm tàng 5.3.3 Điểm mạnh điểm yếu (strengths and weaknesses of reviews) Điểm mạnh hiệu việc tìm kiếm lỗi lỗi đợc phát sớm giảm chi phí bảo trì Điểm yếu không hiệu phần mềm lớn, trừ đợc chia thành nhỏ tơng đối độc lập phải xem xét tài liệu liên quan phiên hành, không tốt nh tài liệu không đợc cập nhật đầy đủ xác 62 Hnh Xu©n HiƯp - CNPM http://www.ebook.edu.vn 5.4 Đánh giá công tác tra (metrics for inspections) Phơng pháp tính mật độ lỗi (fault density) số lỗi trang đặc tả hay thiết kế số lỗi 1000LOC Phơng pháp tính tỷ lệ phát lỗi (fault detection rate) số lợng lỗi quan trọng/không quan trọng Phơng pháp tính hiệu suất dò tìm lỗi (fault detection efficiency) số lợng lỗi quan trọng/không quan trọng ngời-giờ 63 Hnh Xu©n HiƯp - CNPM http://www.ebook.edu.vn 5.5 KiĨm thư dùa thực thi (execution-based testing) Định nghĩa Goodenough [Goodenough, 1979]: tiến trình suy xét dựa vào cách thức xử lý sản phẩm sở thực thi sản phẩm môi trờng đà biết với đầu vào chọn lọc Hệ mô (simulator): mô hình hoạt động môi trờng sản phẩm Một số khái niệm tiện ích (utility) độ tin cËy (reliability) sù m¹nh mÏ (robustness) hiƯu st (performance) đắn (correctness): sản phẩm đợc xem nh đáp ứng đợc đặc tả đầu nó, độc lập với tài nguyên máy tính vận hành dới điều kiện cho phép [Goodenough, 1979] 64 Huúnh Xu©n Hiệp - CNPM http://www.ebook.edu.vn VD: Đặc tả đầu vo: Đặc tả đầu ra: p: mảng n số nguyên, n>0 q: mảng n số nguyên với q[0] q[1] q[n-1] Hình 5.1 Đặc tả cho xếp void trickSort (int p[], int q[]) { int i; for (i= 0; i < n; i++) q[i] = 0; } H×nh 5.2 Phơng thức trickSort đáp ứng đặc tả Hình 5.1 Đặc tả đầu vo: Đặc tả đầu ra: p: mảng n số nguyên, n>0 q: mảng n số nguyên với q[0] q[1] q[n-1] Các phần tử mảng q hoán vị phần tử mảng p với giá trị không thay đổi Hình 5.3 Đặc tả cho xếp 65 Huỳnh Xuân Hiệp - CNPM http://www.ebook.edu.vn 5.6 Một số dạng kiểm thử khác (other types of testing software) KiĨm thư phÇn mỊm phân tán (testing distributed software) nhiều phần khác phần cứng mạng trao đổi thông báo sử dụng công cụ đặc biệt để xác định lỗi, lần vết [Wahl Schach, 1988] sử dụng tập tin lịch sử (historical file) Kiểm thử phần mỊm thêi gian thùc (testing real-time software) phơ thc vµo thời điểm xuất đầu vào thứ tự khó khăn ứng dụng trờng hợp kiểm thử (test cases) có dạng tiếp cận: phân tích cấu trúc, chứng minh tính đắn, kiểm thử theo hệ thống, kiểm thử thống kê mô [Quirk, 1985] 66 Hnh Xu©n HiƯp - CNPM http://www.ebook.edu.vn ... thiệp vào công việc cđa 59 Hnh Xu©n HiƯp - CNPM http://www.ebook.edu.vn 5. 3 Kiểm thử không dựa thực thi (nonexecution-based testing) 5. 3.1 walkthroughs Nhãm walkthrough kho¶ng 4-6 ng−êi... trị không thay đổi Hình 5. 3 Đặc tả cho xếp 65 Huỳnh Xuân Hiệp - CNPM http://www.ebook.edu.vn 5. 6 Một số dạng kiểm thử khác (other types of testing software) Kiểm thử phần mềm phân tán (testing... efficiency) số lợng lỗi quan trọng/không quan trọng ngời-giờ 63 Huỳnh Xuân Hiệp - CNPM http://www.ebook.edu.vn 5. 5 KiĨm thư dùa trªn thùc thi (execution-based testing) Định nghĩa Goodenough [Goodenough,