Đặt vấn đề bài toán. 44 LUAN VAN CHAT LUONG download : add luanvanchat@agmail. Phân tích bài toán. Thỏa thuận khi sử dụng công cụ.
Xây dựng công cụ. Ứng dụng công cụ vào thực tế. Ứng dụng vào form thành viên đăng nhập. Ứng dụng vào form đăng ký nhận bản tin.
Đánh giá ưu nhược điểm của công cụ. 60 CHƢƠNG 4 KẾT LUẬN. Tóm tắt kết quả làm được. Hướng nghiên cứu.
61 TÀI LIỆU THAM KHẢO. 63 Phụ lục 1: Kết quả sau khi thực hiện kiểm thử form thành viên đăng nhập. 63 Phụ lục 2: Kết quả sau khi thực hiện kiểm thử form đăng ký nhận bản tin. 64 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 5 DANH SÁCH CÁC KÝ HIỆU VÀ CHỮ VIẾT TẮT API Application Programming Interface, giao diện lập trình ứng dụng.
C-S Client-Server, máy khách – máy chủ. CSS Cascading Style Sheets, là ngôn ngữ được dùng để miêu tả cách trình bày các tài liệu viết bằng ngôn ngữ HTML và XHTML. HTML Hypertext Markup Language, ngôn ngữ đánh dấu tạo website. HTTP HyperText Transfer Protocol - Giao thức truyền tải siêu văn bản được dùng để trao đổi giữa máy khách và máy chủ ứng dụng Web.
HTTPS Hypertext Transfer Protocol Secure, là sự kết hợp giữa giao thức HTTP và giao thức bảo mật SSL hay TLS cho phép trao đổi thông tin một cách bảo mật trên Internet. STT Số thứ tự TDD Testing Driven Development, kỹ thuật phát triển phần mềm dựa trên kiểm thử. URL Uniform Resource Locator, đường dẫn tham chiếu tới tài nguyên trên Internet. LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 6 DANH MỤC CÁC BẢNG Bảng 1.
Các điều kiện con kết hợp trong câu lệnh điều kiện. Một số lỗi thường gặp trên ứng dụng Web. Minh họa một số quy ước về lập trình của Microsoft. Hàm và từ khóa thường dùng của Selenium WebDriver.
Một số điều kiện đầu vào với input trong ứng dụng Web. Một số dữ liệu đầu vào mẫu cho input ngày tháng Việt Nam. Kết quả thực hiện kiểm thử bằng công cụ kiểm thử tự động với form đăng ký nhận bản tin. 59 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 7 DANH MỤC CÁC HÌNH VẼ, ĐỒ THỊ Hình 1.
Mã nguồn minh họa Driver và Stub. Kiểm thử hồi quy được thực hiện tại các mức kiểm thử khác nhau. Các câu lệnh tuần tự có bất thường loại 1. Câu lệnh có bất thường loại 2.
Sơ đồ chuyển trạng thái của một biến tương ứng với những bất thường về dòng dữ liệu. Các biểu tượng xây dựng đồ thị dòng điều khiển. Mã nguồn tính tổng các số từ 1 đến 9. Đồ thị dòng điều khiển của mã nguồn hình 1.
Ví dụ mã nguồn hàm ReturnAverage. Đồ thị dòng dữ liệu minh họa hàm ReturnAverage. Giao diện Fxcop. Mã nguồn được phân tích bởi Fxcop.
Kết quả phân tích từ Fxcop. Giao diện công cụ JSLint. Mã nguồn được phân tích bởi JSLint. Kết quả phân tích từ JSLint.
Giao diện Browser Shots. Giao diện người dùng trên các trình duyệt khác nhau. Giao diện Selenium IDE. Các thao tác xử lý được Selenium IDE ghi lại.
Mã HTML của ca kiểm thử được Selenium IDE lưu lại. Giao diện công cụ loader. Kết quả khi thực thi kiểm thử với loader. Form thêm người dùng trên ứng dụng Web.
Minh họa hộp thông báo đăng nhập thành công. Minh họa dòng thông báo từ ứng dụng Web đến người dùng. 46 LUAN VAN CHAT LUONG download : add luanvanchat@agmail. Các dữ liệu mẫu sinh ra từ kỹ thuật kiểm thử giá trị biên mạnh.
Giao diện công cụ kiểm thử tự động. Thêm ô textbox chứa input. Lựa chọn các điều kiện cần kiểm thử của input. Lỗi xuất hiện được thông báo cho kiểm thử viên.
Kiểm tra tính hợp lệ của điều kiện của độ dài tối thiểu và tối đa. Thông báo không tìm thấy phần tử có id như đã nhập. Điều kiện và giá trị được sinh ra khi lựa chọn điều kiện cho input. Mã nguồn hàm ngẫu nhiên sinh ra chuỗi ký tự có độ dài là.
53 tham số truyền vào. Kết quả sau khi thực hiện kiểm thử form. Giao diện form thành viên đăng nhập. Thông báo không được bỏ trống tên đăng nhập.
Thông báo tên đăng nhập không được nhỏ hơn 6 ký tự. Thông báo sai tên đăng nhập hoặc mật khẩu. Lấy id của input. Điền thông tin form thành viên đăng nhập vào công cụ.
Chọn điều kiện cho các input. Kết quả kiểm thử form thành viên đăng nhập. Giao diện form đăng ký nhận bản tin. Thông báo không được bỏ trống email.
Thông báo nhập sai định dạng email. Điền thông tin form đăng ký nhận bản tin vào công cụ. Chọn điều kiện cho input email. 59 LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 9 LỜI GIỚI THIỆU Với sự phát triển của Internet và công nghệ phần mềm, các ứng dụng Web đang dần thay thế các ứng dụng phần mềm truyền thống bởi tính tiện lợi của nó.
Đi kèm với thành công mà những ứng dụng Web mang lại cho nhà phát triển đó là những thách thức như phải đảm bảo và nâng cao chất lượng cho người dùng khi sử dụng dịch vụ. Một trong những giải pháp để hoàn thành tốt công việc này đó là thực hiện kiểm thử phần mềm. Kiểm thử là một công việc tốn nhiều thời gian và chi phí, thông thường thời gian dành cho việc kiểm thử chiếm đa số thời gian phát triển ứng dụng phần mềm. Tuy nhiên, để thực hiện kiểm thử đòi hỏi kiểm thử viên phải kiên nhẫn và tỉ mỉ, chính những điều này dẫn tới sự cần thiết của kiểm thử tự động.
Kiểm thử tự động sẽ thực hiện tự động các ca kiểm thử theo một kịch bản cho sẵn hoặc tự nó sinh ra. Những lợi ích của các công cụ kiểm thử tự động mang lại là rất lớn tuy nhiên các tài liệu về kiểm thử tự động được viết bằng tiếng Việt lại còn rất hạn chế. Xuất phát từ thực tế đó và được sự gợi ý của giảng viên hướng dẫn, tôi lựa chọn đề tài luận văn “Nghiên cứu và xây dựng công cụ kiểm thử ứng dụng Web” với mong muốn mang lại cho người đọc một tài liệu hỗ trợ hữu ích trước khi quyết định sử dụng kiểm thử tự động cho ứng dụng Web của mình. Luận văn đƣợc cấu trúc thành bốn chƣơng: Chương một sẽ trình bày các tìm hiểu về kiểm thử phần mềm như các khái niệm cơ bản về kiểm thử, các mức kiểm thử, ca kiểm thử, các kỹ thuật kiểm thử tĩnh và động.
Chương một cũng sẽ đưa ra khái niệm về ứng dụng Web, phân biệt ứng dụng Web với ứng dụng máy khách – máy chủ và các loại kiểm thử cần chú trọng cho ứng dụng Web. Chương hai sẽ giới thiệu các công cụ kiểm thử tự động phổ biến hiện nay dành cho ứng dụng Web, ngoài việc cung cấp thông tin và cách sử dụng từng công cụ, luận văn còn phân tích ưu nhược điểm của các công cụ giúp người đọc có một gợi ý trước khi lựa chọn công cụ phù hợp cho ứng dụng cần kiểm thử. Xuất phát trên thực tế, mỗi ứng dụng Web đều có những yêu cầu đặc thù riêng biệt nên việc sử dụng các công cụ kiểm thử tự động đã có sẵn có thể không thỏa mãn hoặc phù hợp với việc kiểm thử các ứng dụng này. Luận văn cũng giới thiệu một nền tảng hỗ trợ xây dựng công cụ kiểm thử tự động nhằm giúp người đọc có thể lựa chọn nền tảng giúp tự tạo công cụ kiểm thử cho phù hợp với nhu cầu của mình.
Trong ứng dụng Web, việc kiểm tra tính hợp lệ của các dữ liệu đầu vào là rất quan trọng do dữ liệu đầu vào không chỉ yêu cầu phải đúng kiểu dữ liệu mà còn đòi LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 10 hỏi phải đúng định dạng của loại dữ liệu đó. Do đó, ứng dụng Web cần phải có khả năng kiểm tra tính hợp lệ của dữ liệu đầu vào một cách hiệu quả thì các tiến trình xử lý tiếp theo mới được đảm bảo hoạt động tốt. Một vấn đề nữa là hiện nay có rất nhiều công cụ hỗ trợ cho việc kiểm thử tự động ứng dụng Web, tuy nhiên hầu hết các công cụ chỉ hỗ trợ cho việc thực thi tự động các ca kiểm thử còn việc thiết kế các ca kiểm thử lại rất hạn chế. Chương ba sẽ trình bày về ý tưởng, phân tích và xây dựng công cụ kiểm thử tự động nhằm đánh giá khả năng kiểm tra tính hợp lệ dữ liệu đầu vào của ứng dụng Web.
Công cụ được đề xuất có khả năng tự sinh ca kiểm thử, thực thi và lưu lại kết quả kiểm thử. Ngoài ra chương này cũng minh họa áp dụng công cụ trong thực tế và đánh giá ưu nhược điểm của công cụ cùng hướng phát triển. Chương bốn sẽ đưa kết luận về các nội dung đạt được trong luận văn, các mặt hạn chế và hướng phát triển trong thời gian tới của luận văn. LUAN VAN CHAT LUONG download : add luanvanchat@agmail.com 11 CHƢƠNG 1 TỔNG QUAN VỀ KIỂM THỬ PHẦN MỀM 1.
Các khái niệm cơ bản 1. Khái niệm kiểm thử phần mềm Kiểm thử phần mềm là công việc được thực hiện nhằm tìm ra lỗi, thiếu sót của phần mềm hoặc chứng minh phần mềm hoạt động đúng đắn. Kiểm thử phần mềm có vai trò rất quan trọng trong việc cải thiện chất lượng phần mềm [4, tr.655-657] và làm giảm chi phí kiểm thử cũng như khắc phục lỗi. Kiểm thử phần mềm sử dụng quy trình kiểm chứng và thẩm định chất lượng phần mềm trong quá trình thực hiện việc kiểm thử.
Quy trình kiểm chứng sẽ đảm bảo rằng phần mềm khi được phát triển sẽ đúng với đặc tả của nó và quy trình thẩm định thì sẽ đảm bảo rằng phần mềm thỏa mãn được yêu cầu của người dùng cuối. Quy trình kiểm chứng sẽ được thực hiện trước quy trình thẩm định do sản phẩm phần mềm cần đúng với đặc tả trước. Nếu thực hiện quy trình thẩm định trước quy trình đặc tả, nếu xảy ra lỗi, rất khó có thể xác định lỗi này là do đặc tả sai hay do lập trình sai so với đặc tả. Tuy nhiên, thẩm định nếu được thực hiện quá muộn thì khi phát hiện ra lỗi hoặc thiếu sót sẽ kéo theo chi phí khắc phục lỗi tăng đồng thời khiến thời gian hoàn thiện phần mềm kéo dài.
Vì vậy, quy trình thẩm định nên được thực hiện sớm để góp phần làm giảm chi phí cũng như thời gian phát triển sản phẩm phần mềm. Trong phương pháp phát triển phần mềm Agile [4, tr.