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 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 hoà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è động viên, khuyến khích Tôi suốt trình học tập hoà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 toà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 toà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 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 đ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 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ị Ngoài ra, luận vă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 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 Ngoài ra, tác giả 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 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 đoá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" "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 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 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 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 toán liên quan đến accuracy, bias, noise, trend Những số liệu thống kê theo công thức toán học cụ thể phụ thuộc vào mô hình Tính toán ƣớc tính thu đƣợc 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 toá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ả 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ệ toà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 toán ƣớc tính thu đƣợc 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 toá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 nghiên