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

Dynamic Slicing Technique of Statechart Specifications

作　　者：苗春雨[1] 陈丽娜[2] 

机构地区：[1]浙江师范大学行知学院,金华321004 [2]浙江师范大学数理与信息工程学院,金华321004

出　　处：《计算机科学》2014年第5期204-207,214,共5页Computer Science

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

摘　　要：众所周知,动态切片技术在串行计算机程序的理解、分析和验证方面非常有用,但传统的动态切片定义不适合Statechart描述。首先规范定义了适合动态切片的形式化语义模型(可观察语义),然后提出了更自然的Statechart描述的动态切片概念,正式定义了动态切片准则、动态切片生成算法和最小动态切片的概念,解释了如何提供有效的动态切片准则,并提出一种简单实用的、借助可观察语义生成最小动态切片的近似算法。As we all know,dynamic slicing technique is very useful in understanding,analysis and verification in the domain of sequential transformational programs.The classical definition of dynamic slicing is not suitable for Statechart specifications.We firstly formally defined a formal semantics model-observable semantics,which only describes outside observable behavior and conceals unobservable behavior of Statechart specifications,so it is very suitable for dynamic slicing.Then we proposed a new notion of dynamic slicing that is more natural for Statechart specifications.We formally defined notions of dynamic slicing criterion,dynamic slice generation algorithm and minimal dynamic slice.We also explained how to produce valid dynamic slicing criterion and proposed a simple and practical approximation algorithm for minimal dynamic slice generation using observable semantics as an intermediate representation.

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

分 类 号：TP302[自动化与计算机技术—计算机系统结构]