ISTQB - Chương 4 - Mục 4.3.3 - Kiểm thử chuyển đổi trạng thái - Phần 2/2

Kiểm thử cho các chuyển đổi không hợp lệ

Chuyển hóa các bài kiểm thử chỉ từ một đồ thị  trạng thái (còn được gọi là biểu đồ trạng thái) là rất tốt để xem các chuyển đổi hợp lệ, nhưng chúng ta có thể không dễ dàng nhận thấy các kiểm thử tiêu cực, nơi chúng ta cố gắng tạora  các chuyển đổi không hợp lệ. Để xem tổng số kết hợp của các trạng thái và chuyển tiếp (cả hợp lệ và không hợp lệ), một bảng trạng thái là hữu ích.

Bảng trạng thái liệt kê tất cả các trạng thái ở một bên của bảng và tất cả các sự kiện gây ra chuyển đổi dọc theo đầu (hoặc ngược lại). Sau đó, mỗi ô đại diện cho một cặp trạng thái-sự kiện. Nội dung của mỗi ô cho biết hệ thống sẽ chuyển sang trạng thái nào, thời điểm xảy ra sự kiện tương ứng khi ở trạng thái liên kết. Điều này sẽ bao gồm các sự kiện sai lầm có thể xảy ra  (các sự kiện không được mong đợi sẽ xảy ra ở một số trạng thái nhất định). Đây là những điều kiện kiểm thử tiêu cực.

Bảng 4.9 liệt kê các trạng thái trong cột đầu tiên và các đầu vào khả dĩ ở hàng trên cùng. Vì vậy, ví dụ: nếu hệ thống đang ở Trạng thái 1, việc cắm thẻ sẽ chuyển sang Trạng thái 2. Nếu đang ở Trạng thái 2 và nhập mã PIN hợp lệ, chúng ta sẽ chuyển sang Trạng thái 6 để truy cập tài khoản. Ở Trạng thái 2 nếu nhập mã PIN không hợp lệ, chúng ta sẽ chuyển sang Trạng thái 3. Chúng ta đã đặt dấu gạch ngang vào các ô không thể thực hiện được, tức là chúng biểu thị các chuyển đổi không hợp lệ từ trạng thái đó. Đặt dấu chấm hỏi cho hai ô, nơi nhập mã PIN hợp lệ hoặc không hợp lệ khi truy cập tài khoản. Có lẽ hệ thống sẽ lấy số PIN của chúng ta làm số tiền mặt để rút? Nó có thể là một thử nghiệm tốt! Hầu hết các ô không hợp lệ khác sẽ không thể thực hiện được trong ví dụ này.

Các kiểm thử không hợp lệ (tiêu cực) sẽ cố gắng tạo ra các chuyển đổi không hợp lệ, các chuyển đổi không thể thực hiện được (nhưng thường tạo ra các kiểm thử tốt khi chúng có thể thực hiện được). Mô tả chi tiết hơn về các máy trạng thái được tìm thấy trong [Marick, 1994]. Kiểm thử chuyển đổi trạng thái cũng được mô tả trong [Craig, 2002], [Copeland, 2003], [Beizer, 1990] và [Broekman, 2003]. Kiểm thử chuyển đổi trạng thái được mô tả trong BS7925-2, bao gồm các kiểm thử  thiết kế và đo lường độ bao phủ.