通路分析

［软件］为验明通过一个程序的所有可能通 路，检查不闭合通路或发现不在任何通路上的程 序部分所进行的程序分析。见：program 434