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

• 作者: 苗春雨 陈丽娜
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: Statechart描述 动态切片 切片准则 可观察语义
• 年，卷（期）: 2014,（5）
• 所属期刊栏目: 软件与数据库技术
• 页码范围: 204-207,214
• 页数: 5页
• 分类号: TP302
• 字数: 5868字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	苗春雨	浙江师范大学行知学院	19	118	6.0	10.0
2	陈丽娜	浙江师范大学数理与信息工程学院	17	88	5.0	9.0