Phương pháp sinh bộ kiểm thử tự động cho
kiểm thử giao diện ứng dụng Web Hà Khánh Toàn Trường Đại học Công nghệ. Đại học Quốc gia Hà Nội
Luận văn ThS. Công nghệ thông tin : 60 48 10
Người hướng dẫn : TS. Lê Thanh Hà
Năm bảo vệ: 2013
54 tr .

Abstract. Nghiên cứu các phương pháp kiểm thử tự động và các công cụ hỗ trợ. Tạo
ra các bộ kiểm thử tự động cho quá trình kiểm thử giao diện ứng dụng web bằng cách
sử dụng các phương pháp tiếp cận dựa trên mô hình. Tiến hành cài đặt và ứng dụng
cho một số phần mềm nhằm đánh giá tính hiệu quả của phương pháp nghiên cứu.
Keywords.Công nghệ phần mềm; Ứng dụng Web; Bộ kiểm thử tự động
Content.
Đặt vấn đề
Ngày nay với sự phát triển của Internet đã thúc đẩy nhu cầu cộng tác làm việc qua
mạng và sử dụng các dịch vụ trực tuyến dần trở thành một nhu cầu thiết yếu trong cuộc
sống của chúng ta. Tuy nhiên một thực tế hiện nay là các ứng dụng web ngày càng
phải đối mặt với nhiều vấn đề này sinh như vấn đề về bảo mật, chịu tải, …ngoài ra làm
thế nào để kiểm thử các ứng dụng web này cũng là một vấn đề cần phải giải quyết.
Các ứng dụng web đang được ứng dụng rộng rãi trong thực tế. Tuy nhiên hầu hết các
ứng dụng web hầu như không đáp ứng được các yêu cầu của khách hàng. Kết quả là
làm thế nào để đảm bảo chất lượng của các ứng dụng web là vấn đề quan trọng trong
phát triển phần mềm. Kiểm thử được coi là phương pháp duy nhất để đảm bảo chất
lượng của sản phẩm. Trong thực tế, nhiều công ty gặp nhiều khó khăn, tốn thời gian và
chi phí cao cho việc kiểm thử các ứng dụng web. Mặc dù họ thuê những người kiểm

Cấu trúc luận văn
Trong các phần tiếp theo của luận văn, tôi sẽ trình bày những nội dung sau:
Chương 2 trình bày về cơ sở lý thuyết của đề tài. Chương này đề cập đến các khái
niệm cơ bản của kiểm thử phần mềm, tìm hiểu về kiểm thử dựa trên mô hình, máy hữu
hạn trạng thái.
Chương 3 đề cập đến cách làm thế nào để sinh được các bộ kiểm thử từ máy hữu hạn
trạng thái.
Chương 4 xây dựng chương trình thực nghiệm dùng công cụ selenium và webdriver.
Nghiên cứu các trường hợp sinh test-case bằng chương trình thực nghiệm này.
Chương 5 tóm tắt các kết quả đã đạt được, kết luận, những hạn chế và hướng nghiên
cứu phát triển trong tương lai.
TÀI LIỆU THAM KHẢO
1. British Computer Society Specialist Interest Group in Software Testing (BCS
SIGIST) (27 April 2001), Standard for Software Component Testing, Working
Draft 3.4.
2. El-Far and JA Whittaker (2001), Model-Based Software Testing. Encyclopedia
of Software Engineering (edited by J. J. Marciniak), Wiley.
3. http://fsmgenerator.sourceforge.net/
4. http://msdn.microsoft.com/en-us/library/ee620469.aspx
5. http://simpletest.org/en/start-testing.html.
6. http://www.seleniumhq.org
7. ISTQB – International Software Testing Qualifications Board (2011),
Foundation Level Syllabus.
8. James W. Newkirk,Alexei Vorontsov (2004), Test-Driven Development in
Microsoft .NET, Microsoft Press.
9. Jeff Tian (2005), Software Quality Engineering - Testing, Quality Assurance
and Quantifiable Improvement, Wiley.
10. John E. Bentley, Wachovia Bank, Charlotte NC, Software Testing
Fundamentals - Concepts, Roles, and Terminology.
11. Michael C. Feathers (2004), Working Effectively with Legacy Code, Prentice