Xây dựng các ca kiểm thử tự động từ giao diện
phần mềm

Trịnh Thị Minh Hiển

Trường Đại học Công nghệ
Luận văn Thạc sĩ ngành: Công nghệ Phần mềm; Mã số: 60 48 10
Người hướng dẫn: TS. Trương Ninh Thuận
Năm bảo vệ: 2011

Abstract: Trình bày tổng quan về kiểm thử, kiểm thử tự động. Trình bày các khái
niệm cơ bản về Test Case và các Phương pháp sinh Test Case tự động hiện nay. Trình
bày phương pháp sinh Test Case từ giao diện và áp dụng phương pháp sinh Test Case
từ giao diện với ví dụ cụ thể. Xây dựng công cụ sinh Test Case tự động bằng phương
pháp sinh Test Case từ giao diện.

Keywords: Kiểm thử; Phần mềm; Lập trình

Content
Mở đầu
Trong những năm gần đây cùng với sự phát triển của phần cứng máy tính, phần mềm
có nhiều bước tiến quan trọng. Sản xuất phát triển phần mềm hiện nay đã trở thành một ngành
công nghiệp thực sự. Cũng như các ngành công nghiệp khác, khi quy mô chức năng của các
phần mềm được sản xuất ngày càng phức tạp thì yêu cầu về quản lý chất lượng phần mềm
ngày càng được quan tâm. Do đó, kiểm thử phần mềm phải được thực hiện thường xuyên
trong suốt vòng đời phát triển của phần mềm để đảm bảo chất lượng.
Như chúng ta đã biết, giao diện người dùng đồ họa (Graphical User Interface -
GUI) là một trong những cách phổ biến nhất để người sử dụng tương tác với hệ thống phần
mềm. Khi kết thúc giai đoạn kiểm thử hệ thống, các tester tiếp tục kiểm thử phần mềm với
các chức năng bổ sung cung cấp bởi giao diện đồ hoạ. GUI làm cho việc kiểm thử hệ thống
khó khăn hơn vì các nguyên nhân: do bản chất sự kiện điều khiển của GUI, các sự kiện không

Tiếng Việt
1. Nguyễn Văn Vỵ , Nguyễn Việt Hà (2000), Giáo trình kỹ nghệ phần mềm, NXB Giáo dục.
2. Vũ Thị Đào (2008), Kỹ thuật sinh Test Case tự động từ yêu cầu phần mềm, Luận văn Thạc
sĩ, Trường Đại học Công nghệ, Đại học Quốc gia Hà Nội.

Tiếng Anh
3. Aditya P. Mathur (2007), Foundations of Software Testing: Fundamental Algorithms and
Techniques, Pearson Education India.
4. Aynur Abdurazik and Jeff Offutt (2000), Using UML colloboration diagrams for Static
Checking and Test Generation, USA.
5. Brian Marick (2009), When Should a Test Be Automated, StickyMinds.com. Retrieved
2009-08-20.
6. Douglas Hoffman (1999), Test Automation Architectures: Planning for Test Automation,
Software Quality Methods, LLC.
7. Elfriede Dustin (1999), Automated Software Testing, Addison Wesley, 1999, ISBN 0-
20143-287-0
8. Elfriede Dustin (2003), Effective Software Testing: 50 specific ways to improve your
testing, Pearson Education, Inc.

3
9. Elfriede Dustin, Implementing Automated Software Testing, Addison Wesley, ISBN 978-
0321580511.
10. Jeff Offutt (2003), Generating test data from state-based specifications, John Wiley &
Sons.
11. Jeff Offutt (2003), Generating test from UML Specifications, George Mason University.
12. Glenford J. Myers (2004), The Art of Software Testing, John Wiley and Sons, Inc
13. Jerry Zeyu Gao, H S. Jacob Tsao and Ye Wu (2003), Testing And Quality Assurance for
Component-Based Software, Artech House.
14. Kanglin Li, Menqui Wu (2004), Effective Software Test Automation: Developing an
Automated Software Testing Tool, Sybex