Consider the following state transition diagram of a switch. Which of the following represents an invalid state transition? (Pic 4_276) [Sơ đồ chuyển trạng thái của công tắc: OFF ⇄ ON (hai chiều), ON → FAULT, và FAULT → FAULT (vòng lặp về chính nó). Không có mũi tên nào đi ra khỏi FAULT sang trạng thái khác.]

Đáp án đúng: C. Theo sơ đồ, công tắc có ba trạng thái: OFF, ON và FAULT. Các chuyển hợp lệ được vẽ là OFF sang ON, ON sang OFF, ON sang FAULT và FAULT quay về chính nó. Không có mũi tên nào đi từ FAULT sang ON, nên chuyển "FAULT to ON" là chuyển KHÔNG hợp lệ - đây chính là loại ca kiểm thử âm mà kỹ thuật state transition testing dùng để kiểm tra hệ thống có chặn được chuyển trạng thái sai hay không. Hai phương án A và B đều là chuyển đã được vẽ tường minh trên sơ đồ nên hợp lệ.