9.3.2 可达性分析