Generating testing and analysis tools with Aria

ACM Transactions on Software Engineering and Methodology

Volumn 5, Issue 1, 1996, Pages 42-62

  Devanbu, Premkumar T ^a   Rosenblum, David S ^a   Wolf, Alexander L ^b  

^a AT AND T LABS RESEARCH   (United States)

^b UNIVERSITY OF COLORADO   (United States)

Author keywords

D.1.m Programming Techniques : Miscellaneous graph traversal; D.2.2 Software Engineering : Tools and Techniques software libraries; tool generators; tool specification; D.2.5 Software Engineering : Testing and Debugging coverage analyzers

Indexed keywords

ALGORITHMS; C (PROGRAMMING LANGUAGE); COMPUTATIONAL LINGUISTICS; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SOFTWARE SELECTION AND EVALUATION; DATA STRUCTURES; GRAPH THEORY; PROGRAM DEBUGGING; SYSTEMS ANALYSIS;

APPLICATION GENERATORS; ARIA; GENOA; PROGRAM DEPENDENCE GRAPHS; PROGRAM REPRESENTATIONS; REPRISE; SOFTWARE ANALYSIS; SOFTWARE TESTING;

SOFTWARE ENGINEERING;

EID: 0029713449     PISSN: 1049331X     EISSN: None     Source Type: Journal    
DOI: 10.1145/226155.226157     Document Type: Article

References (14)

1. BALLANCE, R., GRAHAM, S., AND VANTER, M.V.D. 1992. The Pan language-based editing system. ACM Trans. Softw. Eng. Method. 1, 1 (Jan.), 95-127.
2. BORRAS, P., CLÉMENT, D., DESPEYROUX, T., INCERPI, J., KAHN, G., LANG, B., AND PASCUAL, V. 1988. Centaur: The system. In SIGSOFT '88: Proceedings of the 3rd Symposium on Software Development Environments. ACM, New York, 14-24.
3. CLARKE, L. AND RICHARDSON, D. 1981. Symbolic evaluation methods for program analysis. In Program Flow Analysis, S. Muchnick and N. Jones, Eds. Prentice-Hall, Englewood Cliffs, N.J.
4. DEVANBU, P. 1992. GENOA - A customizable, language- and front-end-independent code analyzer. In Proceedings of the 14th International Conference on Software Engineering. IEEE Computer Society, Washington, D.C., 307-317.
5. FERRANTE, J., OTTENSTEIN, K., AND WARREN, J. 1987. The program dependence graph and its use in optimization. ACM Trans. Program. Lang. Syst. 9, 3 (Oct.), 319-349.
6. GRAY, R., HEURING, V., LEVI, S., SLOANE, A., AND WAITE, W. 1992. Eli: A complete, flexible compiler construction system. Commun. ACM 35, 2 (Feb.), 121-131.
7. HABERMANN, N. AND NOTKIN, D. 1986. Gandalf: Software development environments. IEEE Trans. Softw. Eng. SE-12, 12 (Dec.), 1117-1127.
8. HARROLD, M. J., MALLOY, B., AND ROTHERMEL, G. 1993. Efficient construction of program dependence graphs. In Proceedings of the 1993 International Symposium on Software Testing and Analysis (ISSTA). ACM, New York, 160-170.
9. MCCABE, T. 1976. A complexity measure. IEEE Trans. Softw. Eng. 2, 4 (Dec.), 308-320.
10. PODGURSKI, A. AND CLARKE, L. 1990. A formal model of program dependencies and its implications for software testing, debugging, and maintenance. IEEE Trans. Softw. Eng. 16, 9 (Sept.), 965-979.
11. REASONING SYSTEMS. 1990. REFINE 3.0 User's Guide. Reasoning Systems, Inc., Palo Alto, Calif.
12. REPS, T. AND TEITELBAUM, T. 1984. The synthesizer generator. In Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments. ACM, New York, 42-48.
13. RICHARDSON, D., O'MALLEY, T., MOORE, C., AND AHA, S. 1992. Developing and integrating ProDAG in the Arcadia environment. In SIGSOFT '92: Proceedings of the 5th Symposium on Software Development Environments. ACM, New York, 109-119.
14. ROSENBLUM, D. AND WOLF, A. 1991. Representing semantically analyzed C++ code with Reprise. In Proceedings of the 3rd C++ Technical Conference. USENIX Assoc., Berkeley, Calif., 119-134.