刘震
- 作品数：4 被引量：7H指数：1
- 供职机构：湖南交通职业技术学院更多>>
- 发文基金：国家自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 不同Statechart语义比较
- 2005年
- Statechart是一种可视的规格描述语言,由于其直观的特性和强大的描述能力,一直得到广泛的重视,Statechart语义的关键在于执行步语义,不同的statechart的变体有着不同的描述能力,而应用于不同的领域。本文以三种应用最为广泛的Statechart语义为对象,以逆时间的方式,从UMLStatechart的语义开始,通过对Statechart功能的讨论,逐步引出了STATEMATEStatechart的语义和Pnueli给出的Statechart的语义,并进行了比较,显示出不同语义的描述能力的差异和不同语义表达的思想。
- 刘震李聪怡
- 关键词：STATECHART有限状态机形式化语义
- 互斥并发程序的程序切片算法研究被引量：1
- 2007年
- 程序切片是一种重要的程序分析技术,随着并行技术在越来越多的程序中得到运用,需要将以往多用于顺序程序的程序切片技术也用于并发程序中。本文在文献[1,2]的基础上考虑到互斥机制作用,改进了原来的并发程序的切片算法,使之适用于互斥机制的并发程序。
- 刘震缪力
- 关键词：程序切片互斥并发程序
- Java程序模型检查方法与实现框架
- 2009年
- 软件模型检查技术是当前软件可靠性研究领域的一个研究热点,可以补充测试技术之不足。介绍了基于流分析的模型检查技术,以及基于这种技术所提出的一种Java程序模型检查方法,通过一个Java程序的实验说明流分析工具的效用。
- 刘震缪力
- 关键词：JAVA程序
- 基于动态调用图的Java程序修改影响分析技术被引量：6
- 2011年
- 现有的影响分析算法大都基于程序的静态分析技术,分析方法比较复杂且精度不高.针对静态分析存在的问题,提出采用动态分析技术构造Java程序的动态调用图,基于动态调用图,采用k-类方法后向切片计算修改影响集合.实验表明该方法简便易行,分析精度高,便于修改影响分析技术在大型Java程序测试中的实际运用.
- 刘震缪力
- 关键词：JAVA程序
