Thạc Sĩ Nghiên cứu về kiểm thử dựa trên mô hình và ứng dụng

i
MỤC LỤC
MỤC LỤC . i
LỜI CẢM ƠN iii
LỜI CAM ĐOAN iv
DANH MỤC THUẬT NGỮ VIẾT TẮT v
DANH MỤC HÌNH VẼ vi
DANH MỤC BẢNG vii
Chương 1: Giới thiệu 8
Chương 2: Phương pháp đặc tả tương tác giao diện cho các ứng dụng Web 10
2.1 Đặ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ái 10
2.2 Xây dựng mô hình đặc tả tương tác giao diện cho toàn bộ ứng dụng Web 16
2.3 Biểu diễn mô hình đặc tả dưới dạng các tệp tin MS Excel . 19
Chương 3: Sinh và thực thi các ca kiểm thử tự động . 26
3.1 Sinh các ca kiểm thử từ mô hình đặc tả hình thức . 26
3.1.1 Đường dẫn kiểm thử 26
3.1.2 Thuật toán sinh tự động các đường dẫn kiểm thử . 27
3.2 Thực hiện các ca kiểm thử 32
3.4 Đánh giá phương pháp 33
Chương 4: Công cụ và thực nghiệm 35
4.1 Giới thiệu các công cụ bổ trợ 35
4.1.1 Giới thiệu Selenium và một số API WebDriver được sử dụng . 35
4.1.2 Giới thiệu Jsoup . 37
4.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 Web . 38
4.2.1 Kiến trúc của công cụ 39
4.2.2 Đầu vào của công cụ 40
4.2.3 Đầu ra của công cụ 42
4.3 Thực nghiệm 44
4.4 Kết quả cải tiến công cụ 51
4.5 Ý nghĩa của công cụ thực nghiệm . 53 ii
Chương 5: KẾT LUẬN 55
TÀI LIỆU THAM KHẢO 57
























iii
LỜI CẢM ƠN
Trước tiên tôi xin gửi lời cảm ơn chân thành và sâu sắc đến thầy giáo
PGS.TS Nguyễn Việt Hà và thầy giáo TS. Phạm Ngọc Hùng - người đã trực tiếp
hướng dẫn, khuyến khích, chỉ bảo và đóng góp những ý kiến quý báu trong suốt
quá trình tôi học tập, nghiên cứu cũng như từ khi tôi bắt đầu nghiên cứu đề tài
đến khi hoàn thành luận văn này.
Tôi xin chân thành cảm ơn các thầy cô giáo khoa Công nghệ thông tin,
trường Đại học Công nghệ, Đại học Quốc Gia Hà Nội đã tận tình đào tạo, cung
cấp cho tôi những kiến thức vô cùng quý giá, đã tạo điều kiện tốt nhất cho tôi
trong suốt quá trình học tập, nghiên cứu tại trường.
Đồng thời tôi xin chân thành cảm ơn những người thân trong gia đình cùng
toàn thể bạn bè, đồng nghiệp đã luôn giúp đỡ, động viên tôi trong những lúc gặp
phải khó khăn trong việc học tập và nghiên cứu.
Cuối cùng, tôi xin chân thành cảm ơn Lê Khánh Trình người đã giúp đỡ,
tạo điều kiện cho tôi nghiên cứu công cụ kiểm thử tự động ATWT và các đồng
nghiệp của tôi tại Cục Công nghệ thông tin - Tổng cục IV - Bộ Công an đã giúp
đỡ, tạo điều kiện thuận lợi cho tôi học tập và nghiên cứu chương trình thạc sĩ tại
Đại học Công nghệ, ĐH QGHN.

iv
LỜI CAM ĐOAN
Tôi xin cam đoan rằng luận văn thạc sĩ công nghệ thông tin “Nghiên cứu về
kiểm thử dựa trên mô hình và ứng dụng” là công trình nghiên cứu của riêng tôi
dưới sự hướng dẫn của thầy giáo PGS.TS Nguyễn Việt Hà và thầy giáo TS.
Phạm Ngọc Hùng, không sao chép lại của người khác. Trong toàn bộ nội dung
của luận văn, những điều đã được trình bày hoặc là của chính cá nhân tôi hoặc là
được tổng hợp từ nhiều nguồn tài liệu. Tất cả các nguồn tài liệu tham khảo đều
có xuất xứ rõ ràng và hợp pháp.
Tôi xin hoàn toàn chịu trách nhiệm và chịu mọi hình thức kỷ luật theo quy
định cho lời cam đoan này.
Hà Nội, ngày 09 tháng 7 năm 2015



Lê Thị Phượng v
DANH MỤC THUẬT NGỮ VIẾT TẮT
STT Từ viết tắt Từ đầy đủ Ý nghĩa
1 API Application Programming
Interface
Giao diện lập trình ứng
dụng
2 FSA Finite State Automaton Ôtômát hữu hạn trạng thái
3 MBT Model- base testing. Kiểm thử dựa trên mô hình.
vi
DANH MỤC HÌNH VẼ
Hình 2.1. Trạng thái bắt đầu của trang tìm kiếm cán bộ
Hình 2.2. Trạng thái đã nhập họ tên tìm kiếm
Hình 2.3. Ôtômát hữu hạn trạng thái M 1
Hình 2.4. Kết quả tìm kiếm cán bộ và nút sửa thông tin cán bộ
Hình 2.5. Giao diện trang Web cập nhật thông tin cán bộ (update)
Hình 2.6. Ôtômát hữu hạn trạng M 2
Hình 2.7. Mô hình M sau khi thực hiện thuật toán ghép nối giữa M 1 và M 2
Hình 4.1. Kiến trúc của công cụ Auto Testing Web Application
Hình 4.2. Lưu trữ các tệp tin đầu vào
Hình 4.3. Cài đặt ôtômát hữu hạn trạng thái
Hình 4.4. Giao diện nhập dữ liệu đầu vào của công cụ
Hình 4.5. Kết quả kiểm thử.
Hình 4.6. Ứng dụng Web quản lý thông tin cán bộ.
Hình 4.7. Giao diện trang đăng nhập
Hình 4.8. Giao diện các chức năng của người quản trị hệ thống.
Hình 4.9. Trang quản lý người dùng
Hình 4.10. Giao diện trang tìm kiếm cán bộ
Hình 4.11. Trang thêm mới thông tin cán bộ
Hình 4.12. Trang cập nhật thông tin cán bộ
Hình 4.13. Thư mục các tệp tin đặc tả ứng dụng Quản lý thông tin cán bộ
Hình 4.14. Giao diện của công cụ
Hinh 4.15. Các đường dẫn kiểm thử được sinh tự động
Hình 4.16. Kết quả thực hiện đường dẫn kiểm thử hiển thị trong tệp tin đầu ra
Hình 4.17. Giao diện chức năng tạo menu động
Hình 4.18. Giao diện pop-up


vii
DANH MỤC BẢNG

Bảng 2.1. Các trạng thái Web của trang tìm kiếm cán bộ
Bảng 2.2. Các sự kiện của trang tìm kiếm cán bộ
Bảng 2.3. Bảng các phần tử Web của trang tìm kiếm cán bộ.
Bảng 2.4. Bảng các trạng thái của trang tìm kiếm cán bộ
Bảng 2.5. Bảng các sự kiện của trang tìm kiếm cán bộ
Bảng 2.6. Bảng các transition của trang tìm kiếm cán bộ
Bảng 2.7. tệp tin Excel đặc tả trang Web tìm kiếm cán bộ
Bảng 3.1. Các transition của trang tìm kiếm thông tin cán bộ
Bảng 3.2. Các testparth được sinh ra từ mô hình trang tìm kiếm thông tin cán bộ