Верификация программы (Program verification) по ГОСТ 19781–90
Доказательство того, что поведение программы соответствует спецификации на эту программу [из 54 табл. 1 ГОСТ 19781—90]
Доказательство того, что поведение программы соответствует спецификации на эту программу [из 54 табл. 1 ГОСТ 19781—90]
Установление соответствия программы вычислительной машины заданным требованиям и программным документам [из 10 ГОСТ 19.004—80]
Формирование конкретного варианта программы вычислительной машины, обладающего свойством многовариантности, учитывающего состав и структуру технических средств, возможные режимы работы и классы решаемых задач [из 11 ГОСТ 19.004—80]
Программа на машинном языке, выполнение которой не зависит от ее местоположения в оперативной памяти [из 10 табл. 1 ГОСТ 19781—90]
Данные, предназначенные для управления конкретными компонентами системы обработки информации в целях реализации определенного алгоритма [из 1 табл. 1 ГОСТ 19781—90]
Ряд связанных друг с другом проектов, управление которыми координируется для достижения преимуществ и степени управляемости, недоступных при управлении ими по отдельности [из 2.25 ГОСТ Р 56862—2016]
Организационно–методический документ, обязательный к выполнению, устанавливающий объект и цели испытаний, виды, последовательность и объем проводимых экспериментов, порядок, условия, место и сроки проведения испытаний, обеспечение и отчетность по ним, а также ответственность за обеспечение и проведение испытаний [из 13 ГОСТ 16504—81]
Программа, предназначенная для оказания услуг общего характера пользователям и обслуживающему персоналу системы обработки информации [из 8 табл. 1 ГОСТ 19781—90]
Программа, один и тот же экземпляр которой в оперативной памяти способен выполняться многократно, причем так, что каждое выполнение может начинаться в любой момент по отношению к другому выполнению [из 11 табл. 1 ГОСТ 19781—90]
Copyright © 2024 Company Name - All rights reserved
Developed & Designed by Alaa Haddad