状态分析程序

state analyser