明天考NCRE的软件测试 关于SST CST的部分求教

明天考NCRE的软件测试工程师 对于黑盒测试中的 基于状态图的测试中有个测试用例的合成算法 书中写道是将SST的树型表示为条件构造树(CST) 关于这一点有点不会操作 怎么将一个状态迁移图给表示成条件构造树的形式 另外McCade环路复杂度怎么计算 测试用例怎么统计 如果有了解的请以比较通俗的语言讲解一下 谢谢