Các mô hình khác nhau trong kiểm thử

Chương 2 Sinh đầu vào kiểm thử tự động

2.2. Phương pháp dựa trên mô hình (Model based Testing)

2.2.3. Các mô hình khác nhau trong kiểm thử

Để có thể hiểu được kiểm thử dựa trên mô hình, chúng ta cần phải hiểu được mô ̣t số mô hı̀nh sẽđược trı̀nh bày dưới đây [20].

2.2.3.1. Máy trạng thái hữu hạn

Mô hình này giúp kiểm thử viên đánh giá kết quả phu ̣ thuô ̣c vào dữ liê ̣u đầu vào

được lựa cho ̣n. Có thể có sự kết hợp khác nhau của đầu vào dẫn tới các kết quả trong các tra ̣ng thái tương ứng của hê ̣ thống.

Hệ thống sẽ có trạng thái cu ̣ thể và tra ̣ng thái hiê ̣n ta ̣i được điều chı̉nh bởi bô ̣ dữ

liê ̣u vào được đưa ra bởi kiểm thử viên.

Hı̀nh 2.8: Biểu đồ tra ̣ng thái đăng nhâ ̣p hê ̣ thống Hãy cùng xem xét mô ̣t vı́ du ̣:

Có mô ̣t hê ̣ thống cho phép nhân viên đăng nhập vào ứng dụng. Bây giờ tra ̣ng thái hiê ̣n ta ̣i của nhân viên là “Out” và nó sẽ trở thành “In” mô ̣t khi nhân viên đóđăng nhâ ̣p vào hệ thống. Khi ở trong tra ̣ng thái “In”, nhân viên có thể xem, in, quét tài liê ̣u trong hê ̣ thống.

2.2.3.2. Biểu đồ trạng thái

Nó là mô ̣t phần mở rô ̣ng của máy hữu ha ̣n tra ̣ng thái và có thể được sử du ̣ng cho các hệ thống thời gian thực và phức ta ̣p. Biểu đồ tra ̣ng thái được sử du ̣ng để mô tả các hành vi khác nhau của hệ thống. Nó xác đi ̣nh mô ̣t số lượng tra ̣ng thái. Các 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 của mỗi tra ̣ng thái.

Hı̀nh 2.9: Mô hình biểu đồ tra ̣ng thái hê ̣ thống quản lý lỗi

Hệ thống Đăng nhập Thoát ra Người dùng nhập ID và mật khẩu Thoát ra Trạng thái lỗi Mới Đã sửa Mở lại Thông báo Thông báo Thông báo Trạng thái Sự kiện

Mô ̣t vı́ du ̣: Các lỗi được đưa lên một công cu ̣ quản lý lỗi với tra ̣ng thái là “Mới”. Một khi lỗi được sửa bởi lâ ̣p trı̀nh viên, nó sẽ được chuyển tra ̣ng thái sang “Fixed”. Nếu lỗi vẫn chưa được sửa, tra ̣ng thái của nó sẽ chuyển sang “Re-open”. Biểu đồ tra ̣ng thái nên được thiết kế theo cách mà mỗi sự kiê ̣n được go ̣i cho mỗi tra ̣ng thái.

2.2.3.3. Ngôn ngữ mô hình hóa 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 theo mu ̣c đı́ch chuẩn hóa chung. UML bao gồm một tâ ̣p hợp các kỹ thuâ ̣t ký hiê ̣u đồ họa để ta ̣o ra các mô hı̀nh trực quan có thể mô tả hành vi rất phức ta ̣p của hê ̣ thống.

UML có các ký hiê ̣u như:

- Các hoa ̣t động - Các nhân tố

- Quy trı̀nh nghiê ̣p vu ̣

- Các thành phần - Ngôn ngữ lâ ̣p trı̀nh