6.4.2 基于马尔可夫链的测试设计