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

Luận văn thạc sĩ: Kiểm thử và tiêu chuẩn, quy trình đánh giá chất lượng phần mềm quân sựLuận văn thạc sĩ: Kiểm thử và tiêu chuẩn, quy trình đánh giá chất lượng phần mềm quân sựLuận văn thạc sĩ: Kiểm thử và tiêu chuẩn, quy trình đánh giá chất lượng phần mềm quân sựLuận văn thạc sĩ: Kiểm thử và tiêu chuẩn, quy trình đánh giá chất lượng phần mềm quân sựLuận văn thạc sĩ: Kiểm thử và tiêu chuẩn, quy trình đánh giá chất lượng phần mềm quân sựLuận văn thạc sĩ: Kiểm thử và tiêu chuẩn, quy trình đánh giá chất lượng phần mềm quân sựLuận văn thạc sĩ: Kiểm thử và tiêu chuẩn, quy trình đánh giá chất lượng phần mềm quân sựLuận văn thạc sĩ: Kiểm thử và tiêu chuẩn, quy trình đánh giá chất lượng phần mềm quân sựLuận văn thạc sĩ: Kiểm thử và tiêu chuẩn, quy trình đánh giá chất lượng phần mềm quân sựLuận văn thạc sĩ: Kiểm thử và tiêu chuẩn, quy trình đánh giá chất lượng phần mềm quân sựLuận văn thạc sĩ: Kiểm thử và tiêu chuẩn, quy trình đánh giá chất lượng phần mềm quân sựLuận văn thạc sĩ: Kiểm thử và tiêu chuẩn, quy trình đánh giá chất lượng phần mềm quân sựLuận văn thạc sĩ: Kiểm thử và tiêu chuẩn, quy trình đánh giá chất lượng phần mềm quân sựLuận văn thạc sĩ: Kiểm thử và tiêu chuẩn, quy trình đánh giá chất lượng phần mềm quân sựLuận văn thạc sĩ: Kiểm thử và tiêu chuẩn, quy trình đánh giá chất lượng phần mềm quân sựLuận văn thạc sĩ: 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 Số hóa Trung tâm Học liệu http://www.lrc-tnu.edu.vn/ 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 qn 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 Số hóa Trung tâm Học liệu http://www.lrc-tnu.edu.vn/ iii 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 Ngun 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 đỡ tơi suốt thời gian hồn thành luận văn Để hồn thành khóa học cịn có cơng sức vô to lớn thầy, cô nhiệt tình giảng dạy, trang bị cho tơi 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 Số hóa Trung tâm Học liệu http://www.lrc-tnu.edu.vn/ iv 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 Đặ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 qn .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 Số hóa Trung tâm Học liệu http://www.lrc-tnu.edu.vn/ v 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 Số hóa Trung tâm Học liệu http://www.lrc-tnu.edu.vn/ vi 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 Số hóa Trung tâm Học liệu http://www.lrc-tnu.edu.vn/ 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 Số hóa Trung tâm Học liệu http://www.lrc-tnu.edu.vn/ viii 6.5 Trách nhiệm 50 6.5.1 Đối với đơn vị sản xuất phần mềm 50 , đơn vị mua SPPM có sẵn 6.5.2 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 Số hóa Trung tâm Học liệu http://www.lrc-tnu.edu.vn/ ix 8.3 Đối với đơn vị sản xuất phần mềm .60 , đơn vị mua SPPM có sẵn 8.3.1 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 - 2004 71 Kết áp dụng thử 75 KẾT LUẬN 79 TÀI LIỆU THAM KHẢO 80 Số hóa Trung tâm Học liệu http://www.lrc-tnu.edu.vn/ 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 cịn 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 đƣợc 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 đƣợc 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 hồn tồ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 cịn 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 tài liệu kiểm thử kèm khơng đƣợc chấp nhận Chất lƣợng sản phẩm phần mềm đƣợc 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 Số hóa Trung tâm Học liệu http://www.lrc-tnu.edu.vn/ 67 không; so với quy mô phần mềm có phù hợp khơng, … 5: Hồn tồn phù hợp; 4: Khá phù hợp; 3: Tƣơng đối phù hợp; 2: Ít phù hợp; 1: Khơng phù hợp f Bản quyền sở hữu trí tuệ * Đăng ký sử dụng - Tiêu chí đánh giá đăng ký sử dụng hợp pháp quyền, … - Căn đánh giá: Dựa vào thực tế việc triển khai đơn vị sản xuất phần mềm Xem xét vấn đề đăng ký quyền sở hữu trí tuệ sản 5: Hoàn toàn rõ ràng; 4: Rõ ràng; 3: Tƣơng đối rõ ràng; 2: Sơ sài; 1: Khơng có * Quyền hạn sở hữu - Tiêu chí đánh giá thỏa thuận phân định quyền sở hữu phần mềm, … - Căn đánh giá: Dựa tài liệu, biên chuyển giao phần mềm Đánh giá điều khoản thỏa thuận quyền sở hữu sản phẩm phần mềm bên A bên B 5: Chi tiết chặt chẽ; 4: Thỏa thuận chi tiết; 3: Thỏa thuận tƣơng đối rõ ràng; 2: Có thỏa thuận; 1: Khơng có * Bản quyền - Tiêu chí đánh giá tính hợp pháp cơng cụ đƣợc sử dụng phần mềm - Ở đây, ngƣời đánh giá chủ yếu cần tài liệu chứng minh rằng, công cụ đƣợc sử dụng phần mềm có quyền, hợp pháp - Căn đánh giá: Dựa việc kiểm tra trực tiếp phần mềm Đánh giá, xem xét quyền sử dụng hợp pháp nhà cung cấp phần mềm công cụ phát triển phần mềm 5: Mọi công cụ (100%); 4: Từ 80% trở lên; 3: Từ 50% - 80%; 2: Nhỏ 50%; 1: Khơng có quyền Số hóa Trung tâm Học liệu http://www.lrc-tnu.edu.vn/ 68 CHƢƠNG QUY TRÌNH ĐÁNH GIÁ CHẤT LƢỢNG SẢN PHẨM PHẦN MỀM Mô hình TCCL-SPPM ISO 9126-1 Mơ hình chất lƣợng ISO/IEC 9126-1 cơng trình tiêu biểu chất lƣợng SPPM Mơ hình phân loại chất lƣợng SPPM thành tiêu chuẩn chính: Chức - Functionality, Tin cậy - Reliablity, Khả dụng - Usability, Hiệu - Efficiency, Bảo trì - Maintainability Linh hoạt - Portability - Chức năng: khả phần mềm cung cấp chức đáp ứng đƣợc yêu cầu sử dụng với điều kiện cụ thể - Tin cậy: khả phần mềm trì hiệu suất hoạt động hệ thống dƣới điều kiện xác định Một tập thuộc tính đƣợc xác định cho độ tin cậy - Khả dụng: khả phần mềm để hiểu đƣợc, học đƣợc, sử dụng đƣợc hấp dẫn ngƣời sử dụng - Hiệu quả: khả phần mềm cung cấp hiệu suất tƣơng đối việc sử dụng tài nguyên hệ thống - Cập nhật- bảo trì: khả phần mềm đƣợc sửa đổi nâng cấp - Linh hoạt: khả phần mềm dễ dàng chuyển từ môi trƣờng sang môi trƣờng khác Đồng thời tiêu chuẩn đƣợc tập thuộc tính (Bảng 1) Độ tin cậy: Khả phần mềm tránh hỏng hóc nhƣ kết lỗi phần mềm Chống chịu lỗi: Khả phần mềm trì hiệu suất hoạt động trƣờng hợp xảy lỗi phần mềm xâm phạm giao diện Khơi phục: Khả phần mềm thực khôi phục liệu trƣờng hợp xảy lỗi Sẵn sàng: Khả phần mềm trạng thái để thực chức thời điểm với điều kiện xác định việc sử dụng Bảng 1.1- Tập thuộc tính đƣợc xác định cho tiêu chuẩn Tin cậy Số hóa Trung tâm Học liệu http://www.lrc-tnu.edu.vn/ 69 Từ mô tả ta thấy, mơ hình ISO 9126-1 mang tính tổng qt 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 đƣợc kết đánh giá nhận xét kết thu đƣợc 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á hoà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, đƣa công việc vào nhƣ 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 đƣợc 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á đƣợc 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 đƣợc định Bên cạnh đó, việc nhận dạng kiểu phần mềm khơng thể bỏ qua, ví dụ nhƣ 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/ 70 - Nếu giá trị đầu vào đƣợc 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ụ nhƣ thời gian biểu đánh giá Thực đánh giá chất lƣợng SPPM đƣợc 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 đƣợc 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/ 71 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 đƣợc 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 nhƣ 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ì đƣợc 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 đƣợc 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 Số hóa Trung tâm Học liệu http://www.lrc-tnu.edu.vn/ 72 Đố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 khuôn 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 đƣợc 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 nhƣ việc chọn hệ CSDL phù hợp với mục đích, qui mơ mơi trƣờng SPPM, liệu đƣợc chuẩn hoá, độ sáng quan hệ liệu 1.4 Toàn vẹn liệu: Dữ liệu đƣợc thiết kế có liên hệ với đảm bảo tính tồn vẹn liệu q trình cập nhật, liệu đƣợc đồ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 đƣợc 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 Số hóa Trung tâm Học liệu http://www.lrc-tnu.edu.vn/ 73 Mỗi tiêu chuẩn đƣợc 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 đƣợc 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 Số hóa Trung tâm Học liệu http://www.lrc-tnu.edu.vn/ 74 TCPM-01.01 Mã luật Đá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 đƣợ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 đƣợc phân ró đƣợc phân loại cụ X=A/B thể, phân ró thành A: Số chức đƣợ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 đƣợc thực trình tự thực so với số hiện 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% 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 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 Số hóa Trung tâm Học liệu http://www.lrc-tnu.edu.vn/ 75 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 đƣợc đánh giá trực tiếp chuyên gia dựa mơ hình đề xuất, phần điểm cịn 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 đƣợc 4.2 4.2 4.5 6.75 12 Có thể học đƣợ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 Số hóa Trung tâm Học liệu http://www.lrc-tnu.edu.vn/ 76 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 cịn sai lệch nhƣng 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 đƣợc xác định bảng dƣới đây: 2.49 2.50 3.24 3.25 Không thể chấp nhận Trung bình 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 đƣợc vẽ biểu đồ dƣới đây: Số hóa Trung tâm Học liệu http://www.lrc-tnu.edu.vn/ 77 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, nhƣng 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 Số hóa Trung tâm Học liệu http://www.lrc-tnu.edu.vn/ 78 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 Số hóa Trung tâm Học liệu http://www.lrc-tnu.edu.vn/ 79 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 qt 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 Số hóa Trung tâm Học liệu http://www.lrc-tnu.edu.vn/ 80 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", http://www.pogner.demon.co.uk/mil_498 Số hóa Trung tâm Học liệu http://www.lrc-tnu.edu.vn/ online: 81 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 Số hóa Trung tâm Học liệu http://www.lrc-tnu.edu.vn/ ... 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 nhƣ 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 đƣợc xem nhƣ phầ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... 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 đƣợc cài đặt máy tính nhằm thực