本文中采用带标记的Markov链对软件运行剖面进行描述,并据此生成测试用例。