Article

Free access

Developing and integrating ProDAG in the Arcadia environment

Authors:

Debra J. Richardson,

T. Owen O'Malley,

Cynthia Tittle Moore,

Stephanie Leif AhaAuthors Info & Claims

SDE 5: Proceedings of the fifth ACM SIGSOFT symposium on Software development environments

Pages 109 - 119

https://doi.org/10.1145/142868.143759

Published: 01 November 1992 Publication History

Abstract

ProDAG is an analysis toolset that provides an application programmatic interface for program dependence analysis. Program dependences are syntactic relationships between program statements. The ProDAG interface provides a uniform set of operations for creating and accessing several pre-defined dependence relations, which are represented as graphs, as well as a standard mechanism for developing new dependence graphs. ProDAG is one analysis toolset in Arcadia, ProDAG was developed in the Arcadia environment and has been integrated with the language processing, oject management, and process definition components of the Arcadia architecture, and further integration with the user interface development system and the measurement and evaluation components are underway. This paper describes the design, implementation and integration of proDAG within Arcadia.

References

[1]

D. A. Baker, D. A. Fisher, and J. C. Shultis. Iris: An internal form for use in integrated environments. Tech. Rep., Incremental Systems Corporation, 1987.

[2]

N. Bhachech. IRIS.TO-CFG manual. Tech. Rep. UM-91- 06, Univ. of Mass. at Amherst, November 1991.

[3]

L. A. Clarke, D. J. Rkhardson, and S. J. Zeil. Team: A support environment for testing, evaluation, and anrdy -sis. In Proc. of ACM SIGSOFT '88: Thint Symp. on Soflware Development Environments, November 1988.

Digital Library

[4]

J. Ferrante, K. Ottenstein, and J. Warren. The program dependence graph and its use in optimization. ACM Trans. on Programmmg Languages and Systems, 9(3), July 1987.

Digital Library

[5]

K. Forester, I. Shy, and S. Zeil. IRIS-Ada: An Arcadia per-spective. Arcadia Tech. Rep. UCI-8&Ol, Univ. of Calif., June 1989.

[6]

C. Hoffman. Hyth,a user manual, March 1991.

[7]

S. Horwitz, J. Prins, and T. Reps. On the adequacy of program dependence graphs for representing programs. In PTOC. of the ACM Symp. on Principles of Progmmming Languages, 1988.

Digital Library

[8]

S. Horwitz, J. Prins, and T. Reps. Integrating noninterfer-ing versions of programs. ACM Trans. on Programming Languages and Systems, 11(3), July 1989.

Digital Library

[9]

S. Horwitz and T. Reps. The use of,program dependence graphs in software engineering. In Pmt. of the Fourteenth Intl. C'onj. on Software Engtneervng. ACM Press, May 1992.

Digital Library

[10]

S. Horwitz, T. Reps, and D. Binkley. Interprocedural slic-ing using dependence graphs. ACM Trans. on Program-ming Languages and Systems, 12(1), January 1990.

Digital Library

[11]

S. Horwitz and T. Teitelbaum. Generating editing envi-ronments based on relations and attributes. ACM Trans. on Programming Languages and Systems, S(4), October 1986,

Digital Library

[12]

R. K. Jha. User manual for Spectrum - a languagespecificinterface generator to IRIS. Tech. Rep. UM-90-02, Univ. of Mass. at Amherst, May 1990.

[13]

R. Kadia. Issues encountered in building a flexible soft-ware development environment: Lessons learned from the Arcadia project. In Pro. of A CM SIGSOFT '92: Fifth Symp. on Software Development Enwronments, Decem-ber 1992.

Digital Library

[14]

R. K. Keller, M. Cameron, R. N. Taylor, and D. B. Troup. Chiron-1: A user interface development system t ailoredto software environments. In Proc. of the Twenty- FourthAnnual Hawatt Intl. Conf. on System Sczences, volume 2, January 1991.

[15]

D. J. Kuck. R. H. Kuhn, B. Learmre, D. A. Padua, and M. Wolfe. Dependence graphs and compiler optimization. In Proc. of the ACM Syrnp. on Prmczples of Pr-ogram-mmg Languages. ACM Press, 1981.

Digital Library

[16]

B. Korel. The program dependence graph in static pro-gram testing. Information Processing Letters, 24, Jan-uary 19S7.

Digital Library

[17]

J. W. Laskl and B. Korel. A data flow oriented program testing strategy. IEEE 'Tnmu. on Software Engineer-ing, SE-9(3), May 19S3.

[18]

K. Nies and 1. Shy. Paris operators. Arcadia Tech. Rep. UCI-88-01, Univ. of Calif., May 19S7.

[19]

S. C. Ntafos. On required element testing. IEEE Tmns. on Software Engmeemng, SE-10(6), November 19S4.

[20]

L. J. Osterweil and L. D. Fosdick. DAVE - a validation, error detection, and documentation system for FORTRAN programs. Software - Practice @ Ezperwence, 6, 1976.

[21]

K. J. Ottenstein and L. M. Ottenstein. The program de-pendence graph in a software development environment. ACM SIGPLAN, 19(5), May 1984,

Digital Library

[22]

L. J. Osterweil. Software processes are software too. In Pvoc. of the Ntnth Intl. Conf. on Software Engzneemng, March 19S7.

Digital Library

[23]

A. Podgurskl and L. A. Clarke. A formal model of program dependence and its implications for software testing, de-bugging, and maintenance. IEEE 'Trans. on Software Engirzeervng, 16(9), September 1990.

Digital Library

[24]

T. Moore, T. 0. O'Malley, D. J. Richardson, S. H. L. Aha, and D. A. Brodbeck. ProDAG: A program depen-dence graph system. Tech. Rep. UCI-91-25, Dept. of In-formation and Computer Science, Univ. of Calif., 1991.

[25]

P. Tarr. Standard interfaces to relations and relationships. Arcadia Tech. Rep. UM-89-02, Univ. of Mass., 19S9.

[26]

D. J. Richardson and M. C. Thompson. An Analysis of Test Data Selection Criteria Using the Relay Model of Error Detection. Tech. Rep. 86-65, Computer and Infor-mation Science, December 19S6.

Digital Library

[27]

D. Richardson and M. Thompson. The RELAY model of error detection and its application. In Proc. of the Second Workshop on Softwar-e Testing, Verification, and Anal-ysts. ACM/SIGSOFT and IEEE-CS Software Engineering Tech. Committee, July 19SS.

[28]

S. Rapps and E. J. Weyuker. Data flow analysis techniques for test data selection. In Pr-oc. of the Sdh Id. Conf. on Software Engmeerwng, September 1982.

Digital Library

[29]

S. M. Sutton, Jr., D. Heimbigner, and L. J. Osterweil. Language constructs for managing change in process-centered environments. In Proc. of ACM SIGSOFT '90: Forbr'th .Symp. on Software Development Environments, December 1990.

Digital Library

[30]

C. Snider. GLAD user's manual, October 1991.

[31]

R. W. Selby, A. A. Porter, D. C. Schmidt, and J. Berney. Metric-driven analysis and feedback systems for enabling empirically guided software development. In Proc. of the Thwteenth Intl. Conf. on SoftwaTe Engzneeving, May 1991.

Digital Library

[32]

P. Tarr. Repomangen reference manual. Tech. Rep. UM-91- 09, Software Development Laboratory, Univ. of Mass., December 1991.

[33]

M. C. Thompson, D. J. Richardson, and L. A. Clarke. Information flow transfer in the Relay model. Tech. Rep. TR-92-39, Dept. of Information and Computer Science, Univ. of Calif., May 1992.

[34]

P. Tarr, J. Wileden, and L. Clarke. Extending and Lim-iting PGRAPHITE-style Pemiateme. In Proc. of the 4th Intl. Workshop on Pevswtent Ob~ect Systems, Martha's Vmeyar-d, MA, August 1990.

[35]

M. Weiser. Programmers use slices when debugging. Commmunicationsof the ACM, 25(7), July 19S2.

Digital Library

Cited By

Clarke L(2011)Lifecycle EnvironmentsEngineering of Software10.1007/978-3-642-19823-6_8(145-152)Online publication date: 2011
https://doi.org/10.1007/978-3-642-19823-6_8
Binkley DHarman MKrinke J(2006)Characterising, Explaining, and Exploiting the Approximate Nature of Static Analysis through AnimationProceedings of the Sixth IEEE International Workshop on Source Code Analysis and Manipulation10.1109/SCAM.2006.7(43-52)Online publication date: 27-Sep-2006
https://dl.acm.org/doi/10.1109/SCAM.2006.7
Xu BQian JZhang XWu ZChen L(2005)A brief survey of program slicingACM SIGSOFT Software Engineering Notes10.1145/1050849.105086530:2(1-36)Online publication date: 1-Mar-2005
https://dl.acm.org/doi/10.1145/1050849.1050865
Show More Cited By

Index Terms

Developing and integrating ProDAG in the Arcadia environment
1. Social and professional topics
  1. Professional topics
    1. Management of computing and information systems
      1. Software management
2. Software and its engineering
  1. Software creation and management
  2. Software notations and tools
    1. Development frameworks and environments

Recommendations

Developing and integrating ProDAG in the Arcadia environment

ProDAG is an analysis toolset that provides an application programmatic interface for program dependence analysis. Program dependences are syntactic relationships between program statements. The ProDAG interface provides a uniform set of operations for ...
Foundations for the Arcadia environment architecture
Special issue: Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on practical software development environments

Early software environments have supported a narrow range of activities (programming environments) or else been restricted to a single “hard-wired” software development process. The Arcadia research project is investigating the construction of software ...
An Overview of Arcadia

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

SDE 5: Proceedings of the fifth ACM SIGSOFT symposium on Software development environments

November 1992

180 pages

ISBN:0897915542

DOI:10.1145/142868

Chairman:
Ian Thomas
Software Design & Analysis Inc.

ACM SIGSOFT Software Engineering Notes Volume 17, Issue 5
Dec. 1992
180 pages
ISSN:0163-5948
DOI:10.1145/142882
Editor:
Peter G. Neumann
SRI International, Menlo Park, CA
Issue’s Table of Contents

Copyright © 1992 ACM.

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]

Sponsors

SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 November 1992

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

SDE5

Sponsor:

SIGSOFT

SDE5: 5th ACM SIGSOFT Symposium on Software Development Environments

December 9 - 11, 1992

Virginia, Tyson's Corner, USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

30
Total Citations
View Citations
431
Total Downloads

Downloads (Last 12 months)105
Downloads (Last 6 weeks)21

Reflects downloads up to 25 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Clarke L(2011)Lifecycle EnvironmentsEngineering of Software10.1007/978-3-642-19823-6_8(145-152)Online publication date: 2011
https://doi.org/10.1007/978-3-642-19823-6_8
Binkley DHarman MKrinke J(2006)Characterising, Explaining, and Exploiting the Approximate Nature of Static Analysis through AnimationProceedings of the Sixth IEEE International Workshop on Source Code Analysis and Manipulation10.1109/SCAM.2006.7(43-52)Online publication date: 27-Sep-2006
https://dl.acm.org/doi/10.1109/SCAM.2006.7
Xu BQian JZhang XWu ZChen L(2005)A brief survey of program slicingACM SIGSOFT Software Engineering Notes10.1145/1050849.105086530:2(1-36)Online publication date: 1-Mar-2005
https://dl.acm.org/doi/10.1145/1050849.1050865
Chen YGansner EKoutsofios E(2005)A C++ data model supporting reachability analysis and dead code detectionSoftware Engineering — ESEC/FSE'9710.1007/3-540-63531-9_28(414-431)Online publication date: 1-Aug-2005
https://doi.org/10.1007/3-540-63531-9_28
van der Hoek AHall RHeimbigner DWolf A(2005)Software release managementSoftware Engineering — ESEC/FSE'9710.1007/3-540-63531-9_13(159-175)Online publication date: 1-Aug-2005
https://doi.org/10.1007/3-540-63531-9_13
Krinke J(2004)Visualization of program dependence and slices20th IEEE International Conference on Software Maintenance, 2004. Proceedings.10.1109/ICSM.2004.1357801(168-177)Online publication date: 2004
https://doi.org/10.1109/ICSM.2004.1357801
Sward RChamillard A(2003)AdaSlicerACM SIGAda Ada Letters10.1145/992211.958423XXIV:1(10-16)Online publication date: 7-Dec-2003
https://dl.acm.org/doi/10.1145/992211.958423
Sward RChamillard ALeif RSward R(2003)AdaSlicerProceedings of the 2003 annual ACM SIGAda international conference on Ada: the engineering of correct and reliable software for real-time & distributed systems using ada and related technologies10.1145/958420.958423(10-16)Online publication date: 7-Dec-2003
https://dl.acm.org/doi/10.1145/958420.958423
Mills MPeterson G(1998)Hardware/software co-designACM SIGAda Ada Letters10.1145/301687.289528XVIII:6(18-27)Online publication date: 1-Nov-1998
https://dl.acm.org/doi/10.1145/301687.289528
Mills MPeterson GSeidewitz EThomas WFeldman M(1998)Hardware/software co-designProceedings of the 1998 annual ACM SIGAda international conference on Ada10.1145/289524.289528(18-27)Online publication date: 1-Nov-1998
https://dl.acm.org/doi/10.1145/289524.289528
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Figures

Tables

Media

View Table of Conten