Kiểm thử chuyển trạng thái (State Transition): thiết kế test case cho giao dịch ví điện tử (có trắc nghiệm)

1. Tóm tắt nhanh & màn hình bạn sẽ test

Kiểm thử chuyển trạng thái (state transition testing) là kỹ thuật thiết kế ca bạn sẽ dùng rất nhiều khi đối tượng có 'vòng đời' rõ ràng: giao dịch, đơn hàng, hồ sơ vay, tài khoản. Thay vì chỉ kiểm từng màn hình rời rạc, bạn nhìn hệ thống như một máy trạng thái và hỏi: 'từ trạng thái này, sự kiện nào được phép, và nó dẫn tới đâu?'. Trong bài, ta bước vào một màn hình giao dịch ví điện tử thật và làm từng bước như một tester đi làm, có mockup giao diện, ví dụ thật và trắc nghiệm cuối bài.

2. Máy trạng thái trông như thế nào

Một máy trạng thái gồm ba thứ: các trạng thái (những 'chặng' mà đối tượng có thể ở), các sự kiện (hành động/tín hiệu làm nó thay đổi), và các chuyển tiếp (mũi tên nối trạng thái nguồn tới trạng thái đích qua một sự kiện). Vẽ ra sơ đồ, bạn thấy ngay đường đi hợp lệ và những đường KHÔNG được phép đi.

Điểm mạnh của kỹ thuật là nó tách 'điều được phép' khỏi 'điều bị cấm' một cách tường minh. Mỗi mũi tên trên sơ đồ là một chuyển tiếp hợp lệ cần được xác nhận hoạt động đúng; mỗi cặp trạng thái–sự kiện KHÔNG có mũi tên là một chuyển tiếp bất hợp lệ cần được xác nhận là bị chặn. Nhờ đó bạn phủ cả hai mặt: hệ thống làm đúng điều nên làm, và từ chối điều không nên.

3. Vì sao quan trọng ở dự án ví điện tử / fintech

Ở ví điện tử, mỗi giao dịch đụng trực tiếp tới tiền thật. Nếu một giao dịch nhảy sai trạng thái — ví dụ đã FAILED mà vẫn hoàn tiền, hay đã SUCCESS mà quay lại PENDING rồi trừ tiền lần nữa — hậu quả là mất tiền, sai sổ sách, hoặc khách bị trừ trùng. Đây là loại lỗi mà một lần lọt ra production có thể tốn hàng trăm triệu và làm mất niềm tin người dùng.

Các luồng này còn phải khớp với đối soát (reconciliation) hằng ngày với ngân hàng và đối tác cổng thanh toán. Một trạng thái sai không chỉ là lỗi phần mềm mà còn làm lệch số liệu tài chính, kéo theo rủi ro tuân thủ. Vì thế, chứng minh 'mọi chuyển tiếp hợp lệ đều đúng và mọi chuyển tiếp cấm đều bị chặn' là một phần bắt buộc của chất lượng, không phải tùy chọn.

Một tester biết dựng máy trạng thái và bảng chuyển đổi rõ ràng sẽ được tin tưởng giao những luồng đụng tới tiền. Đây là bước tiến rõ rệt so với chỉ kiểm 'happy path': bạn đang bảo vệ tính toàn vẹn của từng đồng đi qua hệ thống.

4. Chuẩn bị: đọc luồng nghiệp vụ & công cụ

Nguyên liệu chính là tài liệu mô tả vòng đời đối tượng: các trạng thái, sự kiện kích hoạt, và quy tắc chuyển. Bạn cần đọc kỹ để rút ra danh sách trạng thái và sự kiện trước khi vẽ sơ đồ và lập bảng.

▶ Bước 1: Đọc mô tả luồng, gạch chân các TRẠNG THÁI (CREATED, PENDING, SUCCESS, FAILED, REFUNDED) và các SỰ KIỆN (confirm, gatewayOK, gatewayFail, refund).

▶ Bước 2: Vẽ máy trạng thái: nối trạng thái nguồn → đích qua sự kiện. Mỗi mũi tên là một chuyển tiếp hợp lệ.

▶ Bước 3: Mở TestRail/Excel để lưu ca theo chuyển tiếp và Jira để mở lỗi khi thực tế lệch máy trạng thái.