选择性分支与汇合状态转移图和步进梯形图