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