Generating testing and analysis tools with Aria

Authors:
Premkumar T. Devanbu;David S. Rosenblum;Alexander L. Wolf
Affiliations:
AT&T Research;AT&T Research;Univ. of Colorado
Venue:
ACM Transactions on Software Engineering and Methodology (TOSEM)
Year:
1996

Citing 10
Cited 9

Gandalf: software development environments

IEEE Transactions on Software Engineering
The program dependence graph and its use in optimization

ACM Transactions on Programming Languages and Systems (TOPLAS)
Centaur: the system

SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
A Formal Model of Program Dependences and its Implications for Software Testing, Debugging, and Maintenance

IEEE Transactions on Software Engineering
The Pan language-based editing system

ACM Transactions on Software Engineering and Methodology (TOSEM)
Eli: a complete, flexible compiler construction system

Communications of the ACM
GENOA: a customizable language- and front-end independent code analyzer

ICSE '92 Proceedings of the 14th international conference on Software engineering
Developing and integrating ProDAG in the Arcadia environment

SDE 5 Proceedings of the fifth ACM SIGSOFT symposium on Software development environments
Efficient construction of program dependence graphs

ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
The synthesizer generator

SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments

A C++ data model supporting reachability analysis and dead code detection

ESEC '97/FSE-5 Proceedings of the 6th European SOFTWARE ENGINEERING conference held jointly with the 5th ACM SIGSOFT international symposium on Foundations of software engineering
A C++ Data Model Supporting Reachability Analysis and Dead Code Detection

IEEE Transactions on Software Engineering
GENOA—a customizable, front-end-retargetable source code analysis framework

ACM Transactions on Software Engineering and Methodology (TOSEM)
A database representation that improves automation and maintains consistency in a multiple view environment

SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Automatic generation of interprocedural data-flow analyzers and optimizers

Journal of Computer Science and Technology
Modular Domain Specific Languages and Tools

ICSR '98 Proceedings of the 5th International Conference on Software Reuse
Object-oriented processing of Java source code

Software—Practice & Experience
Effective pattern matching of source code using abstract syntax patterns

Software—Practice & Experience
ASTLOG: a language for examining abstract syntax trees

DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997

Quantified Score

Hi-index	0.00

Visualization

Abstract

Many software testing and analysis tools manipulate graph representations of programs, such as abstract syntax trees or abstract semantics graphs. Handcrafting such tools in conventional programming languages can be difficult, error prone, and time consuming. Our approach is to use application generators targeted for the domain of graph-representation-based testing and analysis tools. Moreover, we generate the generators themselves, so that the development of tools based on different languages and/or representations can also be supported better. In this article we report on our experiences in developing and using a system called Aria that generates testing and analysis tools based on an abstract semantics graph representation for C and C++ called Reprise. Aria itself was generated by the Genoa system. We demonstrate the utility of Aria and, thereby, the power of our approach, by showing Aria's use in the development of a number of useful testing and analysis tools.