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