ПРОГРА́ММ АНА́ЛИЗ

ПРОГРА́ММ АНА́ЛИЗ, сис­те­ма­ти­че­ская про­це­ду­ра из­вле­че­ния из про­грам­мы для ЭВМ ин­фор­ма­ции, ха­рак­те­ри­зую­щей как про­грам­му в це­лом, так и со­став­ляю­щие её эле­мен­ты. По­треб­ность в П. а. воз­ни­ка­ет во мно­гих ви­дах ра­бо­ты с про­грам­ма­ми, в ча­ст­но­сти при про­грамм оп­ти­ми­за­ции и про­грамм син­те­зе. В ка­че­ст­ве при­ме­ров свойств про­грамм, ус­та­нав­ли­вае­мых сред­ст­ва­ми П. а., мож­но ука­зать сле­дую­щие за­да­чи: со­дер­жит ли про­грам­ма цик­лы или ре­кур­сив­ные вы­зо­вы под­про­грамм, влия­ет ли ре­зуль­тат ис­пол­не­ния од­ной ко­ман­ды про­грам­мы на ар­гу­мент дру­гой ко­ман­ды, и т. п.

Наи­бо­лее рас­про­стра­нён­ным спо­со­бом П. а. яв­ля­ет­ся по­то­ко­вый ана­лиз, пред­став­ляю­щий со­бой ин­дук­тив­ный про­цесс дви­же­ния по не­ко­то­ро­му ори­ен­ти­ро­ван­но­му гра­фу, ха­рак­те­ри­зую­ще­му струк­ту­ру про­грам­мы, ча­ще все­го по управ­ляю­ще­му гра­фу, вер­ши­на­ми ко­то­ро­го яв­ля­ют­ся ко­ман­ды про­грам­мы, а ду­ги (a, b) оз­на­ча­ют воз­мож­ность ко­ман­де b вы­пол­нить­ся сра­зу вслед за ко­ман­дой a.