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) 1:

Con số 4.4 ngưng tụ đồ thị của Digraph trong hình 4.3Nhiều bài báo về làm cho thử nghiệm có cấu trúc khá một điểm Hiển thị như thế nào tương đối đơn giản chương trình có thể có hàng triệu người thực hiện khác biệt nhau. Mục đích của các cuộc thảo luận là để thuyết phục chúng tôi rằng thử nghiệm đầy đủ là chính xác-đầy đủ. Một số lượng thực hiện đường dẫn đến từ lồng nhau vòng. Kể từ khi ngưng tụ đồ thị loại bỏ vòng (hoặc ít ngưng tụ chúng xuống một nút duy nhất), chúng tôi có thể sử dụng như một chiến lược để đơn giản hóa tình huống nếu không có computationally không thể bảo vệ.

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.