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ỘI<br /> TRƢỜNG ĐẠI HỌC CÔNG NGHỆ<br /> <br /> TRẦN THỊ THÚY HẰNG<br /> <br /> PHƢƠNG PHÁP KIỂM THỬ TỰ ĐỘNG TƢƠNG TÁC<br /> GIAO DIỆN NGƢỜI DÙNG CHO ỨNG DỤNG WEB<br /> <br /> LUẬN VĂN THẠC SĨ<br /> Ngành: Công Nghệ Thông Tin<br /> <br /> HÀ NỘI – 2016<br /> <br /> ĐẠI HỌC QUỐC GIA HÀ NỘI<br /> TRƢỜNG ĐẠI HỌC CÔNG NGHỆ<br /> <br /> TRẦN THỊ THÚY HẰNG<br /> <br /> PHƢƠNG PHÁP KIỂM THỬ TỰ ĐỘNG TƢƠNG TÁC<br /> GIAO DIỆN NGƢỜI DÙNG CHO ỨNG DỤNG WEB<br /> <br /> Ngành: Công Nghệ Thông Tin<br /> Chuyên ngành: Kỹ Thuật Phần Mềm<br /> Mã số: 60 48 01 03<br /> <br /> LUẬN VĂN THẠC SĨ<br /> Ngành: Công Nghệ Thông Tin<br /> <br /> NGƢỜI HƢỚNG DẪN KHOA HỌC: PGS. TS. Phạm Ngọc Hùng<br /> <br /> HÀ NỘI – 2016<br /> <br /> VIETNAM NATIONAL UNIVERSITY, HANOI<br /> UNIVERSITY OF ENGINEERING AND TECHNOLOGY<br /> <br /> TRAN THI THUY HANG<br /> <br /> A METHOD FOR AUTOMATED GUI TESTING OF<br /> WEB APPLICATIONS<br /> THE MS. THESIS<br /> Major: Information Technology<br /> <br /> Supervisor: Assoc. Prof. Dr. Pham Ngoc Hung<br /> <br /> HANOI - 2016<br /> <br /> MỤC LỤC<br /> MỤC LỤC .................................................................................................................... i<br /> LỜI CẢM ƠN ............................................................................................................iii<br /> TÓM TẮT .................................................................................................................. iv<br /> ABSTRACT ................................................................................................................ v<br /> LỜI CAM ĐOAN ....................................................................................................... vi<br /> DANH MỤC THUẬT NGỮ VIẾT TẮT ................................................................... vii<br /> DANH MỤC HÌNH VẼ............................................................................................ viii<br /> DANH MỤC BẢNG ................................................................................................... x<br /> Chương 1: Giới thiệu ................................................................................................... 1<br /> Chương 2: Tổng quan về kiểm thử phần mềm tự động................................................. 3<br /> 2.1 Kiểm thử phần mềm tự động ............................................................................. 3<br /> 2.2<br /> <br /> Các phương pháp kiểm thử tự động ............................................................... 4<br /> <br /> 2.2.1 Các m c độ kiểm thử tự động .................................................................. 4<br /> 2.2.2 Kiểm thử tương tác giao diện người d ng ................................................ 5<br /> 2.3 Kiểm thử tự động dựa trên mô hình ................................................................... 8<br /> Chương 3: Phương pháp đặc tả tương tác giao diện cho các ng dụng Web ................. 9<br /> 3.1 Phương pháp xây dựng mô hình cho toàn bộ ng dụng Web ............................. 9<br /> 3.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ái1<br /> 3.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 ......... 3<br /> 3.4 V dụ minh h a cho đặc tả trang Web ................................................................ 3<br /> 3.3.1 Xây dựng ô-tô-mát hữu h n tr ng thái M1 ................................................ 5<br /> 3.3.2 Gh p nối ô-tô-mát hữu h n tr ng thái M1 và M2 ....................................... 7<br /> 3.5<br /> <br /> Biểu diễn mô hình đặc tả dưới d ng các tệp tin MS Excel............................... 9<br /> <br /> Chương 4: Sinh và thực thi các ca kiểm thử tự động .................................................. 24<br /> 4.1 Sinh các ca kiểm thử t mô hình đặc tả hình th c ............................................ 24<br /> 4.1.1 Đường dẫn kiểm thử .............................................................................. 24<br /> 4.1.2 Thuật toán sinh tự động các đường dẫn kiểm thử ................................... 24<br /> 4.2 Thực hiện các ca kiểm thử ............................................................................... 27<br /> <br /> Chương 5: Công cụ và thực nghiệm ........................................................................... 28<br /> 5.1 Giới thiệu các công cụ bổ trợ ........................................................................... 28<br /> 5.1.1. Giới thiệu Selenium và một số API WebDriver được sử dụng................ 28<br /> 5.1.2. Công cụ JFLAP...................................................................................... 34<br /> 5.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 Web39<br /> 5.2.1 Kiến trúc c a công cụ............................................................................. 40<br /> 5.2.2 Đầu vào c a công cụ .............................................................................. 41<br /> 5.2.3 Giao diện và cách sử dụng công cụ ATWA ............................................ 48<br /> 5.2.4 Đầu ra c a công cụ ................................................................................. 50<br /> 5.2.5 Thực nghiệm .......................................................................................... 53<br /> 5.2.6 Kết quả áp dụng và cải tiến công cụ ....................................................... 68<br /> 5.2.7 Ý nghĩa c a công cụ thực nghiệm .......................................................... 71<br /> Chương 6: KẾT LUẬN.............................................................................................. 73<br /> TÀI LIỆU THAM KHẢO.......................................................................................... 75<br /> <br />