As a preview of how we will use gra

As a preview of how we will use graph theory, the structural approaches to testing (see Part III) all center on types of paths in a program. Here we define (interpretation free) paths in a graph.

Definition

A path is a sequence of edges such that, for any adjacent pair of edges ei, ej in the sequence, the edges share a common (node) endpoint.

Paths can be described either as sequences of edges, or as sequences of nodes; the node sequence choice is more common.

Here are some paths in the graph in Figure 4.1:

Kết quả (Việt) 2:

Như một bản xem trước như thế nào, chúng tôi sẽ sử dụng lý thuyết đồ thị, các phương pháp cấu trúc để thử nghiệm (xem Phần III) tất cả các trung tâm trên các loại đường dẫn trong một chương trình. Ở đây chúng ta xác định (thông dịch miễn phí) đường dẫn trong một đồ thị. Định nghĩa Một con đường là một chuỗi các cạnh như vậy mà, cho bất kỳ cặp liền kề của các cạnh ei, ej trong trình tự, các cạnh chia sẻ một phổ biến (node) thiết bị đầu cuối. Path có thể được mô tả hoặc như là trình tự của các cạnh, hay như trình tự của các nút; lựa chọn thứ tự các nút là phổ biến hơn. Dưới đây là một số đường dẫn trong đồ thị trong hình 4.1: