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

1 ĐẠ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 2 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 3 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 hoà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, cô 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 4 MỤC LỤC 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 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 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 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 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 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 Bộ Quốc phòng quan tâm đặc biệt trình xây dựng phần mềm phục vụ trực tiếp cho hoạt động quân Tuy nhiên việc xây dựng phần mềm lĩnh vực quốc phòng - quân có nhiều bất cập hạn chế, vấn đề đề cập chưa giải trọn vẹn chưa có tiêu chuẩn thức chất lượng SPPM đánh giá chất lượng SPPM + Phần mềm dùng quân sản xuất với tiêu chuẩn tự do, xây dựng theo nhiệm vụ, đặc thù riêng đơn vị, trình sử dụng thước đo chất lượng Xuất phát từ vấn đề nêu việc đề xuất xây dựng tiêu chuẩn quy trình đánh giá chất lượng phần mềm quân vấn đề cấp bách để tạo tảng thống cho công tác xây dựng phần mềm quân đội CHƯƠNG 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 quân Để quân đội thực tốt nhiệm vụ bảo vệ tổ quốc, đánh thắng chiến tranh xâm lược lực thù địch bảo vệ toàn vẹn lãnh thổ, lãnh hải thiêng liên tổ quốc, quân đội cần đại hóa vũ khí, khí tài, lĩnh vực ưu tiên phát triển ứng dụng công nghệ thông tin hoạt động quân Các lĩnh vực có ứng dụng là: quản lý, điều hành hoạt động tác chiến thống qua hệ thống kỹ thuật (mạng máy tính, thông tin liên lạc, vệ tinh, ); ổn định bắn xe tăng hệ cũ cải tiến; điều khiển vũ khí phòng không; tầu hải quân hoạt động tác chiến biển; dây chuyền sản xuất vũ khí binh; ngành công nghiệp đóng tàu chiến; phục vụ quản lý huy điều hành hàng ngày; truyền số liệu quân sự; cổng thông tin điện tử Bộ Quốc phòng 1.2 Đặc thù phần mềm dùng quân Phần mềm quân phần mềm gia công theo nhiệm vụ cụ thể phục vụ cho hoạt động huy, quản lý, hoạt động tác chiến quân đội Nó chia làm loại sau: - Phần mềm quản lý: quản lý cán bộ, quản lý đảng viên, quản lý tài chính, quản lý học viên, quản lý kho v.v - Phần mềm tác chiến: phần mềm trợ giúp người huy tác chiến (phần mềm đồ số 2D, phần mềm tác chiến đồ, phần mềm truyền tin ) - Phần mềm điều khiển hệ thống vũ khí: điều khiển bay, điều khiển đa, điều khiển tên lửa, điều khiển tầu chiến - Phần mềm mô phỏng: phần mềm mô nhằm giảm bớt chi phí hoạt động huấn luyện kỹ chiến đấu quân đội Và số phần mềm khác phục vụ cho trợ giúp tính toán tầm bắn phục vụ cho pháo binh, bia điện tử Phần mềm ứng dụng dùng quân đòi hỏi phải có thời gian nhanh, xác, an toàn bảo mật cao hỗ trợ kịp thời cho hoạt động huy, quản lý, điều hành hàng ngày đơ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 cài đặt máy tính nhằm thực nhiệm vụ tương đối độc lập nhằm phục vụ cho ứng dụng cụ thể việc quản lý hoạt động máy tính áp dụng máy tính hoạt động kinh tế, quốc phòng, văn hóa, giáo dục, giải trí, Việc tạo sản phẩm phần mềm phải trải qua nhiều giai đoạn, người ta gọi qui trình phát triển phần mềm, bắt đầu có ý tưởng đưa sản phẩm phần mềm thực thi Khối lượng công việc giai đoạn trình sản xuất phần mềm thay đồi theo thời gian Bảng 1.1 minh họa cụ thể điều Bảng 1.1 - Tỉ lệ công việc giai đoạn phát triển phần mềm Phần tích Giai đoạn yêu Hai thập kỷ 1960 - cầu 10% 1970 Thập kỷ 1980 20% Thiết Thiết Lập trình Tích hợp Kiểm thử kế sơ kế chi kiểm thử kiểm thử hệ thống tiết đơn vị tích hợp Thập kỷ 1990 30% 40% 80% 60% 10% 20% 30% Theo tài liệu khác [4], chi phí liên quan giai đoạn vòng đời phần mềm sau: Các giai đoạn phát triển Phân tích yêu cầu Đặc tả Thiết kế Lập trình Kiểm thử Tỷ lệ 3% 3% 5% 7% 15% Giai đoạn sản phẩm Vận hành bảo trì Tỷ lệ 67% Như vậy, sản phẩm phần mềm không đơn giản đoạn mã chương trình mà nhiều phần ẩn đằng sau (Hình 1.1) Vì vậy, việc mắc lỗi không xảy lập trình mà xảy cao công đoạn khác qui trình phát triển sản phẩm phần mềm Việc kiểm thử phải tiến hành tất phần tạo nên sản phẩm phần mềm Hình 1.1 - Sản phẩm phần mềm 10 2.1.2 Thế lỗi phần mềm? Có nhiều định nghĩa khác lỗi phần mềm, tựu chung, phát biểu cách tổng quát: “Lỗi phần mềm không khớp chương trình đặc tả " [4] Dựa vào định nghĩa, thấy lỗi phần mềm xuất theo ba dạng sau: - Sai: Sản phẩm xây dựng khác với đặc tả.  - Thiếu: Một yêu cầu đặc tả lại sản phẩm xây dựng - Thừa: Một yêu cầu đưa vào sản phẩm mà đặc tả Cũng có trường hợp yêu cầu thuộc tính người dùng chấp nhận khác với đặc tả nên coi có lỗi Một hình thức khác xem lỗi, phần mềm khó hiểu, khó sử dụng, chậm dễ gây cảm nhận phần mềm hoạt động không 2.1.3 Tại lỗi phần mềm xuất hiện? 70 - Ở chủ yếu đánh giá hình thức đào tạo, nhiều hình thức đào tạo tốt, đồng thời tính đến tính hiệu hình thức đào tạo - Căn đánh giá: Dựa hình thức đào tạo mà đơn vị sản xuất phần mềm đưa Đánh giá hình thức đào tạo vào điều kiện cụ thể quy mô toán 5: Đa dạng tùy chọn; 4: Đa dạng; 3: Có hình thức; 2: Có hình thức; 1: Không có * Nội dung đào tạo - Tiêu chí đánh giá nội dung đào tạo cho đơn vị đặt hàng phần mềm đơn vị sản xuất phần mềm - Ở đây, người đánh giá chủ yếu đánh giá mức độ phù hợp nội dung đào tạo với đơn vị đặt hàng phần mềm - Căn đánh giá: Dựa nội dung đào tạo mà đơn vị sản xuất phần mềm đưa Đánh giá mức độ phù hợp nội dung đào tạo bên sản xuất phần mềm đưa với người sử dụng phần mềm 5: Hoàn toàn đầy đủ phù hợp; 4: Đầy đủ; 3: Phù hợp; 2: Ít phù hợp; 1: Không phù hợp * Thời gian đào tạo - Tiêu chí đánh giá thời gian đào tạo cho đơn vị đặt hàng phần mềm đơn vị sản xuất phần mềm - Người đánh giá chủ yếu đánh giá thời gian đào tạo cho đối tượng người sử dụng phần mềm đơn vị sản xuất phần mềm Cũng cần lưu ý đến quy mô toán - Căn đánh giá: Dựa thời gian đào tạo dự kiến đơn vị sản xuất phần mềm kinh nghiệm người đánh giá Đánh giá mức độ phù hợp thời gian đào tạo bên sản xuất phần mềm đưa đối tượng người sử dụng có phù hợp không; so với quy mô phần mềm có phù hợp không, … 5: Hoàn toà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 71 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ụ 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ụ 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 72 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 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 điều kiện xác định Một tập thuộc tính xác định cho độ tin cậy - Khả dụng: khả phần mềm để hiểu được, học được, sử dụng 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 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 tập thuộc tính (Bảng 1) • Độ tin cậy: Khả phần mềm tránh hỏng hóc 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 xác định cho tiêu chuẩn Tin cậy 73 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 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 mắt xích 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 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: 74 - 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 kiểu SPPM Xác định mô hình chất lượng Xác định chi tiết kỹ thuật 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 Dữ liệu kiểm tra chức Dữ liệu kiểm tra điều kiện biên Xây dựng kế hoạch đánh giá 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 75 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 76 Đố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, 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 Toàn vẹn liệu: Dữ liệu thiết kế có liên hệ với đảm bảo tính toà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ã hoá 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 77 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 hoá 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 Mã TCPM-TTKH-01.01 TCPM-TTKH-01.02 TCPM-TTKH-01.03 Thuộc tính Mức độ chất lượng Thiết kế Chính xác An ninh - an toàn quan trọng Vừa phải Cao Cao Trọng số 1.2 1.5 1.5 Bảng 3.3- Bảng trọng số cho tiêu chuẩn thiết kế hệ thống Mã luật Tiêu chí Mô tả Đánh giá Miền giá trị TCPM-01.01 78 Đảm bảo Đảm bảo đủ chức Tính tỉ lệ chức có chức theo thiết kế phần mềm so với số sản phẩm phần chức theo thiết kế mềm 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 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 hoà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 hoà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ế Trình tự Đảm bảo chức Tính tỉ lệ số chức có thự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% 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 79 (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 ST T Thuộc tính chất lượng ĐIỂM CHO CÁC THUỘC TÍNH CHẤT LƯỢNG TSĐH TCSDDVI Mô Quan điểm Mô hình Quan NSD xây dựng điểm hình NSD xây dựn g Chức 5.4 Chính xác Cấu trúc CSDL 4.08 Toàn vẹn liệu Tương thích 2.333 333 An ninh – an toàn 4.5 Độ tin cậy Chống chịu lỗi 3.6 Khôi phục 3.75 10 Sẵn sàng 5.25 11 Có thể hiểu 4.2 12 Có thể học 4.5 13 Hấp dẫn 2.6 14 Thời gian tốc độ 15 Khai thác tài nguyên 16 Phân tích 3.2 17 Tính mở 3.75 18 Kiểm tra 19 Linh hoạt 6.75 20 Ngôn ngữ kỹ thuật lập trình 4.2 21 Công nghệ hỗ trợ 4.5 22 Bố cục 23 Tài liệu kèm 5.1 24 Điều kiện bảo hành 4.666 667 25 Đào tạo- hướng dẫn sử dụng 26 Bản quyền sở hữu trí tuệ Kết tính toàn thuộc 3.415 tính chất lượng 5.4 6.3 4.32 2.3333 3.9 5.1 3.36 4.5 4.66667 4.2 5.1 3.36 4 4.5 3.6 3.75 5.25 4.2 4.5 2.8 3.5 3.2 4.5 6.75 4.2 4.5 5.1 4.666667 5.5 5.4 3.5 6.75 6.8 4.5 4.5 2.4 4.5 1.666667 4.8 6.75 2.5 3.6 4.666667 4.5 4.5 3.5 6.75 4.8 6.75 3.6 4.5 2.8 3.75 1.333333 5.4 4.5 2.5 3.9 4.3333333 3.4762 4.5 3.363526 4.875 3.305522 Bảng 4.1- kết thử nghiệm hai phần mềm sau nhân với trọng số 80 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 toà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: 1÷ 2.49 2.50 ÷3.24 3.25 ÷ 3.74 3.75 ÷ 4.24 >=4.25 Không thể chấp nhận Trung bình Khá Tốt 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 đồ 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ể 81 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á toà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 đồ 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 82 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 83 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 http://www.pogner.demon.co.uk/mil_498 Defense, MIL-STD-498", online: 84 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 ... đị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 lý đảm bảo chất lượng Và để đạt phần mềm chất lượng cao, kiểm thử coi... Kiểm thử phần mềm gì? Kiểm thử phần mềm thường đồng nghĩa với việc tìm lỗi chưa phát Tuy nhiên, có nhiều bối cảnh kiểm thử không bộc lộ lỗi Kiểm thử phần 13 mềm trình thực thi hệ thống phần mềm. .. 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ài đặt máy tính nhằm thực nhiệm