Title :
A computation-oriented program experimentation system (COPES)
Author :
Ammar, Reda A. ; Law, Hermes ; Sholl, Howard A. ; Qin, Bin
Author_Institution :
Dept. of Comput. Sci. & Eng., Connecticut Univ., Storrs, CT, USA
Abstract :
A software experimental analysis approach that unifies static and dynamic techniques is presented. The goal was to develop practical means to obtain precise, in-depth, and relevant performance information, especially execution time, for guiding design decisions. First, computation cost functions of a program are derived. This is done by modeling the program using the computation structure model and then applying a flow analysis technique to derive the program´s cost function. In addition, program instrumentation techniques are employed to measure control flows and to trace program variables. Finally, precise execution-time information is computed by evaluating the cost function against the measured control flows. The three classes of parameters (execution time, control flow and program variables) can be analyzed selectively and interactively; this gives much insight about an individual design alternative´s actual behavior. To cope with tedious and frequent analyses of large and complex software, a tool COPES, was built that automates the static and dynamic techniques required. The implementation and usage of this tool are illustrated
Keywords :
program testing; software tools; COPES; computation cost functions; computation structure model; computation-oriented program experimentation system; control flow; control flow measurement; cost function; dynamic techniques; execution time; flow analysis technique; program instrumentation techniques; program variable tracing; program variables; software experimental analysis approach; static techniques; Analytical models; Application software; Automatic control; Computational modeling; Computer science; Cost function; Performance analysis; Software systems; Time measurement; Timing;
Conference_Titel :
Systems, Man and Cybernetics, 1989. Conference Proceedings., IEEE International Conference on
Conference_Location :
Cambridge, MA
DOI :
10.1109/ICSMC.1989.71417