Tóm tắt 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

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.
Nội dung trích xuất từ tài liệu:
Tóm tắt 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ÁC GIAO DIỆNNGƢỜI DÙNG CHO CÁC ỨNG DỤNG WEBNgành: Công nghệ thông tinChuyên ngành: Kỹ thuật phần mềmMã Số: 62 48 01 03TÓM TẮT LUẬN VĂN THẠC SĨ CÔNG NGHỆ THÔNG TINHà Nội – 20161MỤC LỤCMỤC LỤC ............................................................................................................................................... 1Chương 1: Giới thiệu ............................................................................................................................... 3Chương 2: Kiểm thử phần mềm tự động................................................................................................... 42.1 Kiểm thử phần mềm thủ công và Kiểm thử phần mềm tự động...................................................... 42.2 Các kiểu kiểm thử tự động và kiểm thử gi o diện ngư i d ng........................................................ 42.2.1C c kiểu kiểm thử tự động ................................................................................................ 42.2.2Kiểm thử tương t c gi o diện ngư i d ng.......................................................................... 42.3 Kiểm thử tự động dự trên mô hình ............................................................................................... 4Chương 3: Phương ph p đặc tả tương t c gi o diện cho c c ứng dụng Web .............................................. 53.1 Đặ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 .......................... 53.2 V dụ minh họ cho đặc tả tr ng Web ............................................................................................ 53.3.1X y dựng ô-tô-m t h u hạn trạng th i M1 ......................................................................... 63.3.2Gh p nối ô-tô-m t h u hạn trạng th i M1 và M2 ............................................................... 73.3 Biểu diễn mô hình đặc tả dưới dạng c c tệp tin MS Excel.............................................................. 8Chương 4: Sinh và thực thi c c c kiểm thử tự động ............................................................................... 104.1 Sinh c c c kiểm thử t mô hình đặc tả hình thức ........................................................................ 104.1.1Đư ng dẫn kiểm thử ....................................................................................................... 104.1.2Thuật to n sinh tự động c c đư ng dẫn kiểm thử............................................................. 104.1.3V dụ p dụng thuật to n ................................................................................................. 114.2 Thực hiện c c c kiểm thử........................................................................................................... 114.3 Đ nh gi phương ph p ................................................................................................................ 12Chương 5: Công cụ và thực nghiệm ....................................................................................................... 135.1 Giới thiệu c c công cụ bổ trợ....................................................................................................... 135.1.1.Giới thiệu Selenium và một số API WebDriver được sử dụng ......................................... 135.1.2.Công cụ JFLAP .............................................................................................................. 145.2 Giới thiệu công cụ kiểm thử tự động tương t c gi o diện cho c c ứng dụng Web ......................... 155.2.1Kiến trúc củ công cụ...................................................................................................... 155.2.2Đầu vào củ công cụ ....................................................................................................... 165.2.3Đầu r củ công cụ.......................................................................................................... 185.2.4Thực nghiệm................................................................................................................... 195.2.5Kết quả p dụng và cải tiến công cụ ................................................................................ 215.2.6Ý nghĩ củ công cụ thực nghiệm.................................................................................... 222Chương 6: KẾT LUẬN .......................................................................................................................... 23TÀI LIỆU THAM KHẢO ...................................................................................................................... 243Chương 1: Giới thiệuC c ứng dụng Web được ph t triển một c ch mạnh mẽ nhưng hầu nh ...