Автор работы: Пользователь скрыл имя, 01 Июня 2013 в 18:13, творческая работа
Верификация программ – метод установления правильности программ при помощи строгих средств.
При этом программа будет считаться правильной, если решит поставленную задачу.
В основе метода верификации лежит предположение о том, что существует некоторая программная документация, соответствие которой нужно доказать.
Верификация программ - трудоемкий процесс, и его целесообразно автоматизировать. Проблемы корректности программы алгоритмически неразрешимы, поэтому не следует рассчитывать на полную автоматизацию.