Program analysis

Program analysis
For other uses, see Program analysis (disambiguation).

In computer science, program analysis is the process of automatically analysing the behavior of computer programs. Two main approaches in program analysis are static program analysis and dynamic program analysis. Main applications of program analysis are program correctness and program optimization.

Techniques related to program analysis include:

A technique that is applied for certain kinds of program analysis is program slicing.

Related fields include performance analysis and program verification.

See also

Further reading

  • Flemming Nielson, Hanne Riis Nielson, Chris Hankin (2005). Principles of Program Analysis. Springer.

Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • Program analysis (computer science) — Computer program analysis is the process of automatically analysing the behavior of computerprograms.Two main approaches in program analysis are static program analysisand dynamic program analysis.Main applications of program analysis are program …   Wikipedia

  • Static program analysis — This article is about certain software quality assessment methods. For the statistical method, see Static analysis. Static program analysis (also Static code analysis or SCA) is the analysis of computer software that is performed without actually …   Wikipedia

  • Dynamic program analysis — is the analysis of computer software that is performed by executing programs built from that software system on a real or virtual processor. For dynamic program analysis to be effective, the target program must be executed with sufficient test… …   Wikipedia

  • Mars Exploration Program Analysis Group — The Mars Exploration Program Analysis Group is a forum created by NASA to enable the scientific community to provide input for the planning and prioritizing of the exploration of Mars over the next several decades. External links MEPAG Official… …   Wikipedia

  • Analysis — (from Greek ἀνάλυσις , a breaking up ) is the process of breaking a complex topic or substance into smaller parts to gain a better understanding of it. The technique has been applied in the study of mathematics and logic since before Aristotle,… …   Wikipedia

  • Program slicing — In computer programming, program slicing is the computation of a program slice. The program slice consists of the parts of a program that may affect the values computed at some point of interest, referred as a slicing criterion. Program slicing… …   Wikipedia

  • Program evaluation — is a formalized approach to studying the goals, processes, and impacts of projects, policies and programs. Program evaluation is used in the public and private sector and is taught in numerous universities. Evaluation became particularly relevant …   Wikipedia

  • Analysis of molecular variance — (AMOVA), is a statistical model for the molecular variation in a single species, typically biological. [Excoffier, L.; Smouse, P. E.; and Quattro, J. M. 1992. Analysis of Molecular Variance Inferred from Metric Distances among DNA Haplotypes:… …   Wikipedia

  • Program Composition Notation — (PCN) is a specification notation for building up larger programs from smaller modules or programs (usually written in C or Fortran). Efficient parallel programming is at the heart of PCN. Larger composed programs are intended to execute… …   Wikipedia

  • Analysis of algorithms — To analyze an algorithm is to determine the amount of resources (such as time and storage) necessary to execute it. Most algorithms are designed to work with inputs of arbitrary length. Usually the efficiency or running time of an algorithm is… …   Wikipedia

Share the article and excerpts

Direct link
… Do a right-click on the link above
and select “Copy Link”