Luận văn tập trung nghiên cứu phương pháp kiểm thử tự động tương tác giao diện của các ứng dụng Web. Phương pháp này là một trong những phương pháp kiểm thử đang được áp dụng và sử dụng ngày càng rộng rãi trong việc kiểm thử các sản phẩm phần mềm nói chung cũng như ứng dụng Web nói riêng. Phương pháp kiểm thử tự động tương tác giao diện người dùng đã được đề xuất và cải tiến bởi một số tác giả với ý tưởng chung là đặc tả tương tác người dùng của từng trang Web bằng máy hữu hạn trạng thái. | ĐẠ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 CÁC Ứ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ố: 62 48 01 03 TÓM TẮT LUẬN VĂN THẠC SĨ CÔNG NGHỆ THÔNG TIN Hà Nội – 2016 1 MỤC LỤC MỤC LỤC . 1 Chương 1: Giới thiệu . 3 Chương 2: Kiểm thử phần mềm tự động. 4 Kiểm thử phần mềm thủ công và Kiểm thử phần mềm tự động 4 Các kiểu kiểm thử tự động và kiểm thử gi o diện ngư i d ng 4 C c kiểu kiểm thử tự động 4 Kiểm thử tương t c gi o diện ngư i d ng 4 Kiểm thử tự động dự trên mô hình . 4 Chương 3: Phương ph p đặc tả tương t c gi o diện cho c c ứng dụng Web 5 Đặc tả tương t c gi o diện củ t ng tr ng Web b ng ô-tô-m t h u hạn trạng th i 5 V dụ minh họ cho đặc tả tr ng Web 5 X y dựng ô-tô-m t h u hạn trạng th i M1 . 6 Gh p nối ô-tô-m t h u hạn trạng th i M1 và M2 . 7 Biểu diễn mô
