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

Предмет Программирование

👍 Проверено Автор24

доказательство того, что работа программы соответствует спецификации на эту программу.

Научные статьи на тему «Верификация программы»

Основные этапы процесса разработки программ. Контроль текста программы до выхода на компьютер

Метод установления правильности программ при помощи строгих средств называется верификацией программ....
, а при верификации анализируются свойства программ....
Метод верификации основывается на предположении, что существует программная документация, соответствие...
Условия верификации можно строить и в обратном направлении: принимая истинность выходного утверждения...
Преимуществом верификации является возможность формализации процесса доказательства, что позволяет выполнять

Статья от экспертов

Верификация параллельных программ

Классическим способом доказательства правильности программ является использование системы Дейкстры. Эта система изначально предназначана для однопоточной последовательной программы. Рассматривается возможность применения системы Дейкстры к верификации параллельных программ.

Creative Commons

Научный журнал

Алгоритмы верификации программного обеспечения

, опираясь на математические модели программы без обращения к ее физической реализации....
тестирования и анализа программных продуктов и дает возможность осуществлять моделирование исполнения программы...
Любое символьное исполнение является эквивалентным исполнению программы на совокупности фактических тестовых...
Артефактом ПО является изучаемый фрагмент кода программы....
Время исполнения призвано определить время, которое необходимо для осуществления верификации программы

Статья от экспертов

Параллельные вычисления и верификация программ

Рассмотрены основные особенности процесса верификации программного кода, описаны основные подходы к решению задач верификации. Проведен краткий обзор задач распараллеливания вычислений.

Creative Commons

Научный журнал

Еще термины по предмету «Программирование»

Символьный (литерный) тип

значениями этого типа являются элементы набора литер, определяемого реализацией языка.

Системы программирования

предназначены для разработки новых программ на конкретном языке программирования и включают в себя компилято- 83 ры, интерпретаторы, диалоговую среду, редакторы текстов, библиотеки стандартных подпрограмм, компоновщики, отладчики, справочные службы и т.д.

Сложность алгоритма

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

Смотреть больше терминов

Повышай знания с онлайн-тренажером от Автор24!

Напиши термин
Выбери определение из предложенных или загрузи свое
Тренажер от Автор24 поможет тебе выучить термины с помощью удобных и приятных карточек

Попробовать тренажер