Верификация программы

Материал из ПИЭ.Wiki

Перейти к: навигация, поиск
Файл:Wiki_letter_w.png

Это незавершённая статья. Вы можете помочь проекту, исправив и дополнив её.

Верификация программы - доказательство ее правильности путем проверки формальными методами некоторых ее свойств.

Верификация программ складывается из двух этапов:

  • проверка правильности применения модулей только на основании знания их спецификаций;
  • установление соответствия спецификации и реализации модулей.

Литература

  1. М.М. Бежанова, Л.А. Москвина. Практическое программирование. Приемы создания программ на языке Паскаль. М.: Научный Мир, 2000, 270 с. ISBN 5-89176-112-2
Просмотры
Инструменты

Besucherzahler russian mail order brides
счетчик посещений
Rambler's Top100
Лингафонные кабинеты  Интерактивные доски  Интерактивная приставка Mimio Teach