- Заглавие: ВЕРИФИКАЦИЯ ПРОГРАММЫ
- Год актуализации: 2014
- УДК: 004 Информационные технологии. Вычислительная техника...
- ББК: 3281 Кибернетика
- Тематики:
ИНФОРМАТИКА
- Биб. карточка:
ВЕРИФИКАЦИЯ ПРОГРАММЫ [Архитектура ЭВМ: Уч. пос. / В.Д. Колдаев - М.: ИД ФОРУМ: НИЦ ИНФРА-М, 2017. - 384 с.(ПО) (п) ISBN:978-5-8199-0373-5]
- Источник публикации: Архитектура ЭВМ: справочник
- Фрагмент статьи: ВЕРИФИКАЦИЯ ПРОГРАММЫ– установление любым кор- ректным методом факта соответствия программы заданным целям ее создания или приобретения – установление правильности про- граммы; формализованный контроль или проверка работоспособ- ности программы.
