Внутренняя память машины Тьюринга
две ячейки: Q — ячейка признаков состояния {q1, q2, · · · , qm}, машины Тьюринга (точнее той её части, которая выполняет действия над данными).
Верификация программы
Предмет
Программирование
👍 Проверено
Автор24
доказательство того, что работа программы соответствует спецификации на эту программу.
Научные статьи на тему «Верификация программы»
Основные этапы процесса разработки программ. Контроль текста программы до выхода на компьютер
Метод установления правильности программ при помощи строгих средств называется верификацией программ....
, а при верификации анализируются свойства программ....
Метод верификации основывается на предположении, что существует программная документация, соответствие...
Условия верификации можно строить и в обратном направлении: принимая истинность выходного утверждения...
Преимуществом верификации является возможность формализации процесса доказательства, что позволяет выполнять
Статья от экспертов
Верификация параллельных программ
Классическим способом доказательства правильности программ является использование системы Дейкстры. Эта система изначально предназначана для однопоточной последовательной программы. Рассматривается возможность применения системы Дейкстры к верификации параллельных программ.
Creative Commons
Научный журнал
Алгоритмы верификации программного обеспечения
, опираясь на математические модели программы без обращения к ее физической реализации....
тестирования и анализа программных продуктов и дает возможность осуществлять моделирование исполнения программы...
Любое символьное исполнение является эквивалентным исполнению программы на совокупности фактических тестовых...
Артефактом ПО является изучаемый фрагмент кода программы....
Время исполнения призвано определить время, которое необходимо для осуществления верификации программы
Статья от экспертов
Параллельные вычисления и верификация программ
Рассмотрены основные особенности процесса верификации программного кода, описаны основные подходы к решению задач верификации. Проведен краткий обзор задач распараллеливания вычислений.
Creative Commons
Научный журнал
Еще термины по предмету «Программирование»
Ортогональность языков программирования
означает, что любые возможные комбинации различных языковых конструкций будут осмысленными, без непредвиденных ограничений или неожиданного поведения, возникающих в результате взаимодействия конструкций или контекста использования.
Составной идентификатор
идентификатор объекта, включающий идентификаторы классов, которые вложены друг в друга.
- Верификация программы (program verification)
- Программа верификации (program verification)
- Верификация
- Верификация (verification)
- Верификация прогноза
- Верификация требований
- Прямая верификация
- Программа
- Верификация коридора ожидаемой доходности
- Социальные программы
- Офис программы
- Программа проектов
- Программа атласа
- Программа карты
- Прикладная программа
- Сервисная программа
- Учебная программа
- Программа аудита
- Государственная программа
- Музейнопедагогическая программа
Повышай знания с онлайн-тренажером от Автор24!
- Напиши термин
- Выбери определение из предложенных или загрузи свое
- Тренажер от Автор24 поможет тебе выучить термины с помощью удобных и приятных карточек
