Cho sơ đồ chuyển đổi trạng thái như bên dưới.
Bao phủ 0-switch là viết test để qua 1 trạng thái (không tính trạng thái xuất phát).
Ví dụ:
Tương tự như trên, đứng ở trạng thái B sẽ có các test case 0-witch như sau
Bao phủ 0-switch là viết test để qua 1 trạng thái (không tính trạng thái xuất phát).
Ví dụ:
- Đứng ở trạng thái A, đi qua nhánh 1 thì nó dẫn đến trạng thái A. Gọi tắt là A1 (Trạng thái đầu là A, trạng thái cuối là A)
Đứng ở trạng thái A, đi qua nhánh 2 thì nó dẫn đến trạng thái E. Gọi tắt là A2 (Trạng thái đầu là A, trạng thái cuối là E)
Đứng ở trạng thái A, đi qua nhánh 9 thì nó dẫn đến trạng thái B. Gọi tắt là A9 (Trạng thái đầu là A, trạng thái cuối là B)
Tương tự như trên, đứng ở trạng thái B sẽ có các test case 0-witch như sau
- B3
B8
B10