Luận văn Thạc sĩ Công nghệ thông tin: Phương pháp kiểm thử tự động tương tác giao diện người dùng cho ứng dụng web

Nội dung của luận văn được trình bày trong năm chương và phần kết luận. Chương 1 giới thiệu về đề tài, chương này trình bày các ngũ cảnh, những lý do chọn đề tài, mục tiêu củ đề tài và cấu trúc củ luận văn. Chương 2 trình bày về kiểm thử tự động, so sánh giá kiểm thử tự động và kiểm thử thủ công, các kiểu kiểm thử tự động, nếu lý thuyết củ kiểm thử tự động dự trên mô hình. Chương 3 mô tả phương pháp đặc tả tương tác giao diện cho các ứng dụng web, chương 4 mô tả về việc sinh và thực thi các ca kiểm thử tự động và ví dụ áp dụng. Chương 5 giới thiệu công cụ và trình bày kết quả thực nghiệp vào một ứng dụng Web củ FPT.
Nội dung trích xuất từ tài liệu:
Luận văn Thạc sĩ Công nghệ thông tin: Phương pháp kiểm thử tự động tương tác giao diện người dùng cho ứng dụng webĐẠI HỌC QUỐC GIA HÀ NỘITRƢỜNG ĐẠI HỌC CÔNG NGHỆTRẦN THỊ THÚY HẰNGPHƢƠNG PHÁP KIỂM THỬ TỰ ĐỘNG TƢƠNG TÁCGIAO DIỆN NGƢỜI DÙNG CHO ỨNG DỤNG WEBLUẬN VĂN THẠC SĨNgành: Công Nghệ Thông TinHÀ NỘI – 2016ĐẠI HỌC QUỐC GIA HÀ NỘITRƢỜNG ĐẠI HỌC CÔNG NGHỆTRẦN THỊ THÚY HẰNGPHƢƠNG PHÁP KIỂM THỬ TỰ ĐỘNG TƢƠNG TÁCGIAO DIỆN NGƢỜI DÙNG CHO ỨNG DỤNG WEBNgành: Công Nghệ Thông TinChuyên ngành: Kỹ Thuật Phần MềmMã số: 60 48 01 03LUẬN VĂN THẠC SĨNgành: Công Nghệ Thông TinNGƢỜI HƢỚNG DẪN KHOA HỌC: PGS. TS. Phạm Ngọc HùngHÀ NỘI – 2016VIETNAM NATIONAL UNIVERSITY, HANOIUNIVERSITY OF ENGINEERING AND TECHNOLOGYTRAN THI THUY HANGA METHOD FOR AUTOMATED GUI TESTING OFWEB APPLICATIONSTHE MS. THESISMajor: Information TechnologySupervisor: Assoc. Prof. Dr. Pham Ngoc HungHANOI - 2016MỤC LỤCMỤC LỤC .................................................................................................................... iLỜI CẢM ƠN ............................................................................................................iiiTÓM TẮT .................................................................................................................. ivABSTRACT ................................................................................................................ vLỜI CAM ĐOAN ....................................................................................................... viDANH MỤC THUẬT NGỮ VIẾT TẮT ................................................................... viiDANH MỤC HÌNH VẼ............................................................................................ viiiDANH MỤC BẢNG ................................................................................................... xChương 1: Giới thiệu ................................................................................................... 1Chương 2: Tổng quan về kiểm thử phần mềm tự động................................................. 32.1 Kiểm thử phần mềm tự động ............................................................................. 32.2Các phương pháp kiểm thử tự động ............................................................... 42.2.1 Các m c độ kiểm thử tự động .................................................................. 42.2.2 Kiểm thử tương tác giao diện người d ng ................................................ 52.3 Kiểm thử tự động dựa trên mô hình ................................................................... 8Chương 3: Phương pháp đặc tả tương tác giao diện cho các ng dụng Web ................. 93.1 Phương pháp xây dựng mô hình cho toàn bộ ng dụng Web ............................. 93.2 Đặc tả tương tác giao diện c a t ng trang Web b ng ô-tô-mát hữu h n tr ng thái13.3 Xây dựng mô hình đặc tả tương tác giao diện cho toàn bộ ng dụng Web ......... 33.4 V dụ minh h a cho đặc tả trang Web ................................................................ 33.3.1 Xây dựng ô-tô-mát hữu h n tr ng thái M1 ................................................ 53.3.2 Gh p nối ô-tô-mát hữu h n tr ng thái M1 và M2 ....................................... 73.5Biểu diễn mô hình đặc tả dưới d ng các tệp tin MS Excel............................... 9Chương 4: Sinh và thực thi các ca kiểm thử tự động .................................................. 244.1 Sinh các ca kiểm thử t mô hình đặc tả hình th c ............................................ 244.1.1 Đường dẫn kiểm thử .............................................................................. 244.1.2 Thuật toán sinh tự động các đường dẫn kiểm thử ................................... 244.2 Thực hiện các ca kiểm thử ............................................................................... 27Chương 5: Công cụ và thực nghiệm ........................................................................... 285.1 Giới thiệu các công cụ bổ trợ ........................................................................... 285.1.1. Giới thiệu Selenium và một số API WebDriver được sử dụng................ 285.1.2. Công cụ JFLAP...................................................................................... 345.2 Giới thiệu công cụ kiểm thử tự động tương tác giao diện cho các ng dụng Web395.2.1 Kiến trúc c a công cụ............................................................................. 405.2.2 Đầu vào c a công cụ .............................................................................. 415.2.3 Giao diện và cách sử dụng công cụ ATWA ............................................ 485.2.4 Đầu ra c a công cụ ................................................................................. 505.2.5 Thực nghiệm .......................................................................................... 535.2.6 Kết quả áp dụng và cải tiến công cụ ...... ...