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

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

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

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

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

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

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

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

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

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

Creative Commons

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

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

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

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

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

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

Creative Commons

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

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

Абстрактный родительский класс

родительский класс, не имеющий экземпляров объектов.

Процедура начальной загрузки

ввод программы в оперативную память для выполнения, при котором никакие программы, кроме вводимой, не управляют вводом.

Составной идентификатор

идентификатор объекта, включающий идентификаторы классов, которые вложены друг в друга.

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

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

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

Нужна помощь с заданием?

Эксперт возьмёт заказ за 5 мин, 400 000 проверенных авторов помогут сдать работу в срок. Гарантия 20 дней, поможем начать и проконсультируем в Telegram-боте Автор24.

Перейти в Telegram Bot