|
基本信息Personal Information
教授
曾获荣誉 : 浙江师范大学中青年骨干教师，金华市321人才，浙江省教学优秀案例二等奖等
性别 : 女
毕业院校 : 华东师范大学
学历 : 博士研究生毕业
学位 : 博士学位
在职信息 : 在岗
所在单位 : 计算机科学与技术学院
入职时间 : 2001年08月01日
办公地点 : 21-325
联系方式 : Email：chenlina@zjnu.cn 个人主页： http://mypage.zjnu.edu.cn/CLN/zh_CN/index.htm
Email :
扫描关注
状态图描述的动态切片技术
点击量 ：
第一作者 ： 苗春雨
发表时间 ： 2014-01-01
发表刊物 ： 计算机科学
所属单位 ： 数理与信息工程学院
文献类型 ： 期刊
期号 ： 第5期
页面范围 ： 204-207，214
ISSN ： 1002-137X
关键字 ： Statechart描述；动态切片；切片准则；可观察语义
摘要 ： 众所周知,动态切片技术在串行计算机程序的理解、分析和验证方面非常有用,但传统的动态切片定义不适合Statechart描述。首先规范定义了适合动态切片的形式化语义模型(可观察语义),然后提出了更自然的Statechart描述的动态切片概念,正式定义了动态切片准则、动态切片生成算法和最小动态切片的概念,解释了如何提供有效的动态切片准则,并提出一种简单实用的、借助可观察语义生成最小动态切片的近似算法。
是否译文 ： 否