Do đó, hai công thức bằng văn bản trên có thể được lặp đi lặp lại cho Enter Long và Nhập điều kiện ngắn của một hệ thống kiểm tra. Các điều kiện Exit chỉ là Cross () chức năng ngược lại mà không có sự so sánh gần. Các bài kiểm tra toàn bộ hệ thống sau đó sẽ được viết như
đang được dịch, vui lòng đợi..