Thử nghiệm dựa trên mô hình là gì?
Thử nghiệm dựa trên mô hình là gì?
Kiểm thử dựa trên mô hình là một kỹ thuật kiểm thử phần mềm trong đó hành vi trong thời gian chạy của phần mềm đang được kiểm thử được kiểm tra dựa trên các dự đoán do mô hình đưa ra. Mô hình là sự mô tả hành vi của hệ thống. Hành vi có thể được mô tả dưới dạng trình tự đầu vào, hành động, điều kiện, đầu ra và luồng dữ liệu từ đầu vào đến đầu ra. Nó phải dễ hiểu trên thực tế và có thể tái sử dụng được; có thể chia sẻ phải có mô tả chính xác về hệ thống đang được thử nghiệm.
Có rất nhiều mô hình có sẵn và nó mô tả các khía cạnh khác nhau của hành vi hệ thống. Ví dụ về mô hình là:
- Dòng dữ liệu
- Kiểm soát dòng chảy
- Đồ thị phụ thuộc
- Bảng Quyết định
- Máy chuyển trạng thái
Kiểm thử dựa trên mô hình mô tả cách hệ thống hoạt động để phản ứng với một hành động (được xác định bởi một mô hình). Cung cấp hành động và xem liệu hệ thống có phản hồi như mong đợi hay không.
Đây là một phương pháp hình thức nhẹ nhàng để xác nhận một hệ thống. Thử nghiệm này có thể được áp dụng cho cả thử nghiệm phần cứng và phần mềm.
Ví dụ về thử nghiệm dựa trên mô hình
Mô hình trên giải thích cách tiếp cận đơn giản hóa việc viết thơ bằng notepad và các hành động có thể thực hiện được liên quan đến từng bước. Đối với mỗi hành động (như bắt đầu, Nhập thơ, Tiết kiệm), Trường hợp thử nghiệm có thể được tạo ra và đầu ra có thể được xác minh.
Các loại MBT
Có hai loại khung thử nghiệm dựa trên Mô hình-
- Ngoại tuyến / ưu tiên: Tạo Bộ thử nghiệm trước khi thực thi nó. Một bộ thử nghiệm không là gì ngoài một tập hợp các trường hợp thử nghiệm.
- Trực tuyến / nhanh chóng: Tạo Bộ thử nghiệm trong quá trình thực hiện thử nghiệm
Các mô hình khác nhau trong thử nghiệm
Để hiểu MBT, cần phải hiểu một số mô hình được giải thích dưới đây. Chúng ta hãy đi qua từng cái một:
Máy trạng thái hữu hạn
Mô hình này giúp người thử nghiệm đánh giá kết quả tùy thuộc vào đầu vào được chọn. Sự kết hợp khác nhau của các đầu vào có thể dẫn đến trạng thái tương ứng của hệ thống.
Hệ thống sẽ có trạng thái cụ thể và trạng thái hiện tại, được điều chỉnh bởi một tập hợp đầu vào do người kiểm tra đưa ra.
Hãy xem xét ví dụ-
Có hệ thống cho phép nhân viên đăng nhập vào ứng dụng. Bây giờ, trạng thái hiện tại của nhân viên là "Ra ngoài" và nó trở thành "Vào" sau khi anh ta đăng nhập vào hệ thống. Ở trạng thái “in”, nhân viên có thể xem, in và quét tài liệu trong hệ thống.
Biểu đồ bang
Đây là phần mở rộng của máy trạng thái hữu hạn và có thể được sử dụng cho các hệ thống phức tạp và thời gian thực. Biểu đồ trạng thái được sử dụng để mô tả các hành vi khác nhau của hệ thống. Nó có một số lượng trạng thái nhất định. Hành vi của hệ thống được phân tích và biểu diễn dưới dạng các sự kiện cho mỗi trạng thái.
Ví dụ -
Các lỗi được nêu ra trong công cụ quản lý lỗi với trạng thái Mới. Sau khi được nhà phát triển sửa, nó phải được thay đổi thành trạng thái Đã sửa. Nếu lỗi chưa được khắc phục, hãy thay đổi trạng thái thành Mở lại. Biểu đồ trạng thái phải được thiết kế theo cách có thể gọi một sự kiện cho mỗi trạng thái.
Ngôn ngữ mô hình thống nhất (UML)
Ngôn ngữ mô hình thống nhất (UML) là một ngôn ngữ mô hình hóa đa năng được tiêu chuẩn hóa. UML bao gồm một tập hợp các kỹ thuật ký hiệu đồ họa để tạo ra các mô hình trực quan có thể mô tả hành vi rất phức tạp của hệ thống.
UML có các ký hiệu như:
- Hoạt động
- Diễn viên
- Quy trình kinh doanh
- Các thành phần
- Ngôn ngữ lập trình
Những thách thức của thử nghiệm dựa trên mô hình
Việc triển khai MBT trong mọi tổ chức rõ ràng đòi hỏi một lượng đầu tư và nỗ lực lớn. Sau đây là những nhược điểm của MBT trong Kỹ thuật phần mềm.
- Những kỹ năng cần thiết cần có ở người kiểm thử
- Thời gian học tập sẽ nhiều hơn
- Khó hiểu chính mô hình
Ưu điểm của thử nghiệm mô hình
Sau đây là những lợi ích của MBT:
- Bảo trì trường hợp/bộ thử nghiệm dễ dàng
- Giảm chi phí
- Phạm vi kiểm tra được cải thiện
- Có thể chạy các thử nghiệm khác nhau trên n số máy
- Phát hiện khuyết tật sớm
- Tăng số lượng lỗi
- Tiết kiệm thời gian
- Cải thiện sự hài lòng trong công việc của người thử nghiệm
Kết luận
Dù sao thì người thử nghiệm cũng xây dựng các mô hình tinh thần trong quá trình thử nghiệm của họ. Những mô hình tinh thần đó có thể được chuyển thành mô hình trên giấy. Điều này giúp người thử nghiệm đạt được khả năng đọc và tái sử dụng.
Kiểm thử dựa trên mô hình là một cách tiếp cận mới để kiểm thử phần mềm. Sự phát triển của Kiểm thử phần mềm được hiển thị bên dưới -