BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƢỜNG ĐẠI HỌC BÁCH KHOA HÀ NỘI ĐINH THỊ THU TRANG ỨNG DỤNG TỰ ĐỘNG HÓA KIỂM THỬ HỘP ĐEN TRONG ĐÁNH GIÁ BÀI TẬP / BÀI THI NGÔN NGỮ LẬP TRÌNH Chuyên ngành: Công nghệ Thông tin LUẬN VĂN THẠC SỸ KỸ THUẬT CÔNG NGHỆ THÔNG TIN Hà Nội – 2014 BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƢỜNG ĐẠI HỌC BÁCH KHOA HÀ NỘI ĐINH THỊ THU TRANG ỨNG DỤNG TỰ ĐỘNG HÓA KIỂM THỬ HỘP ĐEN TRONG ĐÁNH GIÁ BÀI TẬP / BÀI THI NGÔN NGỮ LẬP TRÌNH Chuyên ngành: Công nghệ Thông tin LUẬN VĂN THẠC SỸ KỸ THUẬT CÔNG NGHỆ THÔNG TIN NGƯỜI HƯỚNG DẪN TS NGUYỄN HỮU ĐỨC Hà Nội – 2014 LỜI CAM ĐOAN Tôi xin cam đoan luận văn thạc sĩ kỹ thuật đề tài: “Ứng dụng tự động hóa kiểm thử hộp đen đánh giá tập / thi ngôn ngữ lập trình” công trình nghiên cứu riêng hướng dẫn TS Nguyễn Hữu Đức, trung thực không chép người khác Trong toàn nội dung luận văn, vấn đề nội dung trình bày tìm hiểu nghiên cứu cá nhân tham khảo nguồn tài liệu có nguồn dẫn rõ ràng hợp pháp Hà Nội, ngày 22 tháng năm 2014 Tác giả luận văn Đinh Thị Thu Trang LỜI CẢM ƠN Trước tiên xin dành lời cảm ơn chân thành sâu sắc đến TS Nguyễn Hữu Đức, người giúp đỡ, hướng dẫn tạo điều kiện tốt cho từ bắt đầu đến hoàn thành luận văn Và xin chân thành cảm ơn thầy cô giáo Viện Công nghệ Thông tin, Trường Đại học Bách Khoa Hà Nội tận tình giúp đỡ, đào tạo cung cấp cho kiến thức quý giá đồng thời quan tâm, động viên trình học tập nghiên cứu Trường Nhân xin cảm ơn bạn học lớp 12ACNTT-PC, bên tôi, chia sẻ kinh nghiệm, cung cấp tài liêu hữu ích suốt trình học tập Trường Hà nội, Ngày 22 Tháng 01 Năm 2014 Tác giả luận văn Đinh Thị Thu Trang MỤC LỤC LỜI CAM ĐOAN LỜI CẢM ƠN DANH MỤC CÁC KÝ HIỆU, CÁC CHỮ VIẾT TẮT DANH MỤC CÁC HÌNH VẼ ĐẶT VẤN ĐỀ CHƢƠNG – CƠ SỞ LÝ THUYẾT .6 Giới thiệu kiểm thử khái niệm kiểm thử phần mềm .6 Các phƣơng pháp kiểm thử phần mềm 2.1 Các cấp độ kiểm thử phần mềm 2.2 Các kỹ thuật kiểm thử phần mềm .8 Tự động hóa kiểm thử hộp đen 10 CHƢƠNG – PHÂN TÍCH VÀ THIẾT KẾ CHI TIẾT CỦA HỆ THỐNG CHẤM THI TỰ ĐỘNG 17 2.1 Mục tiêu hệ thống tự động 17 2.1.1 Sơ đồ khối 11 2.1.2 Phương thức đánh giá áp dụng cho tệp mã nguồn 21 3.1 Kiến trúc hệ thống .25 3.2 Miêu tả HT 25 3.2.1 Người dùng HT .25 3.2.2 Mô hình nghiệp vụ chung HT .26 3.3 Tổ chức liệu hệ thống 27 3.4 Chức hệ thống 28 3.4.1 Chức dành cho người sử dụng CBPTĐT .29 3.4.2 Chức dành cho người sử dụng GV 29 3.4.3 Chức dành cho người sử dụng SV 29 3.5 Các giả định 30 3.6 Yêu cầu giao diện đồ họa trang web hệ thống 30 3.7 Yêu cầu giao hiệu hệ thống 30 3.8 Đặc tả chi tiết yêu cầu HT 30 3.8.1 Đặc tả yêu cầu chức 30 3.9 Đặc tả yêu cầu sở liệu 58 3.10 Các yêu cầu khác 63 Kỹ thuật hệ thống 63 4.1 Ngôn ngữ lập trình môi trƣờng hệ thống 63 4.2 Mô hình MVC 64 4.3 Zend Framework .64 4.4 Các công nghệ khác 67 4.5 Mô hình hệ thống .67 4.6 Ubuntu/Linux .68 4.7 PHP 68 4.8 MySQL .69 Tiểu kết 69 CHƢƠNG – CÀI ĐẶT HỆ THỐNG 70 Cài đặt Zend Framework 70 Cài đặt LAMP (Linux, Apache, MySQL, PHP) Ubuntu 76 Kết thực nghiệm 79 CHƢƠNG - KẾT LUẬN 87 Nội dung nghiên cứu 87 2.Những khó khăn hƣớng giải 87 Kiến nghị .88 TÀI LIỆU THAM KHẢO 89 DANH MỤC CÁC KÝ HIỆU, CÁC CHỮ VIẾT TẮT STT Từ viết tắt Ý nghĩa HTQLBTSV Hệ thống quản lý tập sinh viên HT Hệ thống CBPTĐT Cán phụ trách đào tạo GV Giáo viên SV Sinh viên DANH MỤC CÁC HÌNH VẼ Hình : Cấp độ kiểm thử phần mềm Hình : Kiểm thử hộp trắng .9 Hình : Kiểm thử hộp đen 11 Hình 4: Sơ đồ khối trình vận hành hệ thống 19 Hình 5: Lưu đồ trình chấm Core (backend) 20 Hình : Biểu đồ ca sử dụng tổng quan HT 26 Hình 7: Quy trình quản lý tập tổng quan HT 27 Hình 8: Biểu đồ ca sử dụng người dùng CBPTĐT 31 Hình 9: Biểu đồ hoạt động quy trình Đăng nhập 32 Hình 10: Giao diện đăng nhập 32 Hình 11: Giao diện CBPTĐT 33 Hình 12: Biểu đồ hoạt động quy trình Quản lý thông tin cá nhân .34 Hình 13: Giao diện thông tin cá nhân .35 Hình 14: Giao diện đổi mật 35 Hình 15: Biểu đồ hoạt động chức thành lập lớp/môn học 38 Hình 16: Khởi tạo lớp học .38 Hình 17: Khởi tạo hồ sơ GV .39 Hình 18: Xem thông tin GV 40 Hình 19: Biểu đồ ca sử dụng dành cho người dùng GV .40 Hình 20: Giao diện đăng nhập 41 Hình 21: Biểu đồ hoạt động quy trình Quản lý thông tin cá nhân .43 Hình 22: Biểu đồ hoạt động chức duyệt danh mục lớp/môn học 44 Hình 23: Biểu đồ hoạt động chức đề xuất tập môn học .45 Hình 24: Biểu đồ hoạt động chức thông báo nhắc nhở .46 Hình 25: Biểu đồ hoạt động chức tải tài liệu thực bai tâp 47 Hình 26: Biểu đồ ca sử dụng dành cho người dùng SV 49 Hình 27: Biểu đồ hoạt động quy trình Đăng nhập 50 Hình 28: Giao diện đăng nhập 50 Hình 29: Giao diện SV .51 Hình 30: Biểu đồ trình tự quản lý thông tin cá nhân .52 Hình 31: Giao diện thông tin cá nhân .53 Hình 32: Giao diện đổi mật 53 Hình 33: Biểu đồ trình tự duyệt danh mục lớp/môn học 54 Hình 34: Giao diện danh mục lớp/môn học 54 Hình 35: Giao diện danh sách tập .55 Hình 36: Biểu đồ trình tự chức theo dõi thông báo nhắc nhở .57 Hình 37: Giao diện đăng tải tài liệu thực tập 57 Hình 38: Mô hình MVC 64 LỜI MỞ ĐẦU ĐẶT VẤN ĐỀ Trong giáo dục việc quản lý, tổ chức kỳ thi lập trình hay môn học có thi, lập trình điều bắt buộc Tuy vậy, trình chấm điểm thủ công làm nhiều thời gian công sức giáo viên Hệ thống quản lý chấm điểm tự động luận văn xây dựng dựa kỹ thuật kiểm thử hộp đen để tiến hành quản lý chấm điểm cách tự động thi, thi môn học Hệ thống thuận lợi cho sinh viên tham gia làm tập lập trình cách trực tiếp, nhờ mà giáo viên giảm thiểu tối đa việc chấm điểm thi, tập cho sinh viên Để thực việc chấm điểm tự động này, trước tiên giáo viên cần biên soạn tập lập trình với đầu vào đầu chuẩn kiểm thử Kỹ thuật kiểm thử hộp đen thực chất việc tự động biên dịch chạy chương trình sinh viên thực với liệu kiểm thử đầu vào, sau tự động đối sánh với liệu đầu chuẩn dựa đánh giá mức độ hoàn thiện chương trình theo tỷ lệ kiểm thử thành công Hệ thống xây dựng với đầy đủ chức hệ thống quản lý tập lập trình, sẵn sàng đưa vào ứng dụng thực tiễn  Nội dung nghiên cứu Luận văn có hai mục đích nghiên cứu sau:  Kiểm thử hộp đen chế tự động hóa trình chấm điểm lập trình  Ứng dụng kiểm thử hộp đen xây dựng hệ thống quản lý chấm điểm tự động mã nguồn chương trình Ngày nay, phát triển phần mềm ngành nghề phát triển mà việc dùng công cụ tiên tiến giúp cho việc phát triển phần mềm trở nên hiệu Với công cụ phương pháp giảm thiểu tối đa công sức, chi phí thời gian cho việc phát triển phần mềm Tuy nhiên, với độ phức tạp có giới hạn thời gian, chi phí việc kiểm thử CHƢƠNG – CÀI ĐẶT HỆ THỐNG Truy cập url: http://localhost/info.php Nếu bạn thấy hình giống bên tức PHP5 hoạt động Để PHP truy xuất MySQL, ta cần phải cài đặt thêm pakage h apt-get install php5-mysql Ngoài nhiều module cho PHP cần thiết để ứng dụng hoạt động, để tìm module PHP, thực thi lệnh sau: apt-cache search php5 Chọn package cần thiết để cài đặt Dưới số module phổ biến cho PHP: apt-get install php5-mysql php5-curl php5-gd php5-intl php-pear php5-imagick 78 CHƢƠNG – CÀI ĐẶT HỆ THỐNG php5-imap php5-mcrypt php5-memcache php5-ming php5-ps php5-pspell php5recode php5-snmp php5-sqlite php5-tidy php5-xmlrpc php5-xsl Khởi động lại Apache để module có hiệu lực: /etc/init.d/apache2 restart  phpMyAdmin phpMyAdmin ứng dụng giúp quản trị MySQL server thông qua môi trường web Để cài đặt phpMyAdmin: apt-get install phpmyadmin Sau trình cài đặt kết thúc, truy cập url http://localhost/phpmyadmin sử dụng phpMyAdmin Kết thực nghiệm Kết thực nghiệm System Name Kiem thu hop den Creator Project Code Luan van thac sy Reviewer/Approver Document Code Tai lieu mo ta cac Issue Date Trang 7/3 truong hop kiem thu tren he thong Version 79 1.0 CHƢƠNG – CÀI ĐẶT HỆ THỐNG STT Điều kiện ban Bước kiểm tra đầu File đính kèm GV chọn file input upload input là file txt file txt dat dat File đính kèm GV chọn file output không upload output phải file txt file txt dat dat File đính kèm GV không chọn input không file đính kèm chọn File đính kèm GV không chọn output không file đính kèm chọn File tập SV bị sai cú pháp File tập SV lỗi chia cho File tập SV chạy vượt thời gian File bai tap cua SV dung Kiểm tra cú pháp từ vựng Thông báo lỗi Kết mong muốn Có lỗi xảy ra, liệu nhập GV chọn thiếu định dạng file file input không hợp lệ Định dạng file input, output txt dat Có lỗi xảy ra, liệu nhập GV chọn thiếu định dạng file file output không hợp lệ Định dạng file input, output txt dat Có lỗi xảy ra, liệu nhập GV chọn thiếu định dạng file file input không hợp lệ Định dạng file input, output txt Có lỗi xảy ra, liệu nhập GV chọn thiếu định dạng file file output không hợp lệ Định dạng file input, output txt Sai cú pháp SV viết cú pháp Kiểm tra chia Lỗi out of memory, loi division Tránh trường cho by zero hợp chia cho Tránh trường hợp lặp vô hạn Kiểm tra lặp vô hạn Quá trình chấm tự động cho thấy: Chương trình bạn 100 % Bạn khoảng 10 điểm! 80 CHƢƠNG – CÀI ĐẶT HỆ THỐNG Ket qua chay chuong trinh qua tung lan kiem thu: Lan kiem thu thu (1): Lan kiem thu thu (2) 81 CHƢƠNG – CÀI ĐẶT HỆ THỐNG Lan kiem thu thu (3) Lan kiem thu thu (4) 82 CHƢƠNG – CÀI ĐẶT HỆ THỐNG Lan kiem thu thu (5) Lan kiem thu thu (6): 83 CHƢƠNG – CÀI ĐẶT HỆ THỐNG Lan kiem thu thu (7) Lan kiem thu thu (8) 84 CHƢƠNG – CÀI ĐẶT HỆ THỐNG Áp dụng vào giải phương trình bậc 2: ax2+bx+c=0 đặc tả: Dòng k số lượng trường hợp (k