Методы и средства инженерии программного обеспечения

       

Методы доказательства правильности программ


Эти  методы появились  в 80–е годы и  разделяются  на два класса:

1. Точные методы доказательства правильности программ.

2.  Методы  доказательства  частичной правильности программ.         

Наиболее известными точными методами доказательства программ  являются метод    рекурсивной индукции или  индуктивных утверждений Флойда и Наура и метод структурной индукции Хоара и др. Эти методы основываются на  утверждениях и пред и пост–условиях.



Содержание раздела