Article

Control Dependence for Extended Finite State Machines

Authors:

Kelly Androutsopoulos,

Laurence TrattAuthors Info & Claims

FASE '09: Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009

Pages 216 - 230

https://doi.org/10.1007/978-3-642-00593-0_15

Published: 28 March 2009 Publication History

Abstract

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 up with examples to motivate the need for these differences.

References

[1]

Binkley, D., Harman, M.: A survey of empirical results on program slicing. Advances in Computers 62, 105-178 (2004).

[2]

Canfora, G., Cimitile, A., De Lucia, A.: Conditioned program slicing. Information and Software Technology 40(11), 595-607 (1998).

[3]

De Lucia, A.: Program slicing: Methods and applications. In: International Workshop on Source Code Analysis and Manipulation, pp. 142-149. IEEE Computer Society Press, Los Alamitos (2001).

[4]

Gaston, C., Le Gall, P., Rapin, N., Touil, A.: Symbolic execution techniques for test purpose definition. In: Uyar, M. Ü., Duale, A.Y., Fecko, M.A. (eds.) TestCom 2006. LNCS, vol. 3964, pp. 1-18. Springer, Heidelberg (2006).

[5]

Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming 8(3), 231-274 (1987).

[6]

Harman, M., Binkley, D., Danicic, S.: Amorphous program slicing. Journal of Systems and Software 68(1), 45-64 (2003).

[7]

Horwitz, S., Reps, T., Binkley, D.: Interprocedural slicing using dependence graphs. ACM Transactions on Programming Languages and Systems 12(1), 26-61 (1990).

[8]

Heimdahl, M.P.E., Thompson, J.M., Whalen, M.W.: On the effectiveness of slicing hierarchical state machines: A case study. In: EUROMICRO 1998: Proceedings of the 24th Conference on EUROMICRO, p. 10435. IEEE Computer Society, Washington (1998).

[9]

Heimdahl, M.P.E., Whalen, M.W.: Reduction and slicing of hierarchical state machines. In: Jazayeri, M. (ed.) ESEC 1997 and ESEC-FSE 1997. LNCS, vol. 1301, pp. 450-467. Springer, Heidelberg (1997).

[10]

Kamkar, M.: Interprocedural dynamic slicing with applications to debugging and testing. PhD Thesis, Department of Computer Science and Information Science, Linköping University, Sweden (1993).

[11]

Korel, B., Singh, I., Tahat, L., Vaysburg, B.: Slicing of state-based models. In: Proceedings of the International Conference on Software Maintenance, pp. 34-43 (2003).

[12]

Labbé, S., Gallois, J.-P.: Slicing communicating automata specifications: polynomial algorithms for model reduction. Formal Aspects of Computing (2008).

[13]

Labbe, S., Gallois, J.-P., Pouzet, M.: Slicing communicating automata specifications for efficient model reduction. In: Proceedings of ASWEC, pp. 191-200. IEEE Computer Society, Los Alamitos (2007).

[14]

Van Langenhove, S., Hoogewijs, A.: SVtL: System verification through logic tool support for verifying sliced hierarchical statecharts. In: Fiadeiro, J.L., Schobbens, P.-Y. (eds.) WADT 2006. LNCS, vol. 4409, pp. 142-155. Springer, Heidelberg (2007).

[15]

Leveson, N.G., Heimdahl, M.P.E., Hildreth, H., Reese, J.D.: Requirements Specification for Process-Control Systems. IEEE Transactions on Software Engineering 20(9), 684-706 (1994).

[16]

Ranganath, V.P., Amtoft, T., Banerjee, A., Dwyer, M.B., Hatcliff, J.: A new foundation for control-dependence and slicing for modern program structures. In: Sagiv, M. (ed.) ESOP 2005. LNCS, vol. 3444, pp. 77-93. Springer, Heidelberg (2005).

[17]

Ranganath, V.P., Amtoft, T., Banerjee, A., Hatcliff, J., Dwyer, M.B.: A new foundation for control dependence and slicing for modern program structures. ACM Trans. Program. Lang. Syst. 29(5), 27 (2007).

[18]

Strobl, F., Wisspeintner, A.: Specification of an elevator control system - an autofocus case study. Technical Report TUM-I9906, Technische Universität München (1999).

[19]

Tip, F.: A survey of program slicing techniques. Journal of Programming Languages 3(3), 121-189 (1995).

[20]

Wang, J., Dong, W., Qi, Z.-C.: Slicing hierarchical automata for model checking UML statecharts. In: George, C.W., Miao, H. (eds.) ICFEM 2002. LNCS, vol. 2495, pp. 435-446. Springer, Heidelberg (2002).

[21]

Weiser, M.: Program slicing. In: 5th International Conference on Software Engineering, pp. 439-449, San Diego, CA (March 1981).

Cited By

Almasri NKorel BTahat L(2022)Verification Approach for Refactoring Transformation Rules of State-Based ModelsIEEE Transactions on Software Engineering10.1109/TSE.2021.310658948:10(3833-3861)Online publication date: 1-Oct-2022
https://dl.acm.org/doi/10.1109/TSE.2021.3106589
Chalupa MKlas̆ka DStrejček JTomovic̆ L(2021)Fast Computation of Strong Control DependenciesComputer Aided Verification10.1007/978-3-030-81688-9_41(887-910)Online publication date: 20-Jul-2021
https://dl.acm.org/doi/10.1007/978-3-030-81688-9_41
Binalialhag THassine JAmyot D(2019)Static slicing of Use Case Maps requirements modelsSoftware and Systems Modeling (SoSyM)10.1007/s10270-018-0680-718:4(2465-2505)Online publication date: 1-Aug-2019
https://dl.acm.org/doi/10.1007/s10270-018-0680-7
Show More Cited By

Recommendations

Amorphous Slicing of Extended Finite State Machines

Slicing is useful for many software engineering applications and has been widely studied for three decades, but there has been comparatively little work on slicing extended finite state machines (EFSMs). This paper introduces a set of dependence-based ...
A new foundation for control dependence and slicing for modern program structures
Special Issue ESOP'05

The notion of control dependence underlies many program analysis and transformation techniques. Despite being widely used, existing definitions and approaches to calculating control dependence are difficult to apply directly to modern program structures ...
Verifying Interacting Finite State Machines

Comments

Information & Contributors

Information

Published In

cover image Guide Proceedings

FASE '09: Proceedings of the 12th International Conference on Fundamental Approaches to Software Engineering: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009

March 2009

485 pages

ISBN:9783642005923

Editors:
Marsha Chechik
Department of Computer Science, University of Toronto, Toronto, Canada M5S 3G4
,
Martin Wirsing
Institute of Computer Science, LMU Munich, Munich, Germany 80538

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 28 March 2009

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

10
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 25 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Almasri NKorel BTahat L(2022)Verification Approach for Refactoring Transformation Rules of State-Based ModelsIEEE Transactions on Software Engineering10.1109/TSE.2021.310658948:10(3833-3861)Online publication date: 1-Oct-2022
https://dl.acm.org/doi/10.1109/TSE.2021.3106589
Chalupa MKlas̆ka DStrejček JTomovic̆ L(2021)Fast Computation of Strong Control DependenciesComputer Aided Verification10.1007/978-3-030-81688-9_41(887-910)Online publication date: 20-Jul-2021
https://dl.acm.org/doi/10.1007/978-3-030-81688-9_41
Binalialhag THassine JAmyot D(2019)Static slicing of Use Case Maps requirements modelsSoftware and Systems Modeling (SoSyM)10.1007/s10270-018-0680-718:4(2465-2505)Online publication date: 1-Aug-2019
https://dl.acm.org/doi/10.1007/s10270-018-0680-7
Danicic SLaurence M(2018)Static Backward Slicing of Non-deterministic Programs and SystemsACM Transactions on Programming Languages and Systems10.1145/288609840:3(1-46)Online publication date: 25-Aug-2018
https://dl.acm.org/doi/10.1145/2886098
Khalil ADingel JLethbridge T(2015)Incremental symbolic execution of evolving state machinesProceedings of the 18th International Conference on Model Driven Engineering Languages and Systems10.5555/3351736.3351743(14-23)Online publication date: 30-Sep-2015
https://dl.acm.org/doi/10.5555/3351736.3351743
Androutsopoulos KClark DHarman MKrinke JTratt L(2013)State-based model slicingACM Computing Surveys10.1145/2501654.250166745:4(1-36)Online publication date: 30-Aug-2013
https://dl.acm.org/doi/10.1145/2501654.2501667
Reicherdt RGlesner SGlinz MMurphy GPezzè M(2012)Slicing MATLAB simulink modelsProceedings of the 34th International Conference on Software Engineering10.5555/2337223.2337288(551-561)Online publication date: 2-Jun-2012
https://dl.acm.org/doi/10.5555/2337223.2337288
(2012)Interactive verification of synchronous systemsProceedings of the Tenth ACM/IEEE International Conference on Formal Methods and Models for Codesign10.1109/MEMCOD.2012.6292302(75-84)Online publication date: 1-Jul-2012
https://dl.acm.org/doi/10.1109/MEMCOD.2012.6292302
Tahat LKorel BHarman MUral H(2012)Regression test suite prioritization using system modelsSoftware Testing, Verification & Reliability10.1002/stvr.46122:7(481-506)Online publication date: 1-Nov-2012
https://dl.acm.org/doi/10.1002/stvr.461
Shirole MSuthar AKumar RBahulkar AKesavasamy KPrabhakar TShroff G(2011)Generation of improved test cases from UML state diagram using genetic algorithmProceedings of the 4th India Software Engineering Conference10.1145/1953355.1953374(125-134)Online publication date: 24-Feb-2011
https://dl.acm.org/doi/10.1145/1953355.1953374

View Options

View options

Media

Figures

Other

Tables

View Table of Contents