skip to main content
article

Optimizing the SPARK program slicer

Published: 13 November 2005 Publication History

Abstract

Recent trends in software re-engineering have included tools to extract program slices from existing Ada procedures. One such tool has already been developed that extracts program slices from SPARK procedures along with a proof that the functionality of the original procedure is equivalent to the functionality of the collection of resulting slices. This paper extends this work by showing how assumptions in the proof can cause inefficiencies in SPARKSlicer and by presenting alternatives that optimize out the inefficiencies. The original proof is modified to show that the SPARK program slicer still produces functionally equivalent program slices from SPARK procedures with these optimizations.

References

[1]
ASIS Basic Concepts. Retrieved June 3, 2003, from www.acm.org/sigada/wg/asiswg /basics.html, 1998.
[2]
Barnes, J. High Integrity Software, The SPARK Approach to Safety and Security. c2003 Praxis Critical Systems, Addison-Wesley, London, England.
[3]
Dwyer, M. B., Corbett, J.C., Hatcliff, J., Sokolowski, S., and Zheng, H. Slicing Multi-Threaded Java Programs: A Case Study. Tech Report KSU CIS TR 99--7.
[4]
Program Slicing. Retrieved June 4, 2003 from www.ssw.unilinz.ac.at/Research/Projects/ ProgramSlicing.
[5]
SPARK 95 - The SPADE Ada 95 Kernel, copyright Praxis Critical Systems. Edition 4.1, Oct 2003.
[6]
Sward, R.E. Extracting Functionally Equivalent Object-Oriented Designs from Legacy Imperative Code. PhD Thesis, Air Force Institute of Technology, Wright-Patterson AFB, OH, Sep 1997.
[7]
Sward, R.E. and A.T. Chamillard, AdaSlicer: A Program Slicer for Ada. Proceedings of the ACM International SIGAda 2003 Conference, Dec 2003, San Diego, CA.
[8]
Sward, R.E. and A.T. Chamillard, Re-engineering Global Variables in Ada, Proceedings of the ACM International SIGAda 2004 Conference, Nov 2004, Atlanta, GA.
[9]
Sward, R.E. and Hartrum, T.C. Extracting objects from legacy imperative code. In Proceedings of the 12th IEEE International Conference on Automated Software Engineering, Incline Village, Nevada, November 1997, pp. 98--106.
[10]
Sward, R.E. and L.C. Baird III, Proving Functional Equivalence for Program Slicing in SPARK, Lecture Notes in Computer Science 3555, pp 105--114, Ada Europe, Jun 2005, York, England.
[11]
The Unravel Project. Retrieved June 4, 2003, from http://hissa.nist.gov/unravel/, 1998.
[12]
Weiser, M. Program slicing. IEEE Transactions on Software Engineering, SE-10(4):352--357, July 1984.
[13]
The Wisconsin Program-Slicing Tool, Version 1.1. Retrieved June 4, 2003, from www.cs.wisc.edu/wpis/slicing_tool/, 2000.

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM SIGAda Ada Letters
ACM SIGAda Ada Letters  Volume XXV, Issue 4
December 2005
102 pages
ISSN:1094-3641
DOI:10.1145/1104011
Issue’s Table of Contents
  • cover image ACM Conferences
    SigAda '05: Proceedings of the 2005 annual ACM SIGAda international conference on Ada: The Engineering of Correct and Reliable Software for Real-Time & Distributed Systems using Ada and Related Technologies
    November 2005
    124 pages
    ISBN:1595931856
    DOI:10.1145/1103846
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 13 November 2005
Published in SIGADA Volume XXV, Issue 4

Check for updates

Author Tags

  1. ASIS
  2. formal methods
  3. program slicing

Qualifiers

  • Article

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • 0
    Total Citations
  • 216
    Total Downloads
  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 15 Feb 2025

Other Metrics

Citations

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media