5.3.2 基于可达性分析的协议错误的检测方法