Then behavioral testability of each node in SDFG is calculated step by step.

• 在数据流图中，逐级计算出各节点变量的行为级可测性指标；