Анализа програма

Из Википедије, слободне енциклопедије

У рачунарству, анализа програма је процес који аутоматски анализира понашање компјутерских програма. Два основна приступа у анализи програма су статичка анализа програма и динамичка анализа програма. Главне примене анализе програма су у коректности програма и у оптимизацији програма.

Технике које се односе на анализу програма су:

Техника која се примењује за одређене врсте анализе програма је сецкање програма.

Сродне области укључују анализе перформанси и верификацију.


Литература[уреди]