Control Dependence for Extended Finite State Machines

被引：0

作者：

Androutsopoulos, Kelly ^{[1
]}

Clark, David ^{[1
]}

Harman, Mark ^{[1
]}

Li, Zheng ^{[1
]}

Tratt, Laurence ^{[2
]}

机构：

[1] Kings Coll London, Dept Comp Sci, London WC2R 2LS, England

[2] Bournemouth Univ, Poole BH12 5BB, Dorset, England

来源：

FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, PROCEEDINGS | 2009年 / 5503卷

关键词：

extended finite state machines; reactive systems; control dependence; slicing; PROGRAM; FOUNDATION;

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Though there has been nearly three decades of work on program slicing, there has been comparatively little work on slicing for state machines. One of the primary challenges that currently presents a barrier to wider application of state machine slicing is the problem of determining control dependence. We survey existing related definitions, introducing a new definition that subsumes one and extends another. We illustrate that by using this new definition our slices respect Weiser slicing's termination behaviour. We prove results that clarify the relationships between our definition and older ones, following this lip with examples to motivate the need for these differences.

引用

页码：216 / +

页数：3

共 21 条

[1] A survey of empirical results on program slicing
Binkley, D
Harman, M
[J]. ADVANCES IN COMPUTERS, VOL 62: ADVANCES IN SOFTWARE ENGINEERING, 2004, 62 : 105 - 178
[2] Conditioned program slicing
Canfora, G
Cimitile, A
De Lucia, A
[J]. INFORMATION AND SOFTWARE TECHNOLOGY, 1998, 40 (11-12) : 595 - 607
[3] De Lucia A, 2001, FIRST IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS, P142, DOI 10.1109/SCAM.2001.972675
[4] Gaston C, 2006, LECT NOTES COMPUT SC, V3964, P1
[5] STATECHARTS - A VISUAL FORMALISM FOR COMPLEX-SYSTEMS
HAREL, D
[J]. SCIENCE OF COMPUTER PROGRAMMING, 1987, 8 (03) : 231 - &
[6] Amorphous program slicing
Harman, M
Binkley, D
Danicic, S
[J]. JOURNAL OF SYSTEMS AND SOFTWARE, 2003, 68 (01) : 45 - 64
[7] Heimdahl MPE, 1998, EUROMICRO CONF PROC, P435, DOI 10.1109/EURMIC.1998.711837
[8] Heimdahl MPE, 1997, LECT NOTES COMPUT SC, V1301, P450, DOI 10.1145/267896.267926
[9] HORWITZ S, 1990, ACM T PROGR LANG SYS, V12, P26, DOI [10.1145/77606.77608, 10.1145/960116.53994]
[10] Kamkar M, 1993, THESIS LINKOPING U S

← 1 2 3 →