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

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

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

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

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

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

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

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

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

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

Creative Commons

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

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

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

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

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

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

Creative Commons

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

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

Синхронные программные

вызываются специально предусмотренной инструкцией; такой тип прерываний предназначен для организации интерфейса между системными компонентами и программами.

Система Управления Базами Данных (СУБД)

программное обеспечение (информационная система), осуществляющее весь спектр операций по управлению базами данных, к которым относятся сама организация хранения данных, обработка инструкций SQL, организация резервного копирования, восстановление резервных копий и т.п.

Старшинство (приоритеты) операций

задает очередность выполнения операций, указанных в выражении.

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

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

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

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