全部 标题 作者
关键词 摘要

OALib Journal期刊
ISSN: 2333-9721
费用:99美元

查看量下载量

相关文章

更多...

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

DOI: 10.11896/j.issn.1002-137X.2014.05.042

Keywords: statechart描述,动态切片,切片准则,可观察语义

Full-Text   Cite this paper   Add to My Lib

Abstract:

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

Full-Text

Contact Us

service@oalib.com

QQ:3279437679

WhatsApp +8615387084133