Фор­маль­ная ве­ри­фи­ка­ция цик­ли­че­ских про­грамм.

Фе­дя­ев О.И.

В ста­тье рас­смат­ри­ва­ет­ся ана­ли­ти­че­ский под­ход к оцен­ке кор­рект­но­сти слож­ных про­грамм. На при­ме­ре до­ка­за­тель­ства пра­виль­но­сти про­грам­мы сор­ти­ров­ки про­ве­де­на апро­ба­ция тео­ре­ти­ко-функ­ци­о­наль­но­го ме­то­да ве­ри­фи­ка­ции. Фор­ма­лизм про­грамм­ных функ­ций поз­во­лил ма­те­ма­ти­че­ски стро­го пре­одо­леть слож­но­сти до­ка­за­тель­ства пра­виль­но­сти об­ра­бот­ки эле­мен­тов мас­си­ва во вло­жен­ных цик­лах. Ре­зуль­та­ты ста­тьи под­твер­жда­ют воз­мож­ность при­ме­не­ния дан­но­го ме­то­да на прак­ти­ке в про­грамм­ной ин­же­не­рии. Клю­че­вые слова: ве­ри­фи­ка­ция про­грам­мы, кор­рект­ность про­грам­мы, про­грамм­ная функ­ция, до­ка­за­тель­ство пра­виль­но­сти про­грам­мы, тео­ре­ти­ко-функ­ци­о­наль­ный под­ход.


За­гру­зить (pdf)