Name
Abstract | ||
|---|---|---|
Testing forms a critical part of the development process for large-scale software, and there is growing need for automated tools that can read, represent, analyze, and transform the application's source code to help carry out testing tasks. However, the support required to compile applications written in common general purpose languages is generally inaccessible to the testing research community. In this paper, we report on an extensible, open-source compiler infrastructure called ROSE, which is currently in development at Lawrence Livermore National Laboratory. ROSE specifically targets developers who wish to build source-based tools that implement customized analyses and optimizations for large-scale C, C++, and Fortran90 scientific computing applications (on the order of a million lines of code or more). However, much of this infrastructure can also be used to address problems in testing, and ROSE is by design broadly accessible to those without a formal compiler background. This paper details the interactions between testing of applications and the ways in which compiler technology can aid in the understanding of those applications. We emphasize the particular aspects of ROSE, such as support for the general analysis of whole programs, that are particularly well-suited to the testing research community and the scale of the problems that community solves. |
Year | DOI | Venue |
|---|---|---|
2005 | 10.1007/11678779_9 | Haifa Verification Conference |
Keywords | Field | DocType |
lines of code,development process,scientific computing,source code,verification,testing,design | Programming language,Computer science,Source code,Compiler correctness,Abstract syntax tree,Theoretical computer science,Compiler,Software,Test strategy,Code review,Source lines of code,Distributed computing | Conference |
Volume | ISSN | ISBN |
3875 | 0302-9743 | 3-540-32604-9 |
Citations | PageRank | References |
1 | 0.36 | 34 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Daniel J. Quinlan | 1 | 652 | 80.13 |
| Shmuel Ur | 2 | 885 | 101.32 |
| Richard Vuduc | 3 | 1343 | 100.74 |