Nghiên Cứu Về Kiểm Thử Mô Hình Ứng Dụng Web Tại Đại Học Quốc Gia Hà Nội

Luận văn thạc sĩ nghiên cứu về kiểm thử mô hình ứng dụng web, cung cấp phương pháp và kỹ thuật đảm bảo chất lượng phần mềm hiệu quả.

• Người hướng dẫn: PGS.TS Nguyễn Việt Hà
• Trường học: Đại học Quốc gia Hà Nội
• Chuyên ngành: Công nghệ thông tin
• Đề tài: Nghiên Cứu Kiểm Thử Mô Hình Ứng Dụng Web
• Loại tài liệu: luận văn thạc sĩ
• Năm xuất bản: 2012
• Địa điểm: Hà Nội

Tóm tắt

I. Tổng Quan Nghiên Cứu Kiểm Thử Ứng Dụng Web Tại ĐHQGHN

Bài viết này tập trung vào việc phân tích nghiên cứu kiểm thử ứng dụng web ĐHQGHN. Công nghệ thông tin ngày càng phát triển, đặc biệt là hạ tầng Internet. Điều này dẫn đến sự phổ biến của các ứng dụng web. Tuy nhiên, việc xây dựng các ứng dụng web ngày càng phức tạp. Các ứng dụng này được dùng để bán hàng, đấu giá, quản trị khách hàng. Triển khai các ứng dụng web này đòi hỏi giải quyết nhiều vấn đề như tính bảo mật, hiệu suất, giao diện, và khả năng tương thích. Do đó, việc kiểm thử ứng dụng web là vô cùng quan trọng để đảm bảo chất lượng và hoạt động ổn định. Mục tiêu là tìm hiểu và xây dựng mô hình kiểm thử tự động, mang tính thực tiễn cao.

1.1. Tầm quan trọng của kiểm thử ứng dụng web ĐHQGHN

Kiểm thử ứng dụng web trở nên quan trọng để đảm bảo chất lượng và hoạt động ổn định. Điều này giúp phát hiện và giải quyết các vấn đề trước khi ứng dụng được đưa vào sử dụng thực tế. Việc kiểm thử bảo mật web ĐHQGHN đặc biệt quan trọng để bảo vệ dữ liệu người dùng và hệ thống. Việc này không chỉ đảm bảo uy tín mà còn phòng tránh các rủi ro tiềm ẩn. Theo một nghiên cứu từ Đại học Công nghệ, các ứng dụng web không được kiểm thử kỹ lưỡng có nguy cơ bị tấn công cao hơn 70%.

1.2. Các thách thức trong kiểm thử web cho sinh viên ĐHQGHN

Việc kiểm thử thủ công có thể không đáng tin cậy đối với các ứng dụng web phức tạp. Kiểm thử tự động là giải pháp để khắc phục nhược điểm của kiểm thử thủ công. Tuy nhiên, xây dựng mô hình kiểm thử tự động không hề dễ dàng. Mã nguồn và tài liệu thiết kế đầy đủ là cần thiết nhưng không phải lúc nào cũng có sẵn. Cần tìm hiểu và xây dựng mô hình kiểm thử ứng dụng web tự động có ý nghĩa cao trong việc xây dựng công cụ kiểm thử tự động và mang tính thực tế cao.

II. Các Kỹ Thuật Kiểm Thử Web Phổ Biến Dành Cho CNTT ĐHQGHN

Có nhiều khái niệm khác nhau về kiểm thử, nhưng khái niệm của Glen Myers được coi là tổng quát nhất: "Việc kiểm thử là quá trình thực thi một chương trình với mục đích là tìm ra lỗi." Việc thiết kế một chuỗi các trường hợp kiểm thử có khả năng phát hiện lỗi cao là mục tiêu chính. Vòng đời kiểm thử thông thường trải qua các giai đoạn: mô tả yêu cầu, phân tích thiết kế, lập trình, kiểm thử, và bàn giao sản phẩm. Lỗi có thể xảy ra ở bất kỳ giai đoạn nào. Việc chuyển từ giai đoạn này sang giai đoạn khác cũng có thể phát sinh sai sót.

2.1. Kiểm thử hộp trắng Phương pháp và ứng dụng trong ĐHQGHN

Kiểm thử hộp trắng (White-Box Testing) hay còn gọi là kiểm thử logic. Nó cho phép kiểm tra cấu trúc bên trong của ứng dụng. Mục đích là đảm bảo tất cả các câu lệnh và điều kiện sẽ được thực thi ít nhất một lần. Người kiểm thử truy cập vào mã nguồn chương trình để kiểm tra và lấy nó làm cơ sở cho việc kiểm thử. Kiểm thử hộp trắng còn là phương pháp kiểm thử dựa vào cấu trúc/mã lệnh của chương trình.

2.2. Kiểm thử hộp đen Ưu nhược điểm và cách sử dụng hiệu quả

Kiểm thử hộp đen (Black-Box Testing) là phương pháp mà người kiểm thử không cần biết cấu trúc bên trong của ứng dụng. Thay vào đó, họ tập trung vào việc kiểm tra chức năng và hành vi của ứng dụng. Việc thiết kế các trường hợp kiểm thử dựa trên đặc tả yêu cầu và tài liệu hướng dẫn sử dụng. Kiểm thử hộp đen phù hợp để kiểm tra giao diện người dùng, chức năng, và các yêu cầu phi chức năng như hiệu suất và bảo mật. Tuy nhiên, nó có thể bỏ sót các lỗi nằm sâu trong mã nguồn.

2.3. Kiểm thử tích hợp Kết hợp các module để đảm bảo hoạt động

Kiểm thử tích hợp là quá trình kiểm tra các module hoặc thành phần phần mềm sau khi chúng đã được kiểm thử riêng lẻ. Mục tiêu là phát hiện các lỗi xảy ra khi các module tương tác với nhau. Có hai phương pháp kiểm thử tích hợp chính: kiểm thử từ trên xuống (top-down) và kiểm thử từ dưới lên (bottom-up). Lựa chọn phương pháp nào phụ thuộc vào cấu trúc của ứng dụng và ưu tiên kiểm thử các thành phần quan trọng trước.

III. Phương Pháp Xây Dựng Mô Hình Kiểm Thử Tự Động Web ĐHQGHN

Để xây dựng mô hình kiểm thử tự động hiệu quả, cần xác định yêu cầu bài toán và giải pháp cụ thể. Đầu vào cho ứng dụng kiểm thử cần được chuẩn bị kỹ lưỡng, bao gồm dữ liệu kiểm thử và các trường hợp kiểm thử. Giải pháp ghi lại kết quả đầu ra cũng rất quan trọng để phân tích và đánh giá hiệu quả kiểm thử. Các công cụ như Selenium và WebDriver có thể được sử dụng để tự động hóa quá trình kiểm thử.

3.1. Phân tích yêu cầu và thiết kế test case cho ứng dụng web

Phân tích yêu cầu là bước đầu tiên và quan trọng nhất trong quá trình kiểm thử. Cần xác định rõ các chức năng của ứng dụng, các yêu cầu về hiệu suất, bảo mật, và khả năng tương thích. Sau đó, thiết kế các test case chi tiết để kiểm tra từng chức năng và yêu cầu. Test case cần bao gồm dữ liệu đầu vào, các bước thực hiện, và kết quả mong đợi.

3.2. Lựa chọn công cụ kiểm thử tự động phù hợp Selenium WebDriver

Có nhiều công cụ kiểm thử tự động khác nhau, mỗi công cụ có ưu nhược điểm riêng. Selenium và WebDriver là hai công cụ phổ biến và mạnh mẽ để kiểm thử ứng dụng web. Selenium hỗ trợ nhiều trình duyệt và ngôn ngữ lập trình khác nhau. WebDriver cung cấp API để điều khiển trình duyệt một cách tự động. Việc lựa chọn công cụ phù hợp phụ thuộc vào yêu cầu của dự án và kỹ năng của đội ngũ kiểm thử.

3.3. Ghi lại và phân tích kết quả kiểm thử để cải thiện chất lượng

Quá trình ghi lại và phân tích kết quả kiểm thử rất quan trọng để cải thiện chất lượng của ứng dụng. Kết quả kiểm thử cần được ghi lại một cách chi tiết, bao gồm các lỗi phát hiện được, thời gian thực hiện, và các thông tin liên quan khác. Phân tích kết quả kiểm thử giúp xác định các vấn đề tiềm ẩn và đưa ra các biện pháp khắc phục kịp thời.

IV. Thực Nghiệm Kiểm Thử Tự Động Đăng Nhập Web Tại CNTT ĐHQGHN

Quá trình thực nghiệm bao gồm cài đặt môi trường kiểm thử, xây dựng chương trình kiểm thử tự động đăng nhập ứng dụng web. Các bước thực hiện kiểm thử tự động cần được thực hiện cẩn thận để đảm bảo tính chính xác. Kết quả thực nghiệm cho thấy ý nghĩa của chương trình kiểm thử tự động trong việc phát hiện lỗi và cải thiện chất lượng ứng dụng web.

4.1. Cài đặt môi trường kiểm thử và cấu hình WebDriver

Để thực hiện kiểm thử tự động, cần cài đặt môi trường kiểm thử phù hợp. Môi trường kiểm thử bao gồm trình duyệt web, WebDriver, và các thư viện hỗ trợ. WebDriver cần được cấu hình đúng cách để có thể điều khiển trình duyệt một cách tự động. Cần đảm bảo rằng phiên bản WebDriver tương thích với phiên bản trình duyệt.

4.2. Xây dựng chương trình kiểm thử đăng nhập sử dụng Selenium API

Chương trình kiểm thử đăng nhập cần được xây dựng bằng cách sử dụng Selenium API. Selenium API cung cấp các hàm để tìm kiếm các thành phần trên trang web, nhập dữ liệu, và thực hiện các hành động như click vào nút. Chương trình cần được thiết kế để có thể xử lý các trường hợp đăng nhập thành công và thất bại.

4.3. Phân tích kết quả kiểm thử và đánh giá hiệu quả tự động hóa

Sau khi thực hiện kiểm thử, cần phân tích kết quả để đánh giá hiệu quả của việc tự động hóa. Kết quả cần được so sánh với kết quả kiểm thử thủ công để xác định các lỗi phát hiện được và các lỗi bỏ sót. Đánh giá hiệu quả giúp xác định các lĩnh vực cần cải thiện trong quá trình tự động hóa.

V. Kết Luận và Hướng Phát Triển Nghiên Cứu Kiểm Thử Web ĐHQGHN

Nghiên cứu này đã trình bày về kiểm thử mô hình ứng dụng web, đặc biệt là việc tự động hóa quy trình kiểm thử. Việc ứng dụng các công cụ như Selenium và WebDriver mang lại hiệu quả cao trong việc phát hiện lỗi và nâng cao chất lượng ứng dụng web. Hướng phát triển tiếp theo có thể tập trung vào việc tích hợp các kỹ thuật kiểm thử bảo mật và hiệu năng vào quy trình kiểm thử tự động.

5.1. Tổng kết các kết quả đạt được trong nghiên cứu

Nghiên cứu đã xây dựng thành công một mô hình kiểm thử tự động cho ứng dụng web, sử dụng Selenium và WebDriver. Mô hình này có khả năng tự động đăng nhập, kiểm tra các chức năng cơ bản, và ghi lại kết quả kiểm thử chi tiết. Kết quả cho thấy việc tự động hóa giúp giảm thời gian kiểm thử và tăng độ chính xác.

5.2. Đề xuất các hướng nghiên cứu tiếp theo về kiểm thử ứng dụng

Các hướng nghiên cứu tiếp theo có thể tập trung vào việc tích hợp các kỹ thuật kiểm thử bảo mật, kiểm thử hiệu năng, và kiểm thử trên các thiết bị di động. Ngoài ra, cần nghiên cứu các phương pháp để cải thiện khả năng bảo trì và mở rộng của mô hình kiểm thử tự động. Việc ứng dụng trí tuệ nhân tạo vào kiểm thử cũng là một hướng đi tiềm năng.

Trích đoạn nội dung tài liệu

ĐẶT VẤN ĐỀ 1. Lý do chọn đề tài Những năm gần đầy công nghệ thông tin đã và đang đạt được những bước phát triển tích cực, cùng với sự phát triển mạnh mẽ của cơ sở hạ tầng đặc biệt là hệ thống mạng Internet. Những ứng dụng Web phổ biến nhờ vào sự có mặt bất cứ nơi đâu của một chương trình. Khả năng cập nhật và bảo trì ứng dụng Web mà không phải phân phối và cài đặt phần mềm trên hàng ngàn máy tính là lý do chính cho sự phổ biến của nó.

Chính nhờ vào sự phổ biến trên mà các ứng dụng Web giờ đây không chỉ là những ứng dụng đơn giản nữa, mà việc xây dựng các ứng dụng Web đã trở nên phức tạp hơn rất nhiều. Các ứng dụng Web được dùng để thực hiện bán hàng trực tuyến, đấu giá trực tuyến, quản trị quan hệ khách hàng,. Tuy nhiên để triển khai được các ứng dụng Web thì có rất nhiều vấn đề sẽ phát sinh và ảnh hưởng trực tiếp đến các ứng dụng Web như: Tính bảo mật, hiệu suất, các thành phần của ứng dụng Web, giao diện, chức năng, khả năng tương thích của ứng dụng Web với trình duyệt và hệ điều hành,… Vậy để đảm bảo chất lượng các ứng dụng Web hoạt động tốt và không có bất kỳ vấn đề nào khi vận hành, thì cần phải đảm bảo tất cả các vấn đề trên đều được giải quyết một cách triệt để. Muốn làm được điều đó ta phải thực hiện “Kiểm thử ứng dụng web”, đó cũng là các bước chính đảm bảo cho toàn bộ ứng dụng web hoạt động tốt hay không.

Và sau khi thực hiện các kiểm thử chúng ta có thể tìm ra những vấn đề phát sinh lỗi để có thể giải quyết trước khi đưa ứng dụng web vào sử dụng thực tế. Hầu hết công việc kiểm thử đều thực hiện một cách thủ công, vì vậy việc kiểm thử thủ công sẽ chỉ có thể tin cậy được khi ứng dụng web nhỏ và không có nhiều chức năng, còn khi ứng dụng Web trở nên phức tạp hơn có rất nhiều chức năng thì việc kiểm thử thủ công trên không còn đáng tin cậy và khả thi nữa. Ví dụ một vài ca kiểm thử bị bỏ qua hoặc gặp phải lỗi người kiểm thử không thể biết được các hoạt động được thực hiện để ghi lại những vấn đề và lỗi đó, ngoài ra việc kiểm thử thủ công có thể tẻ nhạt và tốn thời gian (do thực hiện công việc lặp đi lặp lại, các chức năng có thể giống nhau). Chính vì vậy cần phải có một mô hình hoạt động một cách tự động để khắc phục những vấn đề gặp phải của kiểm thử thủ công.

Tuy nhiên trong thực tế để xây dựng một mô hình kiểm thử tự động không phải là công việc dễ dàng mà ngược lại nó rất khó khăn và luôn tiềm ẩn lỗi. Mặc dù mô hình hệ thống đã có sẵn và hoàn chỉnh tuy nhiên không dám khẳng định rằng hoàn toàn đúng đắn vì các ứng dụng web luôn được thay đổi thêm bớt các hành vi hoạt động. Ngoài ra còn một khó khăn nữa là khi thực hiện việc kiểm thử mà bên xây dựng ứng dụng và bên kiểm thử không phải là một nơi phát triển thì khi đó chúng ta không thể có mã nguồn và tài liệu thiết kế đầy đủ thì việc kiểm thử cũng vô cùng khó khăn.Web TIEU LUAN MOI download : [e-mail] Vì vậy, việc tìm hiểu nghiên cứu xây dựng mô hình ứng dụng web tự động không chỉ có ý nghĩa trong việc xây dựng một công cụ kiểm thử tự động mà còn mang tính thực tế cao. Do vậy, mà tôi đã quyết định chọn đề tài: “Nghiên cứu kiểm thử mô hình cho ứng dụng Web” để nghiên cứu.

Mục đích và nội dung nghiên cứu Trong nội dung của bài luận văn tôi tập trung vào việc nghiên cứu về kỹ thuật kiểm thử. Và dựa trên những kiến thức về kỹ thuật kiểm thử sẽ tìm hiểu về kiểm thử ứng dụng Web. Cuối cùng là xây dựng công cụ thực hiện việc kiểm thử tự động ứng dụng Web dựa trên công cụ mã nguồn mở Selenium và WebDriver. Cấu trúc của luận văn Các phần còn lại của luận văn có cấu trúc như sau: Chương 2 giới thiệu về khái niệm kiểm thử và các kỹ thuật kiểm thử thông thường, và cụ thể là kiểm thử hộp trắng, và kiểm thử hộp đen.

Dựa trên các kỹ thuật kiểm thử sẽ tập trung tìm hiểu về ứng dụng Web, thành phần ứng dụng Web và các kiểm thử đối với ứng dụng Web như: kiểm thử giao diện, kiểm thử chức năng, kiểm thử cơ sở dữ liệu, kiểm thử hiệu năng và kiểm thử với các thiết bị di động. Chương 3 yêu cầu bài toán về việc xây dựng công cụ kiểm thử tự động các ứng dụng Web. Thông qua việc thực hiện trường hợp kiểm thử đăng nhập vào ứng dụng Web. Công cụ kiểm thử tự động sẽ thực hiện việc đọc các trường hợp đầu vào từ tệp tin Excel, sau khi thực hiện việc kiểm thử chương trình ghi kết quả quá trình kiểm thử ra tệp tin Excel, XML và chụp ảnh màn hình để xem việc kiểm thử là thành công hay thất bại.

Và để xây dựng công cụ trên giải pháp đưa ra đó là sử dụng các hàm API được cung cấp bởi công cụ Selenium và WebDriver. Chương 4 thực hiện cài đặt ứng dụng Web và xây dựng các hàm API để thực hiện việc kiểm thử, sau khi thực hiện chương trình đưa ra những kết quả đạt được trong quá trình xây dựng công cụ kiểm thử ứng dụng Web tự động. Chương 5 là Kết luận, hướng nghiên cứu.Web TIEU LUAN MOI download : [e-mail] CHƢƠNG 2 CƠ SỞ LÝ THUYẾT 2. Các kỹ thuật kiểm thử 2.

Khái niệm kiểm thử Có rất nhiều các khái niệm khác nhau về thế nào là kiểm thử, tuy nhiên có một khái niệm về kiểm thử của (Glen Myers) được cho là tổng quát nhất: “Việc kiểm thử là quá trình thực thi một chương trình với mục đích là tìm ra lỗi. Vì vậy kiểm thử là một cách chạy các ứng dụng theo các trường hợp kiểm thử với mục tiêu: Tìm ra sai sót và giải thích sự hoạt động 2. Vòng đời và quy trình kiểm của việc kiểm thử Mục đích chính của việc kiểm thử đó là thiết kết một chuỗi các trường hợp kiểm thử mà có khả năng phát hiện được lỗi cao. Và để cho việc kiểm thử đạt được kết quả tốt nhất thì cần phải có sự chuẩn bị về kế hoạch kiểm thử, trải qua các công đoạn khác nhau đồng thời phải có những biện pháp để khắc phục khi phát hiện ra lỗi.

Vòng đời của việc kiểm thử thông thường sẽ trải qua đó là: “Mô tả yêu cầu”, “Phân tích thiết kế”, “Lập trình”, “Kiểm thử”, “Ban giao sản phẩm”. Mô hình của một đời kiểm thử: Hình 2. Vòng đời kiểm thử[3]. Từ hình vẽ trên có thể thấy rằng lỗi có thể xảy ra ở từ các giai đoạn, “Mô tả yêu cầu”, “Phân tích thiết kế”, “Lập trình”.

Và việc chuyển từ giai đoạn này sang giai đoạn khác cũng có thể phát sinh các sai sót (do dư thừa và thiếu mô tả yêu cầu).Web TIEU LUAN MOI download : [e-mail] cùng đến giai đoạn kiểm thử chúng ta sẽ phát hiện ra những sai sót và cụ thể là kết quả thu được không như mong đợi. Kiểm thử hộp trắng Kiểm thử hộp trắng (White-Box Testing) hay còn gọi là kiểm thử logic, cho phép kiểm tra cấu trúc bên trúc bên trong của ứng dụng với mục đích đảm bảo rằng tất cả các câu lệnh và điều kiện sẽ được thực thi ít nhất một lần. Kiểm thử hộp trắng đúng nghĩa là kiểm thử hộp trong suốt, vì vậy mà kiểm thử hộp trắng còn được gọi bằng một số tên khác đó là kiểm thử hộp thủy tinh (Glass-Box Testing) hay kiểm thử trong suốt (Clear-Box Testing). Người kiểm thử truy cập vào mã nguồn chương trình để kiểm tra và lấy nó làm cơ sở cho việc kiểm thử.

Và việc kiểm thử này dựa trên quá trình thực hiện xây dựng chương trình ứng dụng. Kiểm thử hộp trắng còn là phương pháp kiểm thử dựa vào cấu trúc/mã lệnh của chương trình. Phương pháp này cho phép kiểm thử một chương trình (một phần chương trình, hay một hệ thống, một phần của hệ thống) đáp ứng tất cả các giá trị đầu vào bao gồm cả các giá trị không đúng hay không theo dự kiến của chương trình. Khi nói đến vần đề kiểm thử hộp trắng cần quan tâm đến vấn đề đường dẫn lệnh trong kỹ thuật hay phương pháp này.

Nếu phải thực hiện tất cả các đường dẫn của đồ thị điều khiển trong chương trình thông quan việc chạy tất cả các trường hợp kiểm thử thì có thể nói rằng chương trình đã được kiểm thử một cách triệt để. Tuy nhiên, điều đó là không thể thực hiện được vì số đường dẫn logic khác nhau trong một chương trình là rất lớn. Ngoài những điều kiện không khả thi trên, chương trình còn có thể có rất nhiều lỗi do các nguyên nhân khác gây ra.Và đây chính là nhược điểm của phương pháp kỹ thuật kiểm thử hộp trắng. - Việc kiểm thử bằng kỹ thuật hộp trắng không thể đảm bảo rằng chương trình đã tuân theo đặc tả.

- Một chương trình bị sai do thiếu đường dẫn, việc kiểm thử hộp trắng không thể biết được sự thiếu sót này. - Việc kiểm thử bằng kỹ thuật hộp trắng không thể phát hiện được lỗi do dữ liệu gây ra. Như vậy nếu chỉ dùng kỹ thuật kiểm thử hộp trắng đế thực hiện việc kiểm thử là không đủ để phát hiện các lỗi. Vì vậy để thiết kế các trường hợp kiểm thử để cho việc kiểm thử triệt để thì cần phải kết hợp với kiểm thử hộp đen (Black-Box Testing).Web TIEU LUAN MOI download : skknchat@gmail.

Sơ đồ khối chu trình điều khiển. a) Kiểm thử theo đƣờng dẫn Kiểm thử đường dẫn (Basic Path Testing) là một kỹ thuật kiểm thử hộp trắng. Phương pháp kiểm thử theo đường dẫn cho phép người thiết kế trường hợp kiểm thử thực hiện phép đo độ phức tạp logic của thiết kế thủ tục và sử dụng phép đo này như một chỉ dẫn cho việc thiết kế một tập cơ sở các đường dẫn thực hiện. Các trường hợp kiểm thử đó được đảm bảo để thực hiện mỗi lệnh trong chương trình ít nhất một lần trong quá trình kiểm thử.

Đồ thị luồng Trong thực tế phương pháp kiểm thử đường dẫn có thể được dùng mà không cần đồ thị luồng (Flow Graph). Tuy nhiên, đồ thị luồng là một công cụ hữu ích để hiểu được luồng điều khiển và minh họa phương pháp tiếp cận.