java.
Từ những phân tích về bao phủ code chúng tôi nhận thấy trong quá trình bao phủ nhánh sẽ bao hàm kiểm tra bao phủ câu lệnh, đồng thời trong phương pháp bao phủ đường đi tổ hợp các đường đi có thể cần dựa trên các nhánh rẽ trong chương trình. Bên cạnh đó trong các câu lệnh điều kiện, câu lệnh lặp thường chứa các dải giá trị của biến đầu vào. Do đó có thể nói việc nhận ra các câu lệnh rẽ nhánh, câu lệnh lặp là rất cần thiết. Khi có tập các lệnh rẽ nhánh ta có thể tiến hành xây dựng các ca kiểm thử, dựa vào dải giá trị trong nó ta có thể xác định giá trị biên cho biến đầu vào. Trong phần này chúng tôi xây dựng chương trình tìm kiếm câu lệnh rẽ nhánh trong file nguồn java, chỉ ra giá trị biên trong dải giá trị đầu vào của câu lệnh điểu khiển.
Từ những phân tích về bao phủ code chúng tôi nhận thấy trong quá trình bao phủ nhánh sẽ bao hàm kiểm tra bao phủ câu lệnh, đồng thời trong phương pháp bao phủ đường đi tổ hợp các đường đi có thể cần dựa trên các nhánh rẽ trong chương trình. Bên cạnh đó trong các câu lệnh điều kiện, câu lệnh lặp thường chứa các dải giá trị của biến đầu vào. Do đó có thể nói việc nhận ra các câu lệnh rẽ nhánh, câu lệnh lặp là rất cần thiết. Khi có tập các lệnh rẽ nhánh ta có thể tiến hành xây dựng các ca kiểm thử, dựa vào dải giá trị trong nó ta có thể xác định giá trị biên cho biến đầu vào. Trong phần này chúng tôi xây dựng chương trình tìm kiếm câu lệnh rẽ nhánh trong file nguồn java, chỉ ra giá trị biên trong dải giá trị đầu vào của câu lệnh điểu khiển. Công cụ lập trình sử dụng : eclipse.
Giao diện giao tiếp với người sử dụng qua màn hình console
6.2.2 Mô tả các chức năng chính
Cho phép người sử dụng nhập vào tên file cần đọc. Yêu cầu file đọc phải là file có mở rộng *.java. Nếu người dùng nhập vào file không phải là file định dạng .java chương trình sẽ hiển thị thông báo không phải là một file java.
Nhập vào tên file dùng để lưu câu lệnh điều khiển. Kiểm tra tên file vừa nhập đã tồn tại hay chưa. Nếu tên file đã tồn tại yêu cầu người dùng phải nhập vào tên khác.
Chương trình xuất ra các thông báo nếu file được đọc thành công. Xuất ra tổng số câu từng loại câu lệnh rẽ nhánh if, while, for đã tìm kiếm được.
Chương trình đưa ra lựa chọn hỏi người dùng có muốn tiếp tục thao tác. Nhập vào “Yes’ để tiếp tục. Sau đó người dùng cần phải chọn loại câu lệnh rẽ nhánh if hay while hay for để thao tác. Nhập vào tên file sẽ lưu những câu lệnh đó. Và cuối cùng là chọn câu lệnh cần thao tác bằng cách nhập vào một số nguyên chỉ