Kiểm thử và tiêu chuẩn, quy trình đánh giá chất lượng phần mềm quân sự

i ĐẠI HỌC THÁI NGUYÊN ĐẠI HỌC CÔNG NGHỆ THÔNG TIN & TRUYỀN THÔNG Phùng Quang Học KIỂM THỬ VÀ TIÊU CHUẨN, QUY TRÌNH ĐÁNH GIÁ CHẤT LƯỢNG PHẦN MỀM QUÂN SỰ Chuyên ngành: Khoa học máy tính Mã số: 60480101 LUẬN VĂN THẠC SĨ KHOA HỌC MÁY TÍNH NGƯỜI HƯỚNG DẪN KHOA HỌC TS BÙI VĂN THANH Thái Nguyên - 2014 ii LỜI CAM ĐOAN Tôi xin cam đoan: luận văn “Kiểm thử tiêu chuẩn, quy trình đánh giá chất lượng phần mềm quân sự” công trình nghiên cứu cá nhân tơi, nội dung nghiên cứu trình bày luận văn trung thực, rõ ràng LỜI CẢM ƠN Tôi xin cảm ơn Trường Đại học Công nghệ thông tin Truyền thông - Đại học Thái Nguyên tạo điều kiện thuận lợi cho tơi hồn thành khóa học khóa luận Tôi xin gửi lời cảm ơn chân thành tới TS Bùi Văn Thanh, Thầy cho định hướng nghiên cứu, giúp đỡ suốt thời gian hoàn thành luận văn Để hoàn thành khóa học có cơng sức vơ to lớn thầy, nhiệt tình giảng dạy, trang bị cho kiến thức quý báu thời gian học tập trường Cảm ơn bạn lớp nhiệt tình giúp đỡ suốt thời gian học tập trường MỤC LỤC LỜI CAM ĐOAN i LỜI CẢM ƠN iii LỜI NÓI ĐẦU CHƯƠNG 1: TỔNG QUAN .3 Đặc thù phần mềm dùng quân 1.1 Các lĩnh vực có ứng dụng công nghệ thông tin quân .3 1.2 Đặc thù phần mềm dùng quân Khái quát phần mềm kiểm thử phần mềm 2.1 Sản phẩm phần mềm kiểm thử phần mềm .4 2.1.1 Sản phẩm phần mềm gì? .4 2.1.2 Thế lỗi phần mềm? 2.1.3 Tại lỗi phần mềm xuất hiện? 2.1.4 Chi phí cho việc sửa lỗi 2.1.5 Kiểm thử phần mềm gì? .8 2.2 Chất lượng phần mềm 2.3 Qui trình kiểm thử phần mềm .9 2.4 Một số kỹ thuật kiểm thử 11 2.4.1 Kỹ thuật kiềm thử hộp trắng (White-Box Testing) .11 2.4.2 Kiểm thử đường dẫn sở (Basic Path Testing) 13 2.4.3 Kỹ thuật kiểm thử hộp đen (Black-Box Testing) .13 2.4.3.1 Phân hoạch tương đương .14 2.4.3.2 Phân tích giá trị biên (BVA - Boundary Value Analysis) 15 2.4.3.3 Kỹ thuật đồ thị nhân-quả (Cause-Effect Graph) 16 2.4.3.4 Kiểm thử so sánh 19 2.4.4 Đoán lỗi 20 CHƯƠNG 2: BỘ TIÊU CHUẨN ĐÁNH GIÁ CHẤT LƯỢNG PHẦN MỀM .21 Tiêu chuẩn chức 21 1.1 Mục đích .21 1.2 Các tài liệu liên quan 21 1.3 Căn đánh giá 21 1.4 Định nghĩa 21 1.5 Trách nhiệm 22 1.6 Nội dung thực .22 1.6.1 Lập kế hoạch, hồ sơ cho việc xây dựng chuẩn bị tiền đánh giá 22 1.6.2 Thực việc đánh giá .23 Tiêu chuẩn TIN CẬY 27 2.1 Mục đích .27 2.2 Các tài liệu liên quan 27 2.3 Căn đánh giá 27 2.4 Định nghĩa 28 2.5 Trách nhiệm 28 2.5.1 Đối với đơn vị sản xuất phần mềm 28 , đơn vị mua SPPM có sẵn thị trường 28 2.5.3 Đối với đơn vị đánh giá .28 2.6 Nội dung thực .28 2.6.1 Lập kế hoạch, hồ sơ cho việc xây dựng chuẩn bị tiền đánh giá 29 2.6.2 Thực việc đánh giá .29 Tiêu chuẩn Tính khả dụng 34 3.1.Mục đích 34 3.2 Các tài liệu liên quan 34 3.3 Căn đánh giá 34 3.4 Định nghĩa 34 3.5 Trách nhiệm 35 3.5.1 Đối với đơn vị sản xuất phần mềm 35 3.5.2 Đối với đơn vị đánh giá 35 3.6 Nội dung thực .35 3.6.1 Lập kế hoạch, hồ sơ cho việc xây dựng chuẩn bị tiền đánh giá 35 3.6.2 Thực việc đánh giá .36 Tiêu chuẩn HIỆU QUẢ .40 4.1 Mục đích .40 4.2 Các tài liệu liên quan 40 4.3 Căn đánh giá 40 4.4 Định nghĩa 40 4.5 Trách nhiệm 41 4.5.1 Đối với đơn vị sản xuất phần mềm 41 vii , đơn vị mua SPPM có sẵn thị trường 41 4.5.3 Đối với đơn vị đánh giá 41 4.6 Nội dung thực .41 4.6.1 Lập kế hoạch, hồ sơ cho việc xây dựng chuẩn bị tiền đánh giá 41 4.6.2 Thực việc đánh giá 41 Tiêu chuẩn cập nhật bảo trì .43 5.1 Mục đích .43 5.2 Các tài liệu liên quan 43 5.3 Căn đánh giá 44 5.4 Định nghĩa 44 5.5 Trách nhiệm 44 5.5.1 Đối với đơn vị sản xuất phần mềm 44 , đơn vị mua SPPM có sẵn thị trường 45 5.5.3 Đối với đơn vị đánh giá 45 5.6 Nội dung thực .45 5.6.1 Lập kế hoạch, hồ sơ cho việc xây dựng chuẩn bị tiền đánh giá 45 5.6.2 Thực việc đánh giá 45 Tiêu chuẩn phát triển hệ thống 49 6.1 Mục đích .49 6.2 Các tài liệu liên quan 49 6.3 Căn đánh giá 49 6.4 Định nghĩa 50 6.5 Trách nhiệm 50 6.5.1 6.5.2 Đối với đơn vị sản xuất phần mềm 50 , đơn vị mua SPPM có sẵn thị trường .50 6.5.3 Đối với đơn vị đánh giá 50 6.6 Nội dung thực .51 6.6.1 Lập kế hoạch, hồ sơ cho việc xây dựng chuẩn bị tiền đánh giá 51 6.6.2 Thực việc đánh giá 51 Tiêu chuẩn an toàn bảo mật .57 7.1 Mục đích .57 7.2 Các tài liệu liên quan 57 7.3 Căn đánh giá 58 7.4 Định nghĩa 58 7.5 Trách nhiệm 58 7.5.1 Đối với đơn vị sản xuất phần mềm 58 7.5.2 , đơn vị mua SPPM 58 7.5.3 Đối với đơn vị đánh giá 58 7.6 Nội dung thực .58 7.6.1 Lập kế hoạch, hồ sơ cho việc xây dựng chuẩn bị tiền đánh giá 58 7.6.2 Thực việc đánh giá 59 Tiêu chuẩn chuyển giao bảo hành sản phẩm 60 8.1 Mục đích .60 8.2 Các tài liệu liên quan 60 8.3 Đối với đơn vị sản xuất phần mềm .60 8.3.1 , đơn vị mua SPPM có sẵn thị trường .61 8.3.2 Đối với đơn vị đánh giá 61 8.4 Nội dung thực .61 8.4.1 Lập kế hoạch, hồ sơ cho việc xây dựng chuẩn bị tiền đánh giá 61 8.4.2 Thực việc đánh giá 61 CHƯƠNG 3: QUY TRÌNH ĐÁNH GIÁ CHẤT LƯỢNG SẢN PHẨM PHẦN MỀM 68 Mơ hình TCCL-SPPM ISO 9126-1 68 Quy trình tổng quát đánh giá chất lượng sản phẩm phầm mềm: TCLPM-04 69 Mơ hình chất lượng sản phẩm phần mềm quản lý sở liệu TCDL - 200471 Kết áp dụng thử 75 KẾT LUẬN .79 TÀI LIỆU THAM KHẢO .80 LỜI NÓI ĐẦU Kiểm thử phần mềm hoạt động giữ vai trò quan trọng để bảo đảm chất lượng phần mềm hoạt động mang tính sống dự án sản xuất gia công phần mềm Vì vậy, kiểm thử phần mềm trở thành qui trình bắt buộc dự án phát triển phần mềm giới Ở Việt Nam, ngành công nghiệp phần mềm phát triển khơng thể xem nhẹ việc kiểm thử phần mềm xác suất thất bại cao, nữa, hầu hết công ty phần mềm có uy tín đặt u cầu nghiêm ngặt phần mềm khơng có tài liệu kiểm thử kèm khơng chấp nhận Tuy nhiên, hoạt động kiểm thử thường gặp nhiều khó khăn: * Thứ nhất, kiểm thử hệ thống phức tạp đòi hỏi nhiều nguồn tài nguyên chi phí cao * Thứ hai, tiến trình phát triển phần mềm trải qua nhiều hoạt động biến đổi thơng tin, mát thơng tin q trình biến đổi yếu tố làm cho hoạt động kiểm thử khó khăn * Thứ ba, kiểm thử chưa trọng đào tạo người * Cuối cùng, không tồn kỹ thuật kiểm thử cho phép khẳng định phần mềm hoàn toàn đắn hay không chứa lỗi Kiểm thử phần mềm hoạt động giữ vai trò quan trọng để bảo đảm chất lượng phần mềm hoạt động mang tính sống dự án sản xuất gia cơng phần mềm Vì vậy, kiểm thử phần mềm trở thành qui trình bắt buộc dự án phát triển phần mềm giới Ở Việt Nam, ngành cơng nghiệp phần mềm phát triển khơng thể xem nhẹ việc kiểm thử phần mềm xác suất thất bại cao, nữa, hầu hết cơng ty phần mềm có uy tín đặt yêu cầu nghiêm ngặt phần mềm khơng có tài liệu kiểm thử kèm không chấp nhận Chất lượng sản phẩm phần mềm quan tâm nhiều tổ chức phủ đặc biệt lĩnh vực quốc phòng – quân nước giới Thời gian gần đây, kiểm thử đánh giá chất lượng phần mềm lĩnh vực 90 Từ mô tả ta thấy, mơ hình ISO 9126-1 mang tính tổng quát cao áp dụng cho kiểu phần mềm Quy trình tổng quát đánh giá chất lượng sản phẩm phầm mềm: TCLPM-04 ISO giới thiệu qui trình tổng quát ISO/IEC 14598-1 áp dụng cho việc đánh giá chất lượng SPPM Qui trình xác định từ thời điểm bắt đầu việc xác định mục đích đánh giá thu kết đánh giá nhận xét kết thu Trong phần chúng tơi lấy qui trình ISO/IEC 14598-1 làm sở tham chiếu để xây dựng qui trình đánh giá hồn chỉnh, độc lập cho sản phẩm cuối Có thực tế thường xảy trình đánh giá việc chuẩn bị liệu kiểm tra thường bị bỏ qua, công việc tiêu tốn nhiều thời gian công sức Chính vậy, chúng tơi đưa cơng việc vào mắt xích q trình đánh giá, đồng thời xác định khâu quan trọng qui trình Qui trình đánh giá SPPM thực theo năm bước: Thiết lập yêu cầu đánh giá; xây dựng chi tiết kỹ thuật cho việc đánh giá; xây dựng liệu kiểm tra; xây dựng kế hoạch kiểm tra, đánh giá thực đánh giá Thiết lập yêu cầu đánh giá thực thơng qua việc xác định mục đích việc đánh giá, định xem sản phẩm có phù hợp với nhu cầu sử dụng không, so sánh sản phẩm, lựa chọn sản phẩm số sản phẩm định Bên cạnh đó, việc nhận dạng kiểu phần mềm khơng thể bỏ qua, ví dụ phần mềm quản trị CSDL, phần mềm hệ thống hay phần mềm điều khiển, Công việc cuối bước lựa chọn mơ hình chất lượng thích hợp cho SPPM Bước qui trình đánh giá xác định chi tiết kỹ thuật bao gồm: lựa chọn thuộc tính chất lượng đo để đánh giá chất lượng lựa chọn tiêu chí thuộc tính chất lượng tiêu chuẩn đánh giá Một bước quan trọng qui trình xây dựng liệu kiểm tra Dữ liệu kiểm tra thường là: liệu để kiểm tra chức phần mềm, liệu kiểm tra điều kiện biên Một số ý thực kiểm tra điều kiện biên: Số hóa Trung tâm Học liệu http://www.lrc-tnu.edu.vn/ 91 - Nếu giá trị đầu vào giới hạn hai giá trị A B, trường hợp kiểm tra nên A, B, giá trị trước A sau B - Nếu giá trị đầu vào yêu cầu số lượng giá trị khác nhau, thử với giá trị nhỏ nhất, lớn giá trị nhỏ lớn giá trị - Nếu kết đầu bảng liệu, thử liệu đầu vào cho sinh bảng kích thước lớn bảng kích thước nhỏ - Đối với cấu trúc liệu bên trong, nên thử với giá trị tới hạn chúng - Độ lớn CSDL: chương trình nhập số lượng liệu lớn Việc Xây dựng kế hoạch kiểm tra đánh giá theo tiêu chí định bao gồm phương pháp, công cụ thời gian biểu đánh giá Thực đánh giá chất lượng SPPM tiến hành với bước: đo đạc trực tiếp, so sánh tiêu chí đánh giá, dựa kết thu bảng định mức để đưa kết luận Xác định mục đích đánh giá Thiết lập yêu cầu đánh giá Xác định chi tiết kỹ thuật Xác định kiểu SPPM Xác định mơ hình chất lượng Lựa chọn luật đo Lựa chọn tiêu chí đánh giá Xây dựng liệu kiểm tra Xây dựng kế hoạch đánh giá Dữ liệu kiểm tra chức Dữ liệu kiểm tra điều kiện biên Thiết lập kế hoạch đánh giá Đo đạc thuộc tính Thực đánh giá So sánh tiêu chí Đánh giá kết thu Hình 2.1 - Qui trình tổng quát đánh giá chất lượng SPPM Số hóa Trung tâm Học liệu http://www.lrc-tnu.edu.vn/ Mơ hình chất lượng sản phẩm phần mềm quản lý sở liệu TCDL 2004 Như trình bày, ISO đưa mơ hình chuẩn chất lượng SPPM: ISO/IEC 9126-1 Trong mơ hình này, họ đưa tiêu chuẩn sau phát triển thuộc tính cho tiêu chuẩn Tuy nhiên, cơng trình xem xét, họ lấy ISO/IEC 9126-1 làm sở tảng, sau phát triển thêm cho phù hợp với mục đích mơi trường Kế thừa cách tiếp cận mơ hình chất lượng này, đưa vào tiêu chuẩn áp dụng trực tiếp cho hệ thống quản trị CSDL, cụ thể với tiêu chuẩn với luật đánh giá thuộc tính chất lượng tương ứng (Bảng 3.1) Thiết kế hệ thống: Đây tiêu chuẩn đánh giá khả phần mềm cung cấp đầy đủ chức đáp ứng nhu cầu sử dụng Tiêu chuẩn tương ứng với tiêu chuẩn Functionality mơ hình ISO 9126 - Tin cậy: Tiêu chuẩn đánh giá khả phần mềm trì trạng thái vận hành tốt đưa vào sử dụng Tiêu chuẩn tương ứng với tiêu chuẩn Reliability mơ hình ISO 9126 - Khả dụng: Tiêu chuẩn đánh giá khả phần mềm sử dụng Tiêu chuẩn tương ứng với tiêu chuẩn Usability mơ hình ISO 9126-1 Hiệu quả: Tiêu chuẩn đánh giá khả hoạt động tốt phần mềm Tiêu chuẩn tương ứng với tiêu chuẩn Efficiency mơ hình ISO 9126 - Cập nhật - Bảo trì: Tiêu chuẩn đánh giá mức độ cập nhật bảo trị sản phẩm Tiêu chuẩn tương ứng với tiêu chuẩn Maintainability Portability mơ hình ISO 9126 - Kỹ thuật lập trình - Programming Tiêu chuẩn đánh giá yếu tố liên quan tới kỹ thuật lập trình sản phẩm Chuyển giao - Bảo hành sản phẩm - Transfer - Warranty Tiêu chuẩn đánh giá khả chuyển giao sản phẩm tới người sử dụng với công tác bảo hành sản phẩm Bảng 3.1 - Bộ tiêu chuẩn chất lượng Đối với tiêu chuẩn, cần xác định thuộc tính chất lượng phục vụ cho việc kiểm tra đánh giá Các thuộc tính chất lượng góp phần mơ tả chi tiết cho tiêu chuẩn Trong khn khổ có hạn, tơi trình bày thuộc tính chất lượng cho tiêu chuẩn thiết kế hệ thống (Xem bảng 3.2) 1.1 Chức năng: Đảm bảo chức đủ thích hợp cho công việc cụ thể phù hợp với yêu cầu sử dụng (tương đương với thuộc tính Suitability mơ hình ISO) 1.2 Chính xác: Khả phần mềm cung cấp kết (hoặc kết trơng đợi) (tương đương với thuộc tính Accuracy mơ hình ISO) 1.3 Cấu trúc CSDL: Cấu trúc việc chọn hệ CSDL phù hợp với mục đích, qui mô môi trường SPPM, liệu chuẩn hoá, độ sáng quan hệ liệu 1.4 Tồn vẹn liệu: Dữ liệu thiết kế có liên hệ với đảm bảo tính tồn vẹn liệu trình cập nhật, liệu đồng 1.5 Tương thích: Có thể tương tác với hệ thống khác Đặc biệt phần mềm quản trị CSDL, liệu phải tích hợp chuyển đổi hệ liệu phổ biến (tương đương với thuộc tính Interoperability mơ hình ISO) 1.6 An ninh - An toàn: Ngăn chặn truy nhập trái phép vào CSDL, thực truy cập theo quyền hạn khác Chống lại công xảy Các phương pháp mã hố trường hợp có truyền tin mạng Các phương án lưu liệu (tương đương với thuộc tính Security mơ hình ISO) Bảng 3.2 - Các luật đo cho tiêu chuẩn Thiết kế hệ thống Để đánh giá ta cần phải có thuộc tính chất lượng mang tính định lượng tiêu chuẩn chất lượng Mỗi tiêu chuẩn thể tập thuộc tính chất lượng, thuộc tính chất lượng lại bao gồm tiêu chí đánh giá Mỗi tiêu chí thực chất câu hỏi kiểm tra thang điểm với miền giá trị từ (xem bảng 3.4) Sau có đánh giá định lượng cho tiêu chí cách cộng tất giá trị thu từ tiêu chí thuộc tính chất lượng (chuẩn hố cho 5), ta tiến hành đánh giá SPPM dựa định mức từ bảng định mức phân loại Lưu ý đánh giá tiêu chuẩn, có tính đến mức độ quan trọng thuộc tính thơng qua hệ số trọng số Dưới bảng trọng số thuộc tính chất lượng tiêu chí cho thuộc tính chất lượng thiết kế tiêu chuẩn thiết kế hệ thống Thuộc tính Mức độ chất lượng quan trọng TCPM-TTKH-01.01 Thiết kế Vừa phải 1.2 TCPM-TTKH-01.02 Chính xác Cao 1.5 TCPM-TTKH-01.03 An ninh - an toàn Cao 1.5 Mã Trọng số Bảng 3.3- Bảng trọng số cho tiêu chuẩn thiết kế hệ thống TCPM-01.01 Mã luật Tiêu chí Đảm bảo chức Mô tả Đảm bảo đủ chức theo thiết kế sản phẩm phần mềm Đánh giá Tính tỉ lệ chức có phần mềm so với số chức theo thiết kế X=A/B A: Số chức triển khai phần mềm B: Số chức theo mô tả phần đặc tả yêu cầu Miền giá trị 5: Trên 90%; 4: Từ 75-90%; 3: Từ 50-75%; 2: Từ 20-50%; 1: Dưới 20% Mức độ Các chức Mỗi chức sản hoàn hoàn chỉnh hay phẩm phần mềm phải thực chỉnh khơng hồn chỉnh nhiệm vụ cụ thể phù hợp với yêu cầu phần thiết kế Tính tỉ lệ số chức hồn chỉnh so với số chức có phần mềm X=A/B A: Số chức hoàn chỉnh B: Số chức theo thiết kế Phân rã Mỗi chức Tính tỉ lệ số chức chức chương trình cần phân ró phân loại cụ X=A/B thể, phân ró thành A: Số chức chức nhỏ phân rã cho phù B: Số chức mô tả hợp với độ phức phần đặc tả yêu cầu tạp chức Trình tự Đảm bảo chức Tính tỉ lệ số chức có thực trình tự thực so với số thực theo chức chương trình trình tự: Rất nhiều cần thực theo trình tự phần mềm đòi hỏi X=A/B thực chức A: Số chức có trình tự theo trình thực tự để thực B: Số chức qui trình cơng việc chương trình cần thực theo trình tự 5: Trên 90%; 4: Từ 75-90%; 3: Từ 50-75%; 2: Từ 20-50%; 1: Dưới 20% 5: Trên 90%; 4: Từ 75-90%; 3: Từ 50-75%; 2: Từ 20-50%; 1: Dưới 20% 5: Trên 90%; 4: Từ 75-90%; 3: Từ 50-75%; 2: Từ 20-50%; 1: Dưới 20% Bảng 3.4 - Các tiêu chí cho luật đo Chức tiêu chuẩn Thiết kế hệ thống Kết áp dụng thử Dưới bảng kết áp dụng thử cho phần mềm tuyển sinh đại học (TSĐH) Học Viện Kỹ thuật Quân (HVKTQS) SPPM tính cước sử dụng dịch vụ Internet (TCSDDVI) Công ty Điện tử Viễn thông Quân đội Bảng kết gồm hai phần điểm: phần điểm kết đánh giá trực tiếp chuyên gia dựa mô hình đề xuất, phần điểm lại người sử dụng (NSD) trực tiếp đánh giá dựa thuộc tính chất lượng phần mềm đề xuất Miền giá trị điểm cho tiêu chí thuộc tính từ đến ĐIỂM CHO CÁC THUỘC TÍNH CHẤT LƯỢNG TSĐH STT Thuộc tính chất lượng TCSDDVI Mơ hình xây dựng Quan điểm NSD Mơ hình xây dựng Quan điểm NSD Chức 5.4 5.4 3.9 4.2 Chính xác 6.3 5.1 5.1 Cấu trúc CSDL 4.08 4.32 3.36 3.36 Toàn vẹn liệu 6 4.5 Tương thích 2.333 333 2.3333 4.66667 An ninh – an toàn 4.5 4.5 5.5 4.5 Độ tin cậy 4 5.4 4.5 Chống chịu lỗi 3.6 3.6 3.5 3.5 Khôi phục 3.75 3.75 6.75 6.75 10 Sẵn sàng 5.25 5.25 6.8 4.8 11 Có thể hiểu 4.2 4.2 4.5 6.75 12 Có thể học 4.5 4.5 3.6 13 Hấp dẫn 2.6 2.8 4.5 4.5 14 Thời gian tốc độ 5 4 15 Khai thác tài nguyên 3.5 2.4 2.8 16 Phân tích 3.2 3.2 4.5 3.75 17 Tính mở 3.75 4.5 4 18 Kiểm tra 4 1.666667 1.333333 19 Linh hoạt 6.75 6.75 6 20 Ngôn ngữ kỹ thuật lập trình 4.2 4.2 4.8 5.4 21 Cơng nghệ hỗ trợ 4.5 4.5 6.75 4.5 22 Bố cục 5 2.5 2.5 23 Tài liệu kèm 5.1 5.1 3.6 3.9 24 Điều kiện bảo hành 4.666 667 4.666667 4.666667 4.3333333 25 Đào tạo- hướng dẫn sử dụng 6 4.5 4.875 26 Bản quyền sở hữu trí tuệ 1 1 3.4762 3.363526 3.305522 Kết tính tồn thuộc 3.415 tính chất lượng Bảng 4.1- kết thử nghiệm hai phần mềm sau nhân với trọng số Với kết đánh giá trên, điểm cho thuộc tính chất lượng có những thuộc tính sai lệch kết tính cho tồn thuộc tính nằm miền giá trị phân loại Giá trị phù hợp quan điểm đánh giá NSD Việc phân loại phần mềm xác định bảng đây: 2.49 Không thể chấp nhận 2.50 3.24 Trung bình 3.25 Khá 3.74 3.75 Tốt 4.24 >=4.25 Xuất sắc Bảng 4.2- phân loại phần mềm dựa kết lượng hóa Việc so sánh chi tiết giá trị thuộc tính chất lượng vẽ biểu đồ đây: Biểu đồ so sánh thuộc tính chất lượng SPPM TSĐH chuyên gia NSD đánh giá Chuyên gia đánh giá NSD đánh giá Điểm sau nhân trọng số 1 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 Thuộc tính chất lượng Biểu đồ 1: So sánh thuộc tính chất lượng SPPM TSĐH HVKTQS chuyên gia đánh giá trực tiếp quan điểm NSD dựa mơ hình xây dựng Trên biểu đồ, cột giá trị thuộc tính chất lượng phần mềm, đường cong nội suy đa thức bậc giá trị thuộc tính chất lượng cho phép so sánh trực quan xu hướng đánh giá giá trị thuộc tính chất lượng Trong biểu đồ 1, chuyên gia đánh giá trị thuộc tính chất lượng SPPM TSĐH không cao so với người sử dụng, nhiên, chênh lệch giá trị biểu đồ không đánh kể Trong biểu đồ 2, việc đánh giá chuyên gia người sử dụng chênh lệch so với biểu đồ Theo quan điểm chuyên gia, thuộc tính từ thuộc tính đến thuộc tính từ thuộc tính 18 đến thuộc tính 25 có xu hướng cao so với người sử dụng, nhiên, từ thuộc tính thứ 11 đến thuộc tính thứ 16 quan điểm đánh giá chuyên gia lại có xu hướng chặt so với người sử dụng Một số thuộc tính khác hai quan điểm lại trùng Tóm lại, cho dù có sai lệch thuộc tính chất lượng phần mềm, xét kết đánh giá tồn thuộc tính hai quan điểm có giá trị lượng hóa miền phân loại chất lượng SPPM Biểu đồ so sánh giá trị thuộc tính chất lượng SPPM TCSDDVI chuyên gia NSD đánh giá Chuyên gia đánh giá NSD đánh giá Điểm sau nhân trọng số 1 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 Thuộc tính chất lượng Biểu đồ 2: So sánh thuộc tính chất lượng SPPM SDDVI Công ty Điện tử Viễn thông Quân đội chuyên gia đánh giá trực tiếp quan điểm NSD dựa mơ hình xây dựng KẾT LUẬN Đề tài tập trung giới thiệu nội dung chủ yếu nghiên cứu phương pháp đánh giá chất lượng SPPM nhóm nghiên cứu Học viện KTQS Trong tập trung xây dựng qui trình đánh giá tổng quát mơ hình chất lượng cho phần mềm quản trị CSDL Các kết làm sở phương pháp luận để đánh giá chất lượng SPPM Trong tương cần tiếp tục nghiên cứu phương pháp xác định tập luật đo miền giá trị đánh giá cho tiêu chuẩn chất lượng mô hình trên, đồng thời tập trung xây dựng hoàn chỉnh chi tiết tiêu chuẩn đánh giá, đồng thời đưa qui trình phương pháp đánh giá cụ thể cho số dạng phần mềm quân thông dụng TÀI LIỆU THAM KHẢO Tiếng Việt Nguyễn Xuân Huy (1994), Công nghệ phần mềm, Trường Đại học Tổng hợp TP.HCM Lê Văn Tường Lân (2004), Giáo trình cơng nghệ phần mềm, Trường Đại học Khoa học Huế - Đại học Huế Hồ Văn Phi (2008), Nghiên cứu ứng dụng kiểm thử đột biến cho câu lệnh truy vấn SQL, Luận văn thạc sỹ kỹ thuật, chuyên ngành khoa học máy tính, trường Đại học Bách Khoa - Đại học Đà Nẵng Nguyễn Xuân Huy (2012), Giáo trình kiểm định phần mềm, chuyên ngành khoa học máy tính Tiếng anh Beizer, B (1995), Black- box Testing, Wiley Boehm B W (1976), Software Engineering, IEEE Transactions on Computers British Standard (1998), BS 7925- - Standard for Software Component Vocabulary, British Computer Society British Standard (1998), BS 7925- - Standard for Software Component Testing, British Computer Society, p 1- 15 Cem Kaner, Jack Falk, Hung Quoc Nguyen (1999), Testing Computer Software, John Wiley & Sons, Inc., p 27- 141 10 BAUMGARTNER P and PAYR S., "Methods and Practice of Software Evaluation The Case of the European Academic Software Award ", Proceedings of EdMedia 97 Charlotteville: AACE.,1997 11 CARLO GHEZZI, ET ALL, " Funcdamentals of Software Engineering ", Prenctice Hall International Inc,1997 12 CHRIS F KEMERER, "Software Project Management Reading and Cases ", Irwin McGraw-Hill,1997 13 SANTANA L.M ET ALL, "Quality of software process or quality of software product " online: www.cenpra.gov.br/publicacoes/pdf/2002/qualityofsoft.pdf [Accessed: 20/10/2003] 14 "The US Department of Defense, MIL-STD-498", online: http://www.pogner.demon.co.uk/mil_498 15 " ISO, 1996a, ISO/IEC 9126 Part 1, 2, 3: Information Technology - Software quality characteristics and metrics ", 1996 16 " ISO, 1996d, ISO/IEC 14598- Information Technology - Software Product Evaluation - Part 1: General Overview ", 1996 17 " ISO, ISO/IEC 9126-3: Information Technology - Software quality characteristics and metrics – Part3: Internal Metrics " 18 " ISO, ISO/IEC 14598- Information Technology - Software Product Evaluation - Part 1: General Overview " 19 " ISO, ISO/IEC 14598-3 Information Technology - Software product evaluation – Part 3: Process for developers " 20 "ISO, ISO/IEC 14598-4 Information Technology - Software product evaluation – Part 4: Process for acquirers 21 ISO, ISO/IEC 14598-5 Information Technology - Software product evaluation – Part 5: Process for evaluators ... ngữ cảnh chất lượng (Hình 1.4b), kiểm thử phần mềm phần xác minh thẩm định phần mềm, nên xem phần đảm bảo chất lượng phần mềm Nếu phần mềm thành phần hệ thống lớn kiểm thử phần mềm xem phần quản... quản lý đảm bảo chất lượng Và để đạt phần mềm chất lượng cao, kiểm thử coi thành phần chủ yếu hoạt động đảm bảo chất lượng phần mềm 2.3 Qui trình kiểm thử phần mềm Mục đích kiểm thử thiết kế chuỗi... đơn vị quân đội, thành phần quan trọng hệ thống huy cấp đơn vị Khái quát phần mềm kiểm thử phần mềm 2.1 Sản phẩm phần mềm kiểm thử phần mềm 2.1.1 Sản phẩm phần mềm gì? Phần mềm (bộ) chương trình