CHƯƠNG 2 : MỘT SỐ KỸ THUẬT VÀ CÔNG CỤ KIỂM THỬ PHẦN MỀM
2.4. Kiểm thử tự động
2.4.2. Kiểm thử dòng điều khiển
Hai dạng câu lệnh chính trong mã nguồn chương trình là câu lệnh gán và câu lệnh điều kiện. Có thể nhận ra câu lệnh gán bằng biểu tượng dấu “=”, ví dụ như x = 2 * y, trong đó x và y là các biến. Các câu lệnh điều kiện là các câu lệnh như if(), for(), while(), switch(), .., ví dụ như if(x > 2) thì sẽ kiểm tra xem biến x có lớn hơn 2 hay không. Trong chương trình, nếu như câu lệnh điều kiện bị thiếu hoặc viết sai có thể dẫn tới việc một đoạn mã nào đó khơng được thực hiện gây ra lỗi hoặc thất bại. Ý tưởng của kiểm thử dịng điều khiển chính là việc xây dựng một đồ thị dịng điều khiển và thiết kế các ca kiểm thử dựa trên các đường đi của đồ thị đó. Đồ thị dịng điều khiển là đồ thị có các đỉnh tương ứng với các câu lệnh hay nhóm các câu lệnh và các cạnh là các dịng điều khiển giữa các câu lệnh hay nhóm các câu lệnh.
Để xây dựng đồ thị dòng điều khiển cần dựa trên các biểu tượng như hình 2.4. Hình chữ nhật đại diện cho câu lệnh gán hay nhóm câu lệnh gán,
hình thoi đại diện cho câu lệnh điều kiện, hình trịn khơng chứa câu lệnh mà chỉ đại diện cho điểm hợp nhất các câu lệnh (thường dùng cho vịng lặp).
Hình 2. 4. Các biểu tượng xây dựng đồ thị dòng điều khiển
Để minh họa rõ hơn về xây dựng đồ thị dòng điều khiển, xin xét ví dụ hình 2.4 và đồ thị dịng điều khiển của nó ở bảng sau:
int i, n = 10, sum = 0; for ( i= 1; i < n; i ++) {
sum + = i; }
Hình 2. 5. Đồ thị dịng điều khiển minh họa bảng trên
Bảng 1.1. Các điều kiện con kết hợp trong câu lệnh điều kiện.
STT x > 1 y < 2 if(x>1 && y<2)
1 Đúng Sai Sai
2 Đúng Đúng Đúng
3 Sai Đúng Sai