%0 Journal Article
%T 状态图描述的动态切片技术
%A 苗春雨？
%A 陈丽娜？
%J 计算机科学
%D 2014
%R 10.11896/j.issn.1002-137X.2014.05.042
%X 众所周知,动态切片技术在串行计算机程序的理解、分析和验证方面非常有用,但传统的动态切片定义不适合statechart描述。首先规范定义了适合动态切片的形式化语义模型(可观察语义),然后提出了更自然的statechart描述的动态切片概念,正式定义了动态切片准则、动态切片生成算法和最小动态切片的概念,解释了如何提供有效的动态切片准则,并提出一种简单实用的、借助可观察语义生成最小动态切片的近似算法。
%K statechart描述
%K 动态切片
%K 切片准则
%K 可观察语义
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=20140542&flag=1