Thực nghiệm

Một phần của tài liệu Nghiên cứu về kiểm thử dựa trên mô hình và ứng dụng (Trang 45)

Sau đây, chúng tôi sẽ áp dụng công cụ kiểm thử tự động cho ứng dụng Web Quản lý thông tin cán bộ. Đây là một ứng dụng quản lý các thông tin cơ bản của cán bộ chiến sĩ công an Hà Nội. Ứng dụng Web này có cấu trúc các trang Web như Hình 4.6:

Hình 4.6. Ứng dụng Web quản lý thông tin cán bộ. Theo Hình 4.6 ứng dụng Web này bao gồm các trang:

- Đăng nhập: Trang thực hiện việc đăng nhập vào ứng dụng Web. Ứng

dụng này được xây dựng cho hai loại người dùng, với mỗi loại sẽ dẫn đến một giao diện chức năng tương ứng. Hình 4.7 là giao diện đăng nhập của hệ thống.

Hình 4.7. Giao diện trang đăng nhập

- Quản trị: Trang Web với các chức năng của người dùng là người

quản trị hệ thống. Trên thực tế, người quản trị có rất nhiều chức năng như: quản trị người dùng, quản trị danh mục, thiết lập hệ thống, v.v. Bởi vậy, ở luận văn này chúng tôi giả sử người quản trị chỉ thực hiện

một chức năng về quản lý người dùng (trang Danh sách User). Hình

4.8 là giao diện trang Web với người dùng là người quản trị hệ thống.

Hình 4.8. Giao diện các chức năng của người quản trị hệ thống.

- Danh sách User: Trang Web hiển thị danh sách người sử dụng hệ

thống, cho phép người quản trị hệ thống thực hiện các chức năng như: thêm mới người dùng, sửa và xóa người dùng. Hình 4.9 là giao diện quản lý người dùng.

Hình 4.9. Trang quản lý người dùng

-Quản lý TTCB (Quản lý thông tin cán bộ): Trang Web với các chức

-Tìm kiếm TTCB (Tìm kiếm thông tin cán bộ): Trang Web cho phép

người dùng tìm kiếm cán bộ. Hình 4.10 là giao diện cho phép người dùng tìm kiếm thông tin cán bộ.

Hình 4.10. Giao diện trang tìm kiếm cán bộ

-Thêm mới TTCB (thêm mới thông tin cán bộ): Trang Web có chức

năng thêm mới cán bộ. Hình 4.11 là giao diện trang thêm mới thông tin cán bộ.

Hình 4.11. Trang thêm mới thông tin cán bộ

-Cập nhật TTCB (Cập nhật thông tin cán bộ): Trang Web cho phép

người dùng cập nhật thông tin cán bộ. Hình 4.12 là giao diện của trang Web này.

Hình 4.12. Trang cập nhật thông tin cán bộ

Từ các giao diện của các trang Web trên, chúng tôi xác định các phần tử Web, các hành vi tương tác giao diện của người dùng lên từng trang Web. Tiếp theo, chúng tôi xây dựng các trạng thái và hàm chuyển trạng thái thông qua các phần tử Web, các hành vi tương tác giao diện. Cuối cùng, chúng ta sẽ xây dựng ôtômát hữu hạn trạng thái cho mỗi trang Web và biểu diễn chúng dưới dạng các tệp tin Excel. Hình 4.13 là thư mục chứa các bản đặc tả tương tác giao diện của ứng dụng Web quản lý thông tin cán bộ. Thư mục này gồm 6 tệp tin Excel đặc tả tương tác giao diện của 6 trang Web: (1) Trang đăng nhập - trang Web được

chọn làm mốc 1-login.xls, (2) Trang giao diện các chức năng của người quản lý cán bộ 2-canbo.xls, (3) Trang tìm kiếm cán bộ 3-canbo_timkiem.xls, (4) Trang thêm mới cán bộ 4-canbo_themmoi.xls, (5) Trang cập nhật thông tin cán bộ 5-

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ộ

Để kiểm thử tự động ứng dụng Web Quản lý thông tin cán bộ, chúng tôi chọn đầu vào cho công cụ kiểm thử tự động tương tác giao diện Web gồm: địa chỉ của ứng dụng Web và thư mục chứa các tệp tin đặc tả. Hình 4.14 là giao diện công cụ đã được chọn đầu vào. Trong giao diện này, đường dẫn ứng dụng Web Quản lý thông tin cán bộ là http://localhost:8086 và thư mục các tệp tin đặc tả được chọn là thư mục trong hình 4.13.

Hình 4.14. Giao diện của công cụ

Sau khi nhập dữ liệu đầu vào, công cụ sẽ thực hiện đọc các tệp tin đầu vào và tiến hành mô hình hóa hệ thống để tạo ra các ôtômát hữu hạn trạng thái tương ứng. Tiếp theo, công cụ sẽ thực hiện thuật toán ghép nối như đã trình bày ở chương 3 để tạo ra ôtômát hữu hạn trạng thái cho toàn ứng dụng. Từ mô hình này, thực hiện thuật toán sinh các đường dẫn kiểm thử để sinh ra các ca kiểm thử một cách tự động. Kết quả công cụ đã sinh ra 62 đường dẫn kiểm thử. Các đường dẫn này được đảm bảo sẽ bao phủ hết mọi trường hợp tương tác giao diện người dùng như đã mô tả trong các tệp tin đặc tả. Hình 4.15 liệt kê một số đường dẫn kiểm thử được sinh ra sau khi thực hiện kiểm thử hệ thống Quản lý thông tin cán bộ (6/62).

Hinh 4.15. Các đường dẫn kiểm thử được sinh tự động

Với các đường dẫn kiểm thử được sinh ra, công cụ sử dụng Selenium WebDriver để kết nối với các trình duyệt Web và tiến hành chạy các đường dẫn kiểm thử đó. Quá trình thực hiện kiểm thử được thực hiện thông qua các đường dẫn kiểm thử. Các đường dẫn kiểm thử này được coi như các kịch bản đầu vào cho công cụ Selenium. Với kịch bản đã có, công cụ Selenium sử dụng các API như đã trình bày ở phần trước để tiến hành kết nối đến trình duyệt. Cùng với sự hỗ trợ của Jsoup trong việc phân tích mã nguồn nhằm giúp Selenium tìm kiếm các phần tử Web thông qua định danh, tên hoặc các thuộc tính khác để xác định phần tử Web. (adsbygoogle = window.adsbygoogle || []).push({});

Sau khi thực hiện kiểm thử ứng dụng Web bằng công cụ kiểm thử tự động tương tác giao diện Web, kết quả thực hiện sẽ được xuất ra một tệp tin Excel. Nội dung tệp tin cho người dùng biết chi tiết về các ca kiểm thử bao gồm: các đường dẫn kiểm thử, kết quả của đường dẫn kiểm thử đó và nếu đường dẫn đó không thực hiện thành công thì chỉ ra nguyên nhân. Hình 4.16 là một số kết quả sau khi thực hiện các đường dẫn kiểm thử trong tệp tin đầu ra. Sau khi thực hiện 62 đường dẫn kiểm thử trên ứng dụng Web Quản lý thông tin cán bộ, đã tìm ra được 6 lỗi lập trình liên quan đến tương tác giao diện người dù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

Một phần của tài liệu Nghiên cứu về kiểm thử dựa trên mô hình và ứng dụng (Trang 45)