Figure 4.4 Condensation Graph of th

Figure 4.4 Condensation Graph of the Digraph in Figure 4.3

Many papers on structured testing make quite a point of showing how relatively simple programs can have millions of distinct execution paths. The intent of these discussions is to convince us that exhaustive testing is exactly that — exhaustive. The large number of execution paths comes from nested loops. Since condensation graphs eliminate loops (or at least condense them down to a single node), we can use this as a strategy to simplify situations that otherwise are computationally untenable.

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

Hình 4.4 Biểu đồ lót đệm của digraph trong hình 4.3 Nhiều giấy tờ về kiểm tra cấu trúc làm cho khá một điểm cho thấy cách tương đối các chương trình đơn giản có thể có hàng triệu đường dẫn thực thi riêng biệt. Mục đích của các cuộc thảo luận là để thuyết phục chúng ta kiểm tra toàn diện là chính xác đó - đầy đủ. Số lượng lớn các đường dẫn thực thi đến từ các vòng lặp lồng nhau. Từ đồ thị ngưng tụ loại bỏ các vòng lặp (hoặc ít nhất là ngưng tụ chúng xuống một nút duy nhất), chúng ta có thể sử dụng điều này như một chiến lược để đơn giản hóa các tình huống mà nếu không được tính toán không đứng vững.