状态图描述的动态切片技术

众所周知,动态切片技术在串行计算机程序的理解、分析和验证方面非常有用,但传统的动态切片定义不适合statechart描述。首先规范定义了适合动态切片的形式化语义模型(可观察语义),然后提出了更自然的statechart描述的动态切片概念,正式定义了动态切片准则、动态切片生成算法和最小动态切片的概念,解释了如何提供有效的动态切片准则,并提出一种简单实用的、借助可观察语义生成最小动态切片的近似算法。