Phân tích của một chương trình máy tính để xác định tất cả các đường dẫn có thể thông qua chương trình này, để phát hiện không đầy đủ đường dẫn, hoặc để khám phá một phần của chương trình mà không phải là trên bất kỳ đường dẫn.