Từ mã nguồn trong Bảng 3.1 ta xây dựng một biểu đồ luồng dữ liệu trong Hình 3.1
Từ Hình 3.1 ta thấy các điểm vị từ xuất hiện tại các nút 4, 6, 8, 10, 12.
Ta xây dựng đƣợc các miền cho chƣơng trình từ biểu đồ trong Hình 3.1 và đƣợc thể hiện nhƣ trong Hình 3.2. Số thứ tự các miền sắp xếp phù hợp, ta gọi miền thỏa mãn đủ điểm trúng tuyển là miền 1.
Ta đi phân tích các bƣớc để có quy trình xác định các miền nhƣ sau:
- Bước 1: xét vị từ tại nút 4 trong Hình 3.1(bao gồm hai vị từ)
P11: x < 0 và P12: x > 10
Hai vị từ này chia miền vào thành ba miền bằng hai đƣờng biên P11 và P12 trong Hình 3.2, trong đó hai miền D7 và D8 là hai miền mà dữ liệu biến x vào không hợp lệ, miền còn lại ở giữa 2 miền này dữ liệu biến x nhập và là hợp lệ
- Bước 2: xét vị từ tại nút 6 trong Hình 3.1(bao gồm hai vị từ)
P21: y < 0 và P22: y > 10
Hai vị từ này chia miền hợp lệ còn lại cũng thành 3 miền bằng hai đƣờng biên P21
và P22. Trong đó hai miền D5 và D6 là hai miền biến y nhập vào không hợp lệ.
Ta xác định đƣợc 4 miền mà giá trị của x hoặc y nhập vào không hợp lệ (D5, D6, D7, D8).
- Bước 3: xét vị từ tại nút thứ 8 trong Hình 3.1
P3: x ≤ 2
Vị từ này chia miền hợp lệ còn lại thành hai miền ngăn cách bởi biên P3, trong đó miền D3 xác định các giá trị mà có biến x nhập vào bị điểm liệt và một miền khác chứa các giá trị mà biến x nhập vào không phải điểm liệt.
Hình 3.1: Biểu đồ dòng điều khiển của chương trình xét tuyển cấp 3
- Bước 4: xét vị từ tại nút 10 trong Hình 3.1
P4: y ≤ 2
Vị từ này chia miền còn lại (miền chứa các giá trị biến x không phải điểm liệt) thành hai miền, trong đó miền là D4 chứa các giá trị mà điểm y nhập vào là điểm liệt.
Hình 3.2: Các miền đầu vào của chương trình
- Bước 5: xét vị từ tại nút 12 trong Hình 3.1
P5: (3*x + 2*y)/6 ≥ 6
Vị từ này chia miền còn lại chứa các giá trị nhập vào hợp lệ và không phải điểm liệt có từ bƣớc 4 thành hai miền D1 và D2. Trong đó D2 chứa các giá trị mà điểm nhập vào hợp lệ, trên điểm liệt nhƣng điểm trung bình không đạt. Miền D1 chứa các giá trị hợp lệ, trên điểm liệt và điểm trung bình đạt điểm vào trƣờng.
Vậy ta đã xác định đƣợc 8 miền đầu vào của chƣơng trình, trong đó miền D1 chứa các giá trị nhập vào đủ tiêu chuẩn đỗ vào trƣờng. Các mũi tên trên biên hƣớng chỉ vào miền mà biên xác định là biên đóng đối với miền đó.