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

摘要：

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

关键词：Statechart描述、动态切片、切片准则、可观察语义

所属期刊栏目：41

分类号：TP302(计算技术、计算机技术)

资助基金：浙江省浙江师范大学计算机软件与理论重中之重学科开放基金60873120;浙江师范大学行知学院科研基金201223

在线出版日期：2014-06-03（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：204-207,214