Phương pháp dựa trên giá trị phân tích chất lượng phần mềm nghiên cứuthử nghiệm đánh giá độ tin cậy phần mềm

MỤC LỤC MỤC LỤC LỜI CẢM ƠN LỜI CAM ĐOAN DANH MỤC KÝ HIỆU, CHỮ VIẾT TẮT DANH MỤC CÁC BẢNG DANH MỤC CÁC HÌNH VẼ, CÁC ĐỒ THỊ MỞ ĐẦU CHƢƠNG 1: TỔNG QUAN VỀ PHÂN TÍCH CHẤT LƢỢNG PHẦN MỀM 1.1 Tổng quan chất lƣợng phần mềm 1.2 Hệ thống đánh giá chất lƣợng phần mềm 11 1.2.1 ISO/IEC 9126 11 1.2.2 ISO/IEC 14598 19 1.2.3 IEEE 1061 (1992) 21 1.2.4 ISO 12119 23 1.3 Các tiêu chí chất lƣợng phần mềm 24 1.3.1 Yêu cầu chất lƣợng ngƣời sử dụng 25 1.3.2 Yêu cầu chất lƣợng 25 1.3.3 Yêu cầu chất lƣợng 25 1.3.4 Chất lƣợng 26 1.3.5 Chất lƣợng ƣớc lƣợng 26 1.3.6 Chất lƣợng 26 1.3.7 Chất lƣợng sử dụng ƣớc lƣợng 26 1.3.8 Chất lƣợng sử dụng 26 1.4 Tiêu chí đánh giá sản phẩm phần mềm doanh nghiệp nƣớc 27 1.4.1 Các doanh nghiệp thuộc VINASA 28 1.4.2 Công ty HanoiSoftware 28 1.4.3 Tập đoàn Bƣu Viễn thơng Việt Nam 28 Kết chƣơng 30 CHƢƠNG 2: CƠ SỞ LÝ LUẬN VỀ PHÂN TÍCH CHẤT LƢỢNG PHẦN MỀM DỰA TRÊN GIÁ TRỊ 31 Học viên: Nguyễn Thị Thanh Thuỷ Lớp: CH11B-CNTT(KT) 2.1 Công nghệ phần mềm dựa giá trị (VBSE) 31 2.2 Các cơng cụ hỗ trợ phân tích chất lƣợng phần mềm Cocomo Coqualmo 32 2.2.1 Công cụ Cocomo 32 2.2.2 Công cụ Coqualmo 39 2.3 Phân tích chất lƣợng phần mềm dựa giá trị 41 2.3.1 Chất lƣợng phần mềm dựa giá trị (VBSQ) 41 2.3.2 Các mơ hình chất lƣợng phần mềm dựa giá trị (VBSQM) 45 2.4 Tổng hợp bƣớc áp dụng phân tích chất lƣợng phần mềm dựa giá trị 51 2.4.1 Bƣớc 1: Thiết lập yêu cầu đánh giá 51 2.4.2 Bƣớc 2: Xác lập chế đánh giá 52 2.4.3 Bƣớc 3: Thiết kế 52 2.4.4 Bƣớc 4: Thực đánh giá 52 Kết chƣơng 52 CHƢƠNG 3: ÁP DỤNG QUY TRÌNH PHÂN TÍCH CHẤT LƢỢNG PHẦN MỀM DỰA TRÊN GIÁ TRỊ ĐỂ ĐÁNH GIÁ THUỘC TÍNH ĐỘ TIN CẬY PHẦN MỀM SỬ DỤNG CÔNG CỤ SMERFS 53 3.1 Độ tin cậy phần mềm hƣớng tiếp cận phân tích dựa giá trị 53 3.2 Công cụ hỗ trợ SMERFS 55 3.3 Thử nghiệm xây dựng quy trình đánh giá độ tin cậy 56 3.4 Áp dụng thử nghiệm đánh giá 59 Kết chƣơng 66 KẾT LUẬN 67 TÀI LIỆU THAM KHẢO 68 PHỤ LỤC 69 A Hƣớng dẫn sử dụng 71 B Áp dụng thử nghiệm đánh giá độ tin cậy phần mềm sử dụng công cụ SMERFS 74 Học viên: Nguyễn Thị Thanh Thuỷ Lớp: CH11B-CNTT(KT) LỜI CẢM ƠN Tơi xin tỏ lịng biết ơn sâu sắc tới thầy giáo, cô giáo Trƣờng Đại học Bách khoa nói chung Viện Cơng nghệ Thơng tin - Truyền thơng nói riêng tận tình giảng dạy truyền đạt cho Tôi kiến thức kinh nghiệm suốt trình học tập Trƣờng Đặc biệt Tôi xin chân thành cảm ơn thầy giáo PGS.TS Huỳnh Quyết Thắng, Viện Công nghệ thông tin Truyền thông, Trƣờng Đại học Bách khoa Hà Nội quan tâm hƣớng dẫn tận tình cho Tơi suốt q trình làm luận văn thạc sĩ Nhờ có bảo ý kiến đóng góp quý báu Thầy giúp Tơi hồn thành tốt luận văn thạc sĩ Cuối cùng, Tôi xin chân thành cảm ơn gia đình, bạn bè ln động viên, khuyến khích Tơi suốt q trình học tập hồn thành luận văn Tôi xin chân thành cảm ơn! Học viên: Nguyễn Thị Thanh Thuỷ Lớp: CH11B-CNTT(KT) LỜI CAM ĐOAN Tôi xin cam đoan luận văn thạc sĩ công nghệ thơng tin: "PHƢƠNG PHÁP PHÂN TÍCH CHẤT LƢỢNG PHẦN MỀM DỰA TRÊN GIÁ TRỊ: NGHIÊN CỨU, THỬ NGHIỆM ĐÁNH GIÁ ĐỘ TIN CẬY PHẦN MỀM" cơng trình nghiên cứu cá nhân Tôi dƣới hƣớng dẫn thầy giáo PGS.TS Huỳnh Quyết Thắng Các số liệu luận văn số liệu trung thực, khơng chép tồn văn đƣợc rõ nguồn trích dẫn tài liệu tham khảo Hà Nội, ngày tháng 12 năm 2012 Nguyễn Thị Thanh Thuỷ Học viên: Nguyễn Thị Thanh Thuỷ Lớp: CH11B-CNTT(KT) DANH MỤC KÝ HIỆU, CHỮ VIẾT TẮT TỪ VIẾT TIẾNG ANH TẮT TIẾNG VIỆT Thời gian trung bình MTBF Mean Time Between failure MTTR Mean Time to repair Thời gian trung bình để sửa lỗi COCOMO Constructive Cost Model Mơ hình chi phí xây dựng COQUALMO Constructive Quality Model Mơ hình chất lƣợng xây dựng CER Cost Estimating Relationship Quan hệ ƣớc lƣợng chi phí Quality Attribute Estimating Quan hệ ƣớc lƣợng thuộc tính Relationship chất lƣợng QA Quality Anssurance Đảm bảo chất lƣợng ROI Return On Investment Tỷ lệ tái đầu tƣ RELY Required Reliability Độ tin cậy yêu cầu Value-based software quality Mơ hình chất lƣợng phần mềm model dựa giá trị VER Value Estimating Relationship Quan hệ ƣớc lƣợng giá trị IIF Initial Intensity Function Chức cƣờng độ ban đầu CIF Current Intensity Function Chức cƣờng độ QER VBSQM DDTS Distributed Defect Tracking System Học viên: Nguyễn Thị Thanh Thuỷ lỗi Hệ thống kiểm tra lỗi phân tán Lớp: CH11B-CNTT(KT) DANH MỤC CÁC BẢNG Bảng 2.1: Khung định nghĩa tính an tồn, tính bảo mật, tính riêng tƣ 422 Bảng 2.2: Số liệu dựa giá trị cho thuộc tính chất lƣợng phần mềm 45 Bảng 2.3: Quan hệ xếp hạng RELY pha chu trình phát triển phần mềm 47 Bảng 3.1: Các mơ hình độ tin cậy phần mềm SMERFS 57 Bảng 3.2: Thời gian liệu lỗi theo ba dòng đƣợc xây dựng 63 Học viên: Nguyễn Thị Thanh Thuỷ Lớp: CH11B-CNTT(KT) DANH MỤC CÁC HÌNH VẼ, CÁC ĐỒ THỊ Hình 1.1: Mơ hình chất lƣợng cho chất lƣợng ngồi 16 Hình 1.2: Mơ hình chất lƣợng sử dụng 19 Hình 1.3: Mối liên hệ tiêu chuẩn ISO 9126 ISO 14598 20 Hình 1.4: Khung tham số chất lƣợng phần mềm 22 Hình 1.5: Chất lƣợng vòng đời sản phẩm 24 Hình 2.1: Quan hệ chi phí phát triển phần mềm yêu cầu độ tin cậy (RELY) 38 Hình 2.2: Cấu trúc mơ hình COQUALMO 40 Hình 2.3: Quan hệ lỗi phát xếp hạng gỡ lỗi 41 Hình 2.4: Cấu trúc mơ hình chất lƣợng phần mềm dựa giá trị 46 Hình 2.5: Quan hệ ƣớc lƣợng giá trị điển hình (VER) có sẵn 49 Hình 2.6: Qui trình đánh giá chất lƣợng phần mềm 51 Hình 3.1: Quy trình đo độ tin cậy phần mềm 54 Hình 3.2: Phân tích SRGM / VC-Build 64 Hình 3.3: Phân tích SRGM / VC-Build 64 Hình 3.4: Phân tích SRGM / VC-Build 65 Hình 3.5: Phân tích SRGM / DISTeFAX 65 Hình 3.6: Dự án DISTeFAX - Execution Summary 66 Học viên: Nguyễn Thị Thanh Thuỷ Lớp: CH11B-CNTT(KT) MỞ ĐẦU Đảm bảo chất lƣợng phần mềm trở thành công việc quan trọng ngành công nghệ phần mềm Các sản phẩm phần mềm ngày phức tạp phát triển đa dạng phục vụ nhu cầu ngày cao ngƣời dùng dẫn đến việc đánh giá chất lƣợng sản phẩm trở lên khó khăn Do khơng thể đo trực tiếp đặc trƣng để đánh giá sản phẩm mà phải thơng qua thể Tuy nhiên, đối tƣợng liên quan đến phần mềm lại có yêu cầu khác chất lƣợng sản phẩm Vì vậy, việc phân tích chất lƣợng phần mềm vần đề cần đƣợc xem xét nhiều khía cạnh Phân tích chất lƣợng phần mềm vấn đề xúc nhà sản xuất nhƣ ngƣời dùng Muốn làm đƣợc việc cần phải có hệ thống tiêu chuẩn, phƣơng pháp đánh giá phù hợp để phân tích chất lƣợng phần mềm mức độ định Xuất phát từ thực tiễn nêu khiến Tôi lựa chọn đề tài: "PHƢƠNG PHÁP DỰA TRÊN GIÁ TRỊ PHÂN TÍCH CHẤT LƢỢNG PHẦN MỀM: NGHIÊN CỨU, THỬ NGHIỆM ĐÁNH GIÁ ĐỘ TIN CẬY PHẦN MỀM" Mục đích luận văn tìm hiểu hệ thống đánh giá chất lƣợng phần mềm có, mặt khác cịn nghiên cứu cách tiếp cận phân tích chất lƣợng phần mềm dựa giá trị Ngồi ra, luận văn cịn tổng hợp bƣớc áp dụng phân tích chất lƣợng phần mềm dựa giá trị tiến hành áp dụng quy trình để đánh giá thuộc tính độ tin cậy phần mềm sử dụng công cụ Smerfs Luận văn trình bày thành ba chương cụ thể: Chƣơng 1: Tổng quan phân tích chất lƣợng phần mềm Chƣơng 2: Cơ sở lý luận phân tích chất lƣợng phần mềm dựa giá trị Chƣơng 3: Áp dụng quy trình phân tích chất lƣợng phần mềm dựa giá trị để đánh giá thuộc tính độ tin cậy phần mềm sử dụng công cụ smerfs Do thời gian làm luận văn có hạn, nên q trình thực khó tránh khỏi thiếu sót, Em mong nhận đƣợc ý kiến đóng góp quý báu Thầy giáo, Cơ giáo giúp em cập nhật kịp thời bổ sung hoàn thiện kiến thức cho thân Em xin chân thành cảm ơn! Học viên: Nguyễn Thị Thanh Thuỷ Lớp: CH11B-CNTT(KT) CHƢƠNG 1: TỔNG QUAN VỀ PHÂN TÍCH CHẤT LƢỢNG PHẦN MỀM Chương giới thiệu tổng quan khái niệm, định nghĩa liên quan đến chất lượng phần mềm, hướng tiếp cận khác việc đánh giá chất lượng phần mềm Trong chương này, tác giả giới thiệu hệ thống đánh giá chất lượng phần mềm sử dụng tiêu chí chất lượng phần mềm Ngồi ra, tác giả cịn giới thiệu tiêu chí đánh giá chất lượng phần mềm số công ty nước 1.1 Tổng quan chất lƣợng phần mềm Theo định nghĩa hình thức chất lƣợng sản phẩm phần mềm Tổ chức tiêu chuẩn quốc tế ISO tiêu chuẩn 8402, "chất lượng khả đáp ứng toàn diện nhu cầu người dùng tính cơng dụng nêu cách tường minh không tường minh ngữ cảnh xác định" Ngay định nghĩa chất lƣợng đƣợc định nghĩa cách "mờ", thiếu yếu tố định lƣợng Thêm nữa, để hiểu hết nhu cầu ngƣời sử dụng thực khó Với khó khăn định lƣợng khái niệm chất lƣợng phần mềm, để có đƣợc phần mềm tốt cách thơng thƣờng tiếp cận theo quy trình chất lƣợng Nghĩa có quy trình sản xuất tốt có khả sản xuất sản phẩm tốt [2] Tổ chức quan tâm đến chất lƣợng phần mềm thực Mỹ Phát triển phần mềm với mơ hình thác nƣớc hƣớng hợp đồng, chuẩn 1974, MIL-S52779, “Software Quality Assurance Program Requirement”, định nghĩa đối tƣợng đảm bảo chất lƣợng phần mềm (QA) nhƣ “đảm bảo phần mềm chuyển cho khách hàng phải đạt đƣợc yêu cầu hợp đồng” Điều khó khăn cách tiếp cận QA hoàn toàn dựa vào hợp đồng ban đầu Nếu hợp đồng yêu cầu chất lƣợng nghèo nàn không đầy đủ kết thu đƣợc phần mềm với chất lƣợng Những tổ chức kinh doanh theo nhiều cách nhƣ: đặc tả giao diện ngƣời dùng nghèo nàn, đặc tả yêu cầu thu đƣợc từ ngƣời dùng sai, trở nên khơng thể bảo trì phần mềm yêu cầu Học viên: Nguyễn Thị Thanh Thuỷ Lớp: CH11B-CNTT(KT) mang tính chuẩn đốn Vào năm 1980, bắt đầu xu hƣớng từ năm 1970 đặc tả hƣớng hợp dồng chuyển sang hƣớng thỏa mãn khách hàng hƣớng dịch vụ đối tƣợng chất lƣợng khởi đầu Các phƣơng pháp đảm bảo chất lƣợng phần mềm nhƣ: Quản lý chất lƣợng toàn (Total Quality Management TQM) triển khai chức chất lƣợng (QFD) dựa chất lƣợng mong đợi khách hàng bao gồm ngƣời dùng sản phẩm phần mềm Vì thế, năm 1990 định nghĩa “Chất lƣợng” IEEE thêm “…đạt đƣợc yêu cầu, mong đợi ngƣời dùng khách hàng” vào định nghĩa ban đầu “…đạt đƣợc yêu cầu đặc tả” Một sáng kiến đƣa giải vấn đề năm 1990 tập trung vào xác định tập đầy đủ bên liên quan hệ thống phần mềm tiếp tục mục tiêu việc thỏa hiệp bên liên quan thuộc tính chất lƣợng phần mềm Mở rộng phạm vi “chất lƣợng” bao gồm đề nghị yêu cầu hệ thống giá đề nghị ngƣời bảo trì phần mềm khả bảo trì khả mở rộng Bộ tiêu chuẩn chất lƣợng ISO 9001-3 tổ chức ISO, quy định "Quy trình đảm bảo chất lƣợng" tổ chức phát triển phần mềm Chứng ISO 9001 xác nhận tổ chức, đơn vị có quy trình đảm bảo chất lƣợng hợp chuẩn Bên cạnh đó, mơ hình khác CMM (Capability Maturity Model) đƣợc quan tâm Việt Nam Công ty nhận đƣợc chứng CMM nghĩa cơng ty đạt đƣợc mức độ tƣơng ứng với cấp độ CMM chứng Một doanh nghiệp phát triển phần mềm, có chứng CMM ISO 9001 có khả sản xuất phần mềm tốt hẳn cơng ty chƣa có chứng Tuy nhiên, cần lƣu ý "khả năng" khơng phải "chắc chắn" Vẫn có doanh nghiệp có quy trình tốt nhƣng sản xuất sản phẩm chất lƣợng không cao Điều chứng tỏ cách tiếp cận theo chất lƣợng quy trình chƣa phải cách tiếp cận toàn diện mà giải vấn đề mức Nhƣ vậy, định nghĩa chất lƣợng phần mềm khó Chất lƣợng sản phẩm phần mềm đƣợc xem tốt hay xấu phụ thuộc vào ngƣời thẩm định chúng Học viên: Nguyễn Thị Thanh Thuỷ 10 Lớp: CH11B-CNTT(KT)  Thực đánh giá Dựa kết phân tích ta thấy: Trong q trình kiểm thử kéo dài 12 đơn vị thời gian tiếp theo, số lỗi kỳ vọng Trong trình kiểm thử kéo dài 232 đơn vị thời gian, xác suất phần mềm chạy khơng có lỗi 0.0 Đồ thị biểu diễn liệu với đƣờng dự đoán (đƣờng cân bằng) Bộ số liệu Dữ liệu phục vụ cho thử nghiệm đƣợc lấy từ dự án thử nghiệm DISTeFAX [11] Các tác giả trƣờng Đại học Spiru Haret University, Bucharest, Romania thu thập liệu Phần mềm DISTeFAX đƣợc thiết kế thực nhƣ hệ thống an toàn phần mềm tạo điều kiện thuận lợi cho việc xử lý meta-fax (nhiều phần liệu thu đƣợc từ tập tin riêng lẻ đƣợc tạo ứng dụng khác nhƣ soạn thảo văn bản, ứng dụng xử lý hình ảnh, v.v) Các ứng dụng DISTeFAX có hai phần theo phƣơng pháp thiết kế clientserver dựa nguyên tắc tái sử dụng nhƣ phƣơng pháp tiếp cận cho Học viên: Nguyễn Thị Thanh Thuỷ 62 Lớp: CH11B-CNTT(KT) mắt phần mềm thời gian ngắn Các hoạt động liên quan đến việc gửi nhận fax đƣợc quản lý thành phần đƣợc xây dựng đầu module eFax Chức module máy khách đƣợc kết nối với việc gửi fax xem trƣớc gửi lại nhận đƣợc - mà không cần sử dụng fax-modem  Yêu cầu đánh giá: Trong phần này, độ tin cậy phần mềm đƣợc phân tích cách sử dụng tiêu chuẩn mơ hình độ tin cậy phần mềm cung cấp công cụ SMERFS Dữ liệu thời gian lỗi đƣợc thu thập bảng 3.2 sau: Bảng 3.2: Time between failure data along three builds  Cơ chế đánh giá Trong q trình phân tích, lựa chọn năm mơ hình cụ thể là: Mơ hình Geometric model; Mơ hình – Littlewood and Verrall Quadratic model; Mơ hình – Musa’s basic model; Mơ hình – Musa’s logarithmic model; and Mơ hình – Nonhomogeneous Poisson model Đồng thời lựa chọn chức so sánh mơ hình "Accuracy Analysis" Đối với mơ hình số liệu thống kê đƣợc tính tốn liên quan đến accuracy, bias, noise, trend Những số liệu thống kê theo cơng thức tốn học cụ thể phụ thuộc vào mơ hình Tính tốn ƣớc tính thu đƣợc q trình thực mơ hình là: IIF – Initial Intensity Function, CIF – Current Intensity Function, PrfLvl – the “Purity” Level, MTBNF – Current Mean Time Between Next Failure, KS – Đánh giá cho tính tốn Goodness-of-fit  Thiết kế Trong trƣờng hợp dự án, cách sử dụng đánh giá Goodness-offit thu đƣợc ba mơ hình thích hợp cho liệu là: Littlewood and Verrall Học viên: Nguyễn Thị Thanh Thuỷ 63 Lớp: CH11B-CNTT(KT) Quadratic model, Musa’s basic model, Nonhomogeneous Poisson model đƣợc xác định dự đoán liệu dự án nhƣ sau (Hình 3.2 - 3.4): Hình 3.2: Phân tích SRGM / VC-Build Hình 3.3: Phân tích SRGM / VC-Build Học viên: Nguyễn Thị Thanh Thuỷ 64 Lớp: CH11B-CNTT(KT) Hình 3.4: Phân tích SRGM / VC-Build Hình 3.5: Phân tích SRGM / DISTeFAX Học viên: Nguyễn Thị Thanh Thuỷ 65 Lớp: CH11B-CNTT(KT)  Thực đánh giá Kết phân tích cơng cụ smerfs thiết lập đƣợc chuỗi liệu lỗi liên quan đến dự án DISTeFAX (thể giá trị hình 3.5) Căn vào accuracy, bias, noise, trend mơ hình the Musa’s logarithmic đƣợc xếp nhƣng lại không đƣợc coi tốt xem xét đến KS Dist (hình 3.6) Mơ hình thích hợp để đánh giá hai mơ hình Musa’s basic mơ hình Nonhomogeneous Poisson Hình 3.6: Dự án DISTeFAX - Execution Summary Kết chƣơng Chương giới thiệu tổng quan độ tin cậy phần mềm hướng tiếp cận phân tích dựa giá trị Mặt khác, tác giả cịn giới thiệu cơng cụ hỗ trợ SMERFS thử nghiệm để xây dựng quy trình đánh giá độ tin cậy Cuối áp dụng thử nghiệm số dự án phần mềm Học viên: Nguyễn Thị Thanh Thuỷ 66 Lớp: CH11B-CNTT(KT) KẾT LUẬN Luận văn thạc sĩ với đề tài: "Phƣơng pháp dựa giá trị phân tích chất lƣợng phần mềm: Nghiên cứu, thử nghiệm đánh giá độ tin cậy phần mềm" hoàn thành Luận văn giải đƣợc vấn đề sau: - Tìm hiểu tổng quan phân tích chất lƣợng phần mềm: Luận văn trình bày định nghĩa liên quan đến chất lƣợng phần mềm giới thiệu hệ thống đánh giá chất lƣợng phần mềm nhƣ: ISO/IEC 9126, ISO/IEC 14598, IEEE 1061, ISO 12119 Tìm hiểu tiêu chí chất lƣợng có tiêu chí đánh giá sản phẩm phần mềm doanh nghiệp nhà nƣớc - Tìm hiểu cách tiếp cận dựa giá trị để phân tích, đánh giá chất lƣợng phần mềm tìm hiểu hai cơng cụ sử dụng hỗ trợ phân tích chất lƣợng phần mềm Cocomo Coqualmo: Luận văn tìm hiểu cơng nghệ phần mềm dựa giá trị, phân tích chất lƣợng phần mềm dựa giá trị thơng qua mơ hình chất lƣợng phần mềm dựa giá trị - Tìm hiểu làm chủ công cụ SMERFS hỗ trợ phân tích mơ hình đánh giá độ tin cậy phần mềm, từ tổng hợp thành bƣớc áp dụng phân tích chất lƣợng phần mềm dựa giá trị để phân tích thuộc tính độ tin cậy phần mềm (Software Reliability) - Thử nghiệm áp dụng quy trình phân tích chất lƣợng phần mềm dựa giá trị để đánh giá thuộc tính độ tin cậy phần mềm với 02 dự án chuẩn trung tâm nghiên cứu cơng bố để đánh giá quy trình đề xuất Do thời gian làm luận văn không đƣợc nhiều điều kiện khách quan, tác giả chƣa thử nghiệm thực tế đánh giá dự án thực tế Việt Nam Đây trở thành nội dung để phát triển luận văn tƣơng lai Học viên: Nguyễn Thị Thanh Thuỷ 67 Lớp: CH11B-CNTT(KT) TÀI LIỆU THAM KHẢO [1] A Aurum, S Biffl, B Boehm, H Erdogmus, and P Gruenbacher (eds.), (2005), Value-Based Software Engineering, Springer Verlag [2] Bộ thông tin truyền thông, (9/2010), Tiêu chuẩn quốc gia đánh giá sản phẩm phần mềm [3] http://www.slingcode.com/smerfs [4] Liguo Huang, (2006), Software Quality Analysis: A Value-Based Approach [5] Mơ hình chất lƣợng tiêu chuẩn ISO-9126 – Tiêu chuẩn quốc gia, 2/2010 [6] Michael R Lyu, (2005), Handbook of Software Reliability Engineering IEEE Computer Society Press and McGraw-Hill Book Company [7] Phạm Hồng Thành, Mơ hình Cocomo cách ước lượng dự án [8] Sunita Chulani and Barry Boehm USC - Center for Software Engineering Los Angeles, Modeling Software Defect Introduction and Removal [9] Ths Trƣơng Vĩnh Hảo, Quản lý dự án công nghệ thông tin [10] U.S Department of Defense, (1974), Software Quality Assurance Program Requirements, MIL-S-52779 (AD) [11] Albeanu, G., Averian A & I Duda 2009b Towards web applications reliability engineering In Krzysztof Kolowrocki, & Enrico Zio (eds.) Proceedings of SSARS 1:15-22 Học viên: Nguyễn Thị Thanh Thuỷ 68 Lớp: CH11B-CNTT(KT) NỘI DUNG BỔ SUNG, SỬA CHỮA TRONG LUẬN VĂN Nội dung cũ TT Tên đề tài Nội dung sửa chữa, bổ sung Trang Tên đề tài "Phƣơng pháp dựa giá trị "Phƣơng pháp dựa giá trị phân phân tích chất lƣợng phần mềm tích chất lƣợng phần mềm: Nghiên Nghiên cứu, thử nghiệm đánh giá cứu, thử nghiệm đánh giá độ tin cậy độ tin cậy phần mềm" phần mềm" dạng COCOMO: dạng COCOMO: - COCOMO - Basic COCOMO - COCOMO trung gian - Intermediate COCOMO - COCOMO chi tiết - Detailed COCOMO: Dự án phần mềm Software Project - Tổ chức - Organic - Bên - Semi-detached - Nhúng - Embedded 32 33, 36 Bảng 2.1: Trực giao định nghĩa Bảng 2.1: Khung định nghĩa tính an thuộc tính bảo vệ tồn, tính bảo mật, tính riêng tƣ Các thuộc tính mạnh Các thuộc tính Robustness 41 43 3.4 Áp dụng thử nghiệm đánh giá Bộ số liệu  Cơ chế đánh giá Tính tốn ƣớc tính thu đƣợc q trình thực mơ hình là: IIF – Initial Intensity Function, CIF – Current Intensity Function, PrfLvl – the “Purity” Level, MTBNF – Current Mean Time Between Next Failure, KS – Đánh giá cho tính tốn Goodness-of-fit  Thực đánh giá Học viên: Nguyễn Thị Thanh Thuỷ 69 Lớp: CH11B-CNTT(KT) TT Nội dung cũ Nội dung sửa chữa, bổ sung Trang Kết phân tích cơng cụ smerfs thiết lập đƣợc chuỗi liệu lỗi liên quan đến dự án DISTeFAX Căn vào accuracy, bias, noise, trend mơ hình the Musa’s logarithmic đƣợc xếp nhƣng lại không đƣợc coi tốt xem xét đến KS Dist (hình 3.6) Mơ hình thích hợp để đánh giá hai mơ hình Musa’s basic mơ hình Nonhomogeneous Poisson Ngày tháng năm 2013 XÁC NHẬN CỦA CHỦ TỊCH HĐ XÁC NHẬN CỦA GVHD TS Cao Tuấn Dũng PGS.TS Huỳnh Quyết Thắng Học viên: Nguyễn Thị Thanh Thuỷ 70 Lớp: CH11B-CNTT(KT) PHỤ LỤC A Hƣớng dẫn sử dụng  Để mở chương trình Tạo thƣ mục cho SMERFS (tùy chọn) Nhấp đúp chuột vào gói "SMERFS 3" Nhấp vào "OK", sau gõ tên đƣờng dẫn cho vị trí gói SMERFS Chọn "Giải nén", "OK" "Close"  Để bắt đầu chương trình Kích đúp vào biểu tƣợng đƣợc cung cấp gói phần mềm  Mở tập liệu Lựa chọn “Data” từ toolbar Lựa chọn “New” Lựa chọn “File” (bạn chọn Data Entry thiết lập liệu tay Chọn file liệu mẫu đƣợc cung cấp gói cài đặt, lựa chọn bao gồm: - Sofware Interval - Software TBF - Hardware TBF - System TBF (hoặc bạn tạo file liệu cho dựa vào format chung)  Các tùy chọn Toolbar - “Data” – có tùy chọn “Plots” để hiển thị liệu dòng điểm liệu mịn - “Executions” – có tùy chọn “Numerical method” để chọn “Maximum likelihood” “least squares” - “Execution” có lựa chọn “Accuracy Analysis”  Chức Execution Chọn Execution từ toolbar Chọn “Model Execution” cho lựa chọn Model “Accuracy Analysis” Học viên: Nguyễn Thị Thanh Thuỷ 71 Lớp: CH11B-CNTT(KT) Chọn mơ hình cụ thể lựa chọn tất mơ hình Chọn “Accuracy Analysis” để so sánh xác mơ hình Chọn OK  Hiển thị kết phân tích Sau trải qua bƣớc Execution, kết phân tích hiển thị, bạn chọn chức Print để xem báo cáo lựa chọn chức Plots để xem sơ đồ biểu diễn giá trị liệu theo thời gian Học viên: Nguyễn Thị Thanh Thuỷ 72 Lớp: CH11B-CNTT(KT)  Dự đoán ước tính Xem cách lựa chọn nút biểu diễn tên mơ hình menu ngang cửa sổ Execution Summary Ƣớc lƣợng đánh giá áp dụng cho mơ hình đƣợc thể dựa vào đầu vào ngƣời dùng cung cấp (white-box)  Định dạng file liệu đầu vào For Software “Time etween Errors” the format is: Column “Elapsed Time” Column “0” to denote a software failure, e.g 1.00000 1.50000 2.00000 2.50000 For Software “ nterval Counts” the format is: Column “Software Error Count” Column “Interval length” usually normalized to (1 day, week, month, etc.), e.g 20.0 1.0 18.0 1.0 Học viên: Nguyễn Thị Thanh Thuỷ 73 Lớp: CH11B-CNTT(KT) 45.0 1.0 62.0 1.0 63.0 1.0 For Hardware “Time etween Errors” the format is: For record onwards we have; Column Column “TBF”, is the Time Between Failure “Failure Type” indicates a if a hardware failure otherwise a for a software failure; Column Column “Sev” is the Severity level “H/W NOF” is a hardware number; and Eff Factor is the Hardware Efficiency Factor – a number between and 12.00000 34 0.45000 65.00000 12 0.01100 78.00000 1 17 0.87460 10.00000 17 0.87000 “record 4” and then repeat For System “Time etween Errors” the format is: Column Column “Time between failures” “0” for a software failure “1” for a hardware failure Column A severity level of the failure (e.g 1-4) 1.00000 1.50000 2.00000 1 2.50000 B Áp dụng thử nghiệm đánh giá độ tin cậy phần mềm sử dụng công cụ SMERFS Học viên: Nguyễn Thị Thanh Thuỷ 74 Lớp: CH11B-CNTT(KT)  Yêu cầu đánh giá Tổng hợp thời gian hai lần thất bại liên tiếp hệ thống (bao gồm phần cứng phần mềm) File liệu đầu vào: system_tbf.S3D Trong đó: Cột 1: thời gian hai lần thất bại liên tiếp Cột 2: – thất bại phần mềm; – thất bại phần cứng Cột 3: mức độ trầm trọng thất bại (1-4)  Cơ chế đánh giá Lựa chọn tất mơ hình, đồng thời lựa chọn chức so sánh mơ hình Accuracy Analysis Starting point: 16 Ending point: 31 Các tham số mô hình để trạng thái mặc định chƣơng trình  Thiết kế Dƣới giao diện tính toán tổng hợp Học viên: Nguyễn Thị Thanh Thuỷ 75 Lớp: CH11B-CNTT(KT)  Thực đánh giá Kết phân tích cho nhƣ sau: Đồ thị biểu diễn liệu với đƣờng dự đoán (đƣờng cân bằng) Học viên: Nguyễn Thị Thanh Thuỷ 76 Lớp: CH11B-CNTT(KT) ... VỀ PHÂN TÍCH CHẤT LƢỢNG PHẦN MỀM DỰA TRÊN GIÁ TRỊ Chương giới thiệu công nghệ phần mềm dựa giá trị phân tích chất lượng phần mềm dựa giá trị Đây cách tiếp cận để phân tích chất lượng phần mềm: ... lượng phần mềm dựa giá trị (VBSQ), mơ hình chất lượng phần mềm dựa giá trị Cuối cùng, tác giả tổng hợp bước phân tích đánh giá chất lượng phần mềm dựa giá trị 2.1 Công nghệ phần mềm dựa giá trị (VBSE)... "PHƢƠNG PHÁP DỰA TRÊN GIÁ TRỊ PHÂN TÍCH CHẤT LƢỢNG PHẦN MỀM: NGHIÊN CỨU, THỬ NGHIỆM ĐÁNH GIÁ ĐỘ TIN CẬY PHẦN MỀM" Mục đích luận văn tìm hiểu hệ thống đánh giá chất lƣợng phần mềm có, mặt khác cịn nghiên