Considering the labeled transition system as the basic model, this paper presents the testing setting and process representation that includes the divergence and internal action.

• 本文以标号迁移系统为基本模型,提出了包括分歧和内部活动的试验设定和过程表示。