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

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

计算机科学 ›› 2014, Vol. 41 ›› Issue (5): 204-207.doi: 10.11896/j.issn.1002-137X.2014.05.042

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

苗春雨,陈丽娜

浙江师范大学行知学院金华321004;浙江师范大学数理与信息工程学院金华321004

出版日期:2018-11-14 发布日期:2018-11-14
基金资助:
本文受浙江省浙江师范大学计算机软件与理论重中之重学科开放基金(60873120),浙江师范大学行知学院科研基金(201223)资助

Dynamic Slicing Technique of Statechart Specifications

MIAO Chun-yu and CHEN Li-na

Online:2018-11-14 Published:2018-11-14

摘要/Abstract

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

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

Abstract: 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.

Key words: Statechart specification,Dynamic slicing,Slice criterion,Observable semantics

苗春雨,陈丽娜. 状态图描述的动态切片技术[J]. 计算机科学, 2014, 41(5): 204-207. https://doi.org/10.11896/j.issn.1002-137X.2014.05.042

MIAO Chun-yu and CHEN Li-na. Dynamic Slicing Technique of Statechart Specifications[J]. Computer Science, 2014, 41(5): 204-207. https://doi.org/10.11896/j.issn.1002-137X.2014.05.042

参考文献

[1] 苗春雨,陈丽娜,赵建民.基于一致性测试理论的Statechart描述的测试用例自动生成[J]．计算机工程与科学,2011,33(3):82-89
[2] 陈丽娜,赵建民．一种新的Statechart模型验证方法[J]．计算机科学,2011,38(2):144-147,5
[3] Weiser M．Program slicing[J]．IEEE Transactions on Software Engineering,1984,10:352-357
[4] 蔡素梅,梅登华.基于动态切片和UML图的回归测试用例生成[J].计算机工程,2009,5(8):70-72
[5] Ranganath V P,Hatcliff J．Pruning interference and ready dependence for slicing concurrent java programs[C]∥Evelyn Duesterwald,ed.Volume 2985of Lecture Notes in Computer Science．Springer,2004:39-56
[6] Ranganath V P,Hatcliff J．Honing the detection of interference and ready dependence for slicing concurrent Java programs[R]．Technical Report SAnToS-TR2003-6．Department of Computing and Information Sciences,Kansas State University,2003
[7] Jiang Y,Brayton R K．Don’t cares in logic minimization of extended finite state machines[C]∥Design Automation Confe-rence,2003．Proceedings of the ASP-DAC 2003．Asia and South Pacific,IEEE,2003:809-815
[8] Damm W,Josko B,Votintseva A,et al.A formal semantics for a UML kernel language．http://www-omega.imag.fr/doc/d1000009.6/D112_KL.pdf
[9] Latella D,Majzik I,Massink M．Towards a formal operationalsemantics of UML statechart diagrams[C]∥Proc．FMOODS’99,IFIP TC6/WG6.1Third International Conference on Formal Methods for Open Object-Based Distributed Systems．Florence,Italy,1999
[10] 李必信,郑国梁.一种分析和理解程序的方法-程序切片[J].计算机研究与发展,1997,4(3):217-222
[11] 卢炎生,王曦,谢晓东.基于依赖性分析的 UML 状态图切片技术[J].计算机工程,2006,2(15):81-83
[12] Wang Ji,Dong Wei,Qi Zhi-chang．Slicing hierarchical automata for model checking UML statecharts[C]∥Proceedings of the 4th International Conference on Formal Engineering Methods,Formal Methods and Software Engineering,volume 2495of Lecture Notes in Computer Science．Springer-Verlag,2002:435-446
[13] Luangsodsai A,Fox C．Concurrent statechart slicing[C]∥Computer Science and Electronic Engineering Conference (CEEC)．2010:1-7

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed

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

Dynamic Slicing Technique of Statechart Specifications

PDF (PC)

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 0

Metrics

本文评价

推荐阅读 0