Nghiên cứu kỹ thuật kiểm thử hướng mô hình và đánh giá tính tiện dụng áp dụng vào phát triển phần mềm quản lý lưu trữ và số hóa tài liệu

Luận văn thạc sỹ Nguyễn Hải Dương – CB130387 MỤC LỤC LỜI CAM ĐOAN LỜI CẢM ƠN DANH MỤC CÁC TỪ VIẾT TẮT VÀ THUẬT NGỮ DANH MỤC CÁC BẢNG DANH MỤC CÁC HÌNH VẼ MỞ ĐẦU CHƢƠNG KIỂM THỬ HƢỚNG MÔ HÌNH CHO ỨNG DỤNG WEB 14 1.1 Tổng quan 14 1.1.1 Kiểm thử 15 1.1.2 Kiểm thử hướng mô hình 17 1.1.3 So sánh đánh giá 18 1.2 Phƣơng pháp đặc tả mô hình [1][5] 19 1.2.1 Ngôn ngữ mô hình hóa 20 1.2.2 Hệ thống chuyển đổi nhãn (Labelled Transition System - LTS) 20 1.2.3 Máy trạng thái hữu hạn (Finite State Machine – FSM) 21 1.2.4 Máy trạng thái mở rộng (Extended State Machine – ESM) 22 1.3 Công cụ kiểm thử hƣớng mô hình 23 1.3.1 Tổng quan 23 1.3.2 Spec Explorer 24 1.3.3 Selenium 27 1.4 Đề xuất quy trình kiểm thử hƣớng mô hình áp dụng kết hợp công cụ Spec Explorer Selenium 28 1.5 Kết luận chƣơng 32 CHƢƠNG ĐÁNH GIÁ TÍNH TIỆN DỤNG CỦA ỨNG DỤNG WEB 34 2.1 2.2 2.3 Giới thiệu 34 Tiêu chuẩn quốc tế đánh giá tính tiện dụng 34 Xây dựng phƣơng pháp đánh giá tính tiện dụng [2] 36 2.3.1 Tích hợp Mô hình tính tiện dụng web vào MDWD 37 2.3.2 Mô hình tính tiện dụng web 39 2.4 Quy trình áp dụng vào phát triển ứng dụng web 48 2.4.1 Bước 1: Thiết lập yêu cầu đánh giá 49 2.4.2 Bước 2: Thiết lập Đặc tính kỹ thuật việc Đánh giá 49 2.4.3 Bước 3: Thiết kế 50 2.4.4 Bước 4: Thực đánh giá: 51 2.4.5 Bước 5: Phân tích thay đổi 51 Luận văn thạc sỹ 2.5 Nguyễn Hải Dương – CB130387 Kết luận chƣơng 51 CHƢƠNG THỰC NGHIỆM ÁP DỤNG VÀO PHÁT TRIỂN ỨNG DỤNG WEB 53 3.1 3.2 3.3 3.4 3.5 Giới thiệu toán 54 3.1.1 Thông tin chung dự án 54 3.1.2 Mô tả ứng dụng môi trường phát triển 54 3.1.3 Tiêu chuẩn ứng dụng theo Công văn Số 283/VTLTNN-NVTW-Bộ Nội Vụ 57 3.1.4 Mô hình xây dựng ứng dụng Quản lý lưu trữ 59 Mục tiêu thực nghiệm 59 Áp dụng kiểm thử hƣớng mô hình 60 3.3.1 Áp dụng quy trình 60 3.3.2 Tóm lược kết 66 Đánh giá tính tiện dụng web 66 3.4.1 Áp dụng quy trình 66 3.4.2 Tóm lược kết 73 Kết luận chƣơng 74 KẾT LUẬN 76 A CÁC KẾT QUẢ ĐẠT ĐƢỢC TRONG ĐỀ TÀI 76 Các kết đạt đề tài: 76 Những khó khăn hướng giải 78 B HƢỚNG PHÁT TRIỂN CỦA ĐỀ TÀI 80 TÀI LIỆU THAM KHẢO 82 Luận văn thạc sỹ Nguyễn Hải Dương – CB130387 LỜI CAM ĐOAN Tác giả xin cam đoan: Luận văn "Nghiên cứu kỹ thuật kiểm thử hướng mô hình đánh giá tính tiện dụng áp dụng vào phát triển phần mềm Quản lý lưu trữ Số hóa tài liệu" thân tác giả tự thực hướng dẫn PGS.TS Huỳnh Quyết Thắng - Viện Công nghệ thông tin Truyền thông - Đại học Bách khoa Hà Nội; thông tin số liệu kết Luận văn có nguồn gốc rõ ràng, nội dung Luận văn chưa công bố công trình nghiên cứu nước Hà Nội, tháng năm 2016 Tác giả Luận văn Nguyễn Hải Dương Luận văn thạc sỹ Nguyễn Hải Dương – CB130387 LỜI CẢM ƠN Trong suốt thời gian thực luận văn, tác giả nhận nhiều quan tâm, giúp đỡ quý Thầy Cô, gia đình bạn bè Với lòng biết ơn sâu sắc, em xin kính gửi Thầy giáo PGS TS Huỳnh Quyết Thắng lời cảm ơn chân thành Thầy giúp đỡ em nhiều từ việc nhận người hướng dẫn luận văn cho em, đến việc tận tình bảo, giúp đỡ em suốt trình em thực luận văn Em xin chân thành cảm ơn Thầy! Em xin gửi lời cảm ơn đến quý Thầy Cô Viện Công nghệ Thông tin & Truyền thông, Trường Đại học Bách Khoa Hà Nội truyền dạy cho em kiến thức quý báu trình em học tập trường Tôi xin gửi lời cảm ơn đến gia đình bạn bè động viên giúp đỡ để có thêm động lực hoàn thành luận văn Trong trình thực hiện, trình làm báo cáo, trình độ lý luận kinh nghiệm thực tiễn hạn chế nên tránh khỏi thiếu sót, tác giả mong nhận ý kiến đóng góp quý Thầy, Cô người để tác giả hoàn thiện luận văn cách tốt Xin chân thành cảm ơn! Luận văn thạc sỹ Nguyễn Hải Dương – CB130387 DANH MỤC CÁC TỪ VIẾT TẮT VÀ THUẬT NGỮ Từ viết tắt, thuật ngữ SUT LTS FSM ESM MDWD WUEP UML Từ viết đầy đủ Ý nghĩa System Under Test Labelled Transition System Finite State Machine Extended State Machine Model-Driven Web Developerment Web Usability Evaluation Process Unified Modeling Language Hệ thống kiểm thử Hệ thống chuyển đổi nhãn Máy trạng thái hữu hạn Máy trạng thái mở rộng Phát triển ứng dụng web theo hướng mô hình Quy trình đánh giá tính tiện dụng ứng dụng web Ngôn ngữ mô hình hóa thống Luận văn thạc sỹ Nguyễn Hải Dương – CB130387 DANH MỤC CÁC BẢNG Bảng 1: Phân tích khả nhận biết 39 Bảng 2: Phân tích khả tìm hiểu 41 Bảng 3: Phân tích Khả hoạt động 42 Bảng 4: Phân tích tính bảo vệ người dùng khỏi lỗi 43 Bảng 5: Phân tích khả truy cập 43 Bảng 6: Phân tích tính thẩm mỹ giao diện người dùng 44 Bảng 7: Phân tích Sự tuân thủ 45 Bảng 8: Phân tích hiệu sử dụng 45 Bảng 9: Phân tích tối ưu sử dụng 46 Bảng 10: Phân tích hài lòng sử dụng 46 Bảng 11: Phân tích bảo hộ rủi ro nội dung 47 Bảng 12: Ví dụ phương pháp kiểm tra đánh giá 70 Bảng 13: Kết đánh giá định tính thu dựa đánh giá người dùng 73 Bảng 14: Kết đánh giá định lượng thu dựa đánh giá người dùng 73 Luận văn thạc sỹ Nguyễn Hải Dương – CB130387 DANH MỤC CÁC HÌNH VẼ Hình 1: Quy trình áp dụng Spec Explorer [5] 26 Hình 2: Quy trình kiểm thử hướng mô hình 30 Hình 3: Tích hợp WUM vào MDWD 38 Hình 4: Toàn cảnh tiến trình WUEP [2] 48 Hình 5: Giao diện phần mềm 56 Hình 6: Sơ đồ cấu trúc Ứng dụng Quản lý lưu trữ tài liệu 59 Hình 7: Mô hình kiểm thử tự sinh cho chức tài khoản 62 Hình 8: Phần cấu hình action chuyển trạng thái trỏ file gen Test Script 63 Hình 9: Phần định nghĩa mô hình kiểm thử 63 Hình 10: Phần định nghĩa mô hình test case 63 Hình 11: Mô hình Test Case tự sinh công cụ 63 Hình 12: Mô tả code Test Script tự sinh 64 Hình 13: Quá trình tạo Test Case Selenium FireFox 65 Hình 14: Giao diện Phần mềm 68 Hình 15: Mô tả ví dụ 2.2 71 Luận văn thạc sỹ Nguyễn Hải Dương – CB130387 MỞ ĐẦU Lý chọn đề tài Ngày nay, sản phẩm phần mềm nói chung ứng dụng web nói riêng ngày sử dụng rộng rãi chứng tỏ vai trò to lớn chúng hoạt động thực tế Từ việc kinh doanh bán hàng online, toán hóa đơn mua bán, trao đổi thông tin qua mạng internet, … đến việc quản lý liệu theo toán nghiệp vụ khác nhau… Tuy nhiên, chất lượng sản phẩm chưa thực đảm bảo, gây hao phí lớn trình phát triển phần mềm, giai đoạn bảo trì Với mong muốn nâng cao chất lượng sản phẩm đầu mà đảm bảo chi phí chấp nhận phát triển ứng dụng, đồng thời giảm thiểu tối đa chi phí giai đoạn bảo trì (thường chiếm đến 70% chi phí chu kỳ sống phần mềm ứng dụng [6]), tác giả lựa chọn đề tài hướng nghiên cứu cho việc đảm bảo chất lượng sản phẩm phần mềm, đặc biệt với ứng dụng web Tính cấp thiết đề tài Phát triển ứng dụng theo “kiến trúc hướng mô hình – Model Driven Architecture (MDA)” hướng đầy tiềm cho việc phát triển ứng dụng phần mềm nhanh chóng, tiện lợi xác theo quy chuẩn định Nhưng lĩnh vực mẻ tồn nhiều rủi ro nhiều nguyên nhân như: Hệ thống mô hình hóa người dùng chưa đủ độ xác tin cậy, việc sinh code từ mô hình chưa đủ độ xác cần có nên muốn sử dụng cần phải chỉnh sửa lại, … Ngoài ra, nhu cầu lớn xã hội mà hệ thống website từ nhỏ đến lớn phát triển nhanh chóng số lượng Tuy nhiên với trình độ đội ngũ kỹ thuật viên, định hướng phát triển sản phẩm phần mềm; với áp lực kinh doanh, Luận văn thạc sỹ Nguyễn Hải Dương – CB130387 giá thành sản phẩm, … mà chất lượng đa số hệ thống website Việt Nam dừng mức “chấp nhận được” Các khâu từ thiết kế chi tiết, đến kiểm thử, đánh giá tính tiện dụng ứng dụng thường bị lược bớt tập trung vào việc mã hóa phần mềm để nhanh chóng cho mẫu sử dụng Trong tình hình này, việc “Kiểm thử đánh giá tính tiện dụng ứng dụng phát triển theo kiến trúc hướng mô hình” cần thiết Bởi lẽ đóng vai trò đánh giá cách chuẩn xác kết việc phát triển ứng dụng theo “kiến trúc hướng mô hình”, từ giúp ích nhiều việc cải thiện chất lượng giảm thiểu tối chi phí bảo trì cho sản phẩm phần mềm, với ứng dụng web Mục đích, đối tƣợng, phạm vi nghiên cứu (i) Nghiên cứu kỹ thuật kiểm thử đánh giá tính tiện dụng ứng dụng phát triển theo kiến trúc hướng mô hình (ii) Nghiên cứu xây dựng hệ thống Quản lý lưu trữ số hóa tài liệu theo hướng mô hình, theo chuẩn công bố công văn Số 283/VTLTNN – NVTW – Bộ Nội Vụ (iii) Thực áp dụng kỹ thuật kiểm thử đánh giá tính tiện dụng nghiên cứu (i) vào đánh giá hệ thống Quản lý lưu trữ số hóa tài liệu (ii) Phƣơng pháp nghiên cứu Một trình nghiên cứu khoa học luôn theo quy trình định từ: Khảo sát nhu cầu thực tế, Thu thập tài liệu, Lựa chọn phương pháp, Lựa chọn công nghệ, cuối áp dụng lý thuyết vào thực tế Và luận văn theo quy trình B1 Khảo sát nhu cầu thực tế: Vấn đề chất lượng sản phẩm phần mềm quan tâm ngày nhiều trở thành yếu tố định dẫn đến thành bại ứng dụng Nắm bắt nhu cầu đó, tác giả quan tâm bắt tay vào nghiên cứu kỹ Luận văn thạc sỹ Nguyễn Hải Dương – CB130387 thuật nhằm nâng cao chất lượng cho phần mềm đảm bảo chi phí hợp lý Thêm nữa, cần phải để tích hợp kỹ thuật quy trình phát triển ứng dụng (web) để phát sớm sai sót, hỏng hóc, lỗi… giai đoạn trình phát triển Điều có lợi cho việc cắt giảm hao phí (về kinh tế công sức lao động) cách tối đa cho nhà phát triển, đảm bảo đạt yêu cầu đặt ban đầu là: “nâng cao chất lượng với chi phí hợp lý” B2 Thu thập tài liệu: Do lĩnh vực mẻ giới đặc biệt Việt Nam, nên việc thu thập tài liệu tìm kiếm công nghệ phụ trợ khó khăn Tác giả cố gắng tìm kiếm tài liệu liên quan nghiên cứu phù hợp với hướng luận văn Thường tài liệu lĩnh vực tổng quan trừu tượng, chưa có tài liệu thực hoàn chỉnh đầy đủ, chi tiết để sử dụng trực tiếp Kết công trình nghiên cứu tổng hợp nhiều tài liệu liên quan khác lĩnh vực mẻ B3 Lựa chọn phƣơng pháp: Sau tìm hiểu nghiên cứu tài liệu thu thập B2 tác giả lựa chọn hướng cụ thể là: - Kiểm thử hướng mô hình – trợ giúp cho việc kiểm thử ứng dụng cách tự động, nhanh chóng, xác, trực quan dễ dàng nhiều so với cách thủ công truyền thống - Đánh giá tính tiện dụng ứng dụng – tập trung vào việc đánh giá tiện dụng giao diện người dùng cuối, giúp nâng cao trải nghiệm người dùng đạt thỏa mãn họ Mỗi hướng nêu lại thuộc lĩnh vực nghiên cứu độc lập với nhau, lý thuyết phương pháp áp dụng độc lập, gây nhiều khó khăn trình nghiên cứu Tuy nhiên sau thời gian nỗ lực nghiên cứu tìm tòi, tác giả 10 Luận văn thạc sỹ Nguyễn Hải Dương – CB130387 Những khó khăn hƣớng giải Những khó khăn gặp phải trình thực đề tài: Khó khăn chung: 1.1 Do lĩnh vực nghiên cứu mẻ nên tài liệu cho phần hạn chế Thêm nữa, tài liệu thu thập chủ yếu báo với mô tả chung chung lý thuyết kết thực nghiệm Do việc tìm kiếm nghiên cứu tài liệu gặp nhiều khó khăn 1.2 Do thời gian thực đề tài hạn hẹp (6 tháng) mà khối lượng công việc lớn (bao gồm mảng nghiên cứu lớn phải đảm bảo tiến độ phát triển ứng dụng với khách hàng) nên việc thực đề tài gặp nhiều khó khăn thời gian Về Kiểm thử hướng mô hình: 2.1 Các công cụ kiểm thử hướng mô hình áp dụng cho phát triển ứng dụng, đặc biệt ứng dụng web thường không hỗ trợ đầy đủ Chưa có công cụ kiểm thử hướng mô hình thực phát triển cho ứng dụng web phát triển theo hướng mô hình 2.2 Do đặc thù riêng nên công cụ kiểm thử hướng mô hình cho ứng dụng chưa thể hỗ trợ đầy đủ cho việc tạo Test Script đầy đủ để sử dụng cho ứng dụng web Muốn sử dụng phải tạo thêm chuyển đổi Việc tiêu tốn nhiều chi phí tài nguyên, lại phải chỉnh sửa thay đổi liên tục tùy theo vòng đời mẫu, việc sử dụng Test Script sinh từ công cụ khó khăn nan giải 2.3 Kiểm thử hướng mô hình cho ứng dụng web lĩnh vực Chính công cụ Spec Explorer không hỗ trợ cho ứng dụng web Do sử dụng Spec Explorer cho việc sinh mô hình kiểm thử theo yêu cầu toán Còn việc trực tiếp kiểm thử phải sử dụng công cụ Selenium Sau phải kiểm tra chéo mô hình thực tế kiểm thử, từ 78 Luận văn thạc sỹ Nguyễn Hải Dương – CB130387 chỉnh sửa nhiều lần yếu tố Vì thời gian cần thiết để áp dụng nhiều Về Đánh giá tính tiện dụng: 3.1 Không có công cụ đánh giá tính tiện dụng thích hợp cho hướng nghiên cứu đề tài Do hầu hết bước tiến hành định lượng quy trình phải xử lý cách thủ công máy tính toán số học 3.2 Chưa có tiêu chuẩn định lượng xác đáng cho việc đánh giá kết có từ việc định lượng thông qua phương pháp đánh giá tính tiện dụng ứng dụng web, tiêu chuẩn định lượng dựa nhiều vào việc thống kê thực tế thống tác giả Thầy hướng dẫn tham khảo nhiều chuyên gia khác ngành Do tiêu tốn thời gian, tiêu chuẩn định lượng chưa đảm bảo tính khách quan Hướng giải quyết:  Tìm kiếm tài liệu liên quan, báo học thuật với nhiều góc nhìn khác để nghiên cứu hệ thống lại kiến thức  Tìm kiếm thử nghiệm công cụ tìm được, tìm hướng áp dụng công cụ cho việc phát triển ứng dụng web theo hướng mô hình  Tìm cách áp dụng, kết hợp công cụ kiểm thử hướng mô hình kiểm thử tự động để đảm bảo quy trình kiểm thử đắn, đảm bảo việc thực nghiệm khả thi  Tự đề xuất thử nghiệm hướng theo hiểu biết kết nghiên cứu thân, sau thử nghiệm theo hướng để rút kinh nghiệm, cải tiến chúng qua nhiều lần lặp lặp lại Các kết nghiên cứu lý luận thực tiễn cho thấy việc áp dụng kiểm thử hướng mô việc đánh giá tính tiện dụng áp dụng quy trình phát 79 Luận văn thạc sỹ Nguyễn Hải Dương – CB130387 triển ứng dụng web theo hướng mô hình bước đầu đạt kết tích cực Hiệu ca kiểm thử, tính tiện dụng ứng dụng web, chi phí dành cho việc tạo ca kiểm thử cải thiện, đồng nghĩa với việc nâng cao chất lượng ứng dụng web mà đảm bảo tiết kiệm chi phí tối đa cho quy trình phát triển phần mềm Đây tín hiệu khả quan việc thay đổi quy trình phát triển phần mềm nói chung ứng dụng web nói riêng theo hướng đảm bảo chất lượng sản phẩm đầu để đạt hài lòng khách hàng giảm thiểu tối đa chi phí + tài nguyên dành cho việc bảo trì sản phẩm phần mềm sau B HƢỚNG PHÁT TRIỂN CỦA ĐỀ TÀI Do thời gian thực luận văn hiểu biết cá nhân nhiều hạn chế, nên tránh khỏi thiếu sót Vì vậy, nghiên cứu vấn đề tập trung theo hai hướng sau: Hướng thứ nhất: Tìm cách cải tiến công cụ kiểm thử hướng mô hình thích hợp với nghiên cứu theo đề tài này, áp dụng trực tiếp cho ứng dụng web, tự động sinh chuyển đổi (adapter) để sử dụng trực tiếp Test Script ứng dụng web mà xây dựng chỉnh sửa cách thủ công, tích hợp thêm số tính toán định lượng việc đánh giá tính tiện dụng vào công cụ Hướng thứ hai: Xem xét lại đưa thuật toán phù hợp việc đánh giá định lượng yếu tố tiện dụng, đưa ngưỡng định lượng xác để làm chuẩn chung cho việc đánh giá tính tiện dụng ứng dụng nói chung ứng dụng web nói riêng Tóm lại, nghiên cứu thực nghiệm xác đáng, đề tài đề xuất cải tiến cho quy trình phát triển ứng dụng nói chung ứng dụng web nói riêng theo hướng nâng cao chất lượng sản phẩm phần mềm mà đảm bảo chi phí phát triển, giảm thiểu tối đa chi phí bảo trì sản phẩm Tuy nhiên, 80 Luận văn thạc sỹ Nguyễn Hải Dương – CB130387 hạn chế nhiều mặt mà đề tài nhiều thiếu sót, hi vọng phát triển hoàn thiện sau - HẾT - 81 Luận văn thạc sỹ Nguyễn Hải Dương – CB130387 TÀI LIỆU THAM KHẢO [1] J.R Monsma, BSc Model-based testing of web applications 26 May 2015 Radboud University Nijmegen [2] Adrián Fernández Martínez (afernandez@dsic.upv.es) A Usability Inspection Method for Model-driven Web Development Processes Valencia : Universitat Politècnica de València (UPV) , 11/2012 [3] Abrahão S., Iborra E Usability Evaluation in the Context of Model-Driven Architecture: An Experimental Study, Maturing Usability: Quality in Software, Interaction and Value, International Series in Human-Computer Interaction, Springer 2006 [4] Bolchini, D., and Garzotto, F Quality of Web Usability Evaluation Methods: An Empirical Study on MiLE+ 2007 Proceedings of the International Workshop on Web Usability and Accessibility (IWWUA„07), pp 481-492 [5] Trần Đình Diện, PGS.TS Huỳnh Quyết Thắng, TS Cao Tuấn Dũng Kỹ thuật kiểm thử dựa mô hình cho ứng dụng web s.l : Chuyên đề - Chuyên đề tiến sĩ - Viện CNTT - ĐHBK HN, 2016 [6] TS Trần Khánh Dung Giáo trình Kỹ nghệ Phần mềm Hà Nội : NXB Giáo dục, 2009 [7] International Organization for Standardization ISO/IEC 25000, Software Engineering – Software Product Quality Requirements and Evaluation (SQuaRE) – Guide to SquaRE 2005 [8] International Organization for Standardization ISO/IEC 9126-1 Standard, Software Engineering – Product Quality – Part 1: Quality Model 2001 [9] International Organization for Standardization ISO/IEC 9241-210, Ergonomics of human-system interaction - Part 210: Human-centred design for interactive systems 2010 [10] International Organization for Standardization ISO/IEC 9241-10, Ergonomic Requirements for Office Work with Visual Display Terminals (VDTs) – Part 10: Dialogue Principles 1996 [11] International Organization for Standardization ISO/IEC 9241-11: Ergonomic Requirements for Office work with Visual Display Terminals (VDTs) – Part 11: Guidance on Usability 1998 [12] International Organization for Standardization ISO/IEC 12207: Standard for Information Technology – Software Lifecycle Processes 1998 [13] International Organization for Standardization ISO/IEC 13407: HumanCentred Design Processes for Interactive Systems 1999 82 Luận văn thạc sỹ Nguyễn Hải Dương – CB130387 [14] International Organization for Standardization ISO/IEC 14598-1, Information technology - Software product evaluation - Part 1: General overview 1999 [15] ISO/IEC Standardization and related activities s.l : General vocabulary, 2004 Guide [16] Myers, G.J., et al The Art of Software Testing 2004 Wiley [17] Schmettow Sample size in usability studies 2012 Communications of the ACM, Vol 55, Issue 4, pp 64-70 [18] Tretmans, J Model Based Testing with Labelled Transition Systems 2008 Springer Berlin Heidelberg [19] Tretmans, J Testing Technique lecture notes 2012 Radboud University Nijmegen [20] Valderas, P., and Pelechano A survey of requirements specification in modeldriven development of Web applications 2011 ACM Transactions on the Web, Vol 5, Issue 2, Article 10, 51 pages 83 Luận văn thạc sỹ Nguyễn Hải Dương – CB130387 PHỤ LỤC (Bảng câu hỏi thăm dò ý kiến người dùng) Đánh giá tính tiện dụng website Quản lý số hóa tài liệu lưu trữ Đánh giá định tính Vui lòng trả lời chi tiết câu hỏi Bạn có cần hệ thống hiển thị thêm thông tin không? a Không b Có Các thông tin/thông báo/cảnh báo website hiển thị đầy đủ thông tin cần thiết chưa? a Rồi b Chưa Có cụm từ/khái niệm sử dụng website bị sai qui chuẩn hay không? a Không b Có Có cụm từ/khái niệm có ý nghĩa giống gọi tên khác website không? a Không b Có Trong trường hợp nhập sai liệu, bạn có quay trở lại trạng thái trước liệu không? a Có b Không Có trường hợp website chạy bị dừng đột ngột (crash) không? a Không b Có Các icon chức hiển thị trang nhìn không? a Có b Không 84 Luận văn thạc sỹ Nguyễn Hải Dương – CB130387 Các icon chức hiển thị trang ý nghĩa chức không? a Có b Không Các icon chức hiển thị trang có gợi nhớ ý nghĩa chức không? a Có b Không 10 Bạn có biết tùy chọn nâng cao cung cấp sẵn website không? (ví dụ: hiển thị/bỏ hiển thị danh sách Hộp Hồ sơ/Hồ sơ Menu trái chức Quản lý Hồ sơ, Văn ) a Có b Không 11 Bạn thấy thiết kế trang web thực thẩm mỹ tối giản chưa? a Rồi b Chưa 12 Các thông báo lỗi rõ lỗi xảy hệ thống hay chưa? (Nếu chưa vui lòng ghi rõ nơi mà thông báo lỗi chưa rõ ràng) a Rồi b Chưa 13 Tài liệu hướng dẫn kèm theo cung cấp đầy đủ thông tin mà bạn cần chưa? (Nếu chưa vui lòng rõ thông tin thiếu) a Rồi b Chưa Đánh giá tính tiện dụng website Quản lý số hóa tài liệu lưu trữ Đánh giá định lượng Vui lòng cho điểm tương ứng với phần (Theo thang điểm 10) Bạn cho điểm cho việc thể rõ ràng thông tin trạng thái hệ thống? 85 Luận văn thạc sỹ Nguyễn Hải Dương – CB130387 Bạn cho điểm cho việc dễ hiểu, dễ làm quen với hệ thống? Bạn cho điểm cho việc hệ thống hỗ trợ "thoát hiểm" gặp lỗi nhập sai liệu từ phía người dùng? (Undo & redo) Bạn cho điểm tính quán từ ngữ hành động/thao tác hệ thống? Bạn cho điểm việc thệ trạng thái lỗi hệ thống? (Thông báo đầy đủ xác trường hợp xảy lỗi) Bạn cho điểm việc hiểu ý nghĩa icon/thao tác tương tự hệ thống? (icon thể ý nghĩa chúng, thao tác thêm mới/sửa/xóa áp dụng đối tượng khác giống nhau) 86 Luận văn thạc sỹ Nguyễn Hải Dương – CB130387 Bạn cho điểm tính linh hoạt hiệu sử dụng hệ thống? (dễ làm quen với người sử dụng hỗ trợ tăng tốc cho người làm quen với hệ thống) Bạn cho điểm tính thẩm mỹ tối giản (nhưng bao hàm đầy đủ thông tin) hệ thống? Bạn cho điểm việc tự chuẩn đoán khôi phục từ thông báo lỗi hệ thống? (Hiểu lỗi phát sinh tự biết cách khôi phục/chỉnh sửa lỗi xảy dựa thông báo lỗi hệ thống) 10 Bạn cho điểm tính hữu ích đầy đủ thông tin, dễ tra cứu tài liệu hướng dẫn kèm theo? Cảm ơn Bạn tham gia Đánh giá Nếu có ý kiến thêm, vui lòng điền tiếp vào ô bên để dựa hoàn thiện hệ thống ngày tốt 87 Luận văn thạc sỹ Nguyễn Hải Dương – CB130387 PHỤ LỤC (Bảng kết chi tiết theo đánh giá người dùng) BẢNG ĐÁNH GIÁ ĐỊNH TÍNH V1 V2 V3 Q1 Q2 Q3 Q4 Q5 Q6 Q7 88 V4 V5 Luận văn thạc sỹ Nguyễn Hải Dương – CB130387 Q8 Q9 Q10 Q11 Q12 Q13 Có/Chưa (Không Hài Lòng) Không/Rồi (Hài lòng) BẢNG ĐÁNH GIÁ ĐỊNH LƢỢNG A V1-V2-V3 V1 V2 E1 89 V3 Luận văn thạc sỹ Nguyễn Hải Dương – CB130387 E2 E3 E4 E5 E6 E7 E8 E9 E10 90 Luận văn thạc sỹ Nguyễn Hải Dương – CB130387 B V4-V5 V4 V5 E1 E2 E3 E4 E5 E6 91 Luận văn thạc sỹ Nguyễn Hải Dương – CB130387 E7 E8 E9 E10 92 ... hóa tài liệu Áp dụng đánh giá tính tiện dụng: Áp dụng lý thuyết kỹ thuật đánh giá tính tiện dụng, mô hình WUM để xuất Chương vào việc phát triển ứng dụng web Quản lý lưu trữ số hóa tài liệu ... văn hướng dẫn, đưa mô hình kiến trúc ứng dụng Áp dụng kiểm thử hướng mô hình: Áp dụng lý thuyết kỹ thuật kiểm thử hướng mô hình nói Chương vào việc phát triển ứng dụng web Quản lý lưu trữ số hóa. .. cam đoan: Luận văn "Nghiên cứu kỹ thuật kiểm thử hướng mô hình đánh giá tính tiện dụng áp dụng vào phát triển phần mềm Quản lý lưu trữ Số hóa tài liệu" thân tác giả tự thực hướng dẫn PGS.TS Huỳnh