Chương 6: Kiểm thử phần mềm
6.3. Kiểm thử theo đường cơ bản (Basic path)
Các đường dẫn được xác định bằng việc xây dựng đồ thị chương trình. Mỗi trường hợp kiểm thử sẽ tương ứng với một đường dẫn. Ta có thể gặp vấn đề đối với các đường dẫn không thể thực hiện được.
Đồ thị chƣơng trình
Đồ thị chương trình là một đồ thị có hướng trong đó: Các đỉnh của đồ thị biểu diễn các câu lệnh Các cạnh biểu diễn luồng điều khiển
Nghĩa là, có một cạnh từ đỉnh i đến đỉnh j nếu câu lệnh tương ứng với đỉnh j có thể được thực thi ngay lập tức sau câu lệnh tương ứng với đỉnh i
Một số định nghĩa
Chuỗi: là một đường dẫn mà trong đó đỉnh bắt đầu và đỉnh kết thúc là khác nhau, và các đỉnh ở bên trong có bậc vào =1 và bậc ra =1
Các bƣớc thực hiện:
Xây dựng đồ thị chương trình/đồ thị đường dẫn quyết định từ mã nguồn Tính độ phức tạp của đồ thị
Xác định một tập hợp các đường dẫn cơ bản
Thiết kế một trường hợp kiểm thử tương ứng với mỗi đường dẫn cơ bản Thực thi các trường hợp kiểm thử
Một đường dẫn cơ bản là đường dẫn nối từ đỉnh bắt đầu đến đỉnh kết thúc.
Số lượng các đường dẫn độc lập cần được kiểm thử bằng giá trị V(G) = e-n+2*p . Trong đó:
G là đồ thị đường dẫn quyết định V(G) là độ phức tạp của đồ thị G
e là số cạnh, n là số đỉnh, p là số thành phần
Cách xác định các đƣờng dẫn cơ bản
Chọn một đường dẫn cơ bản ban đầu tương ứng với một sự thực thi chương trình bình thường (đường dẫn cơ bản này nên có càng nhiều đỉnh quyết định càng tốt)
Để tìm các đường dẫn cơ bản khác, dò tìm ngược/xuôi trên đường dẫn ban đầu cho đến khi gặp một đỉnh quyết định. Thay đổi quyết định tại đỉnh này, và tiếp tục tìm đường dẫn khả thi cho đến đỉnh kết thúc
Lặp lại bước trên cho đến khi tất cả các quyết định đều đã được thay đổi với nhánh đúng và sai Ví dụ:
Các đường dẫn cơ bản trong bài toán tam giác
Kiểm thử theo đường dẫn cơ bản dựa vào phương pháp của Tom McCabe. Nó sử dụng đồ thị chương trình để xác định các trường hợp kiểm thử. Kiểm thử theo đường dẫn cơ bản được sử dụng cho cấp độ kiểm thử đơn vị. Nó có nhược điểm là người kiểm thử phải có kỹ năng lập trình đủ tốt để có thể hiểu được mã nguồn và luồng điều khiển trong chương trình