ГОСТ Р МЭК 62279—2016
3.1.42 тестирование (testing): Процесс выполнения программного обеспечения при заданных ус
ловиях для установления его поведения и работоспособности при сравнении с соответствующей спе
цификацией требований.
3.1.43 класс инструментальных средств Т1 (tool class Т1): Созданный инструментом результат
не может прямо или косвенно повлиять на исполнимый код (включая данные) программного обеспече
ния.
П р и м е ч ан и е — Примеры класса Т1 включают: редактор текста либо инструментальное средство про
ектирования без возможностей автоматической генерации объектного кода: средства управления конфигурацией.
3.1.44 класс инструментальных средств Т2 (tool class Т2): Инструментальные средства, под
держивающие тестирование или проверку проекта или исполнимого кода, ошибки в которых не позво
ляют выявить дефекты, но они не могут непосредственно создавать ошибки в исполнимом программ
ном обеспечении.
П р и м е ч ан и е — Примеры класса Т2 включают: генератор испытания ремня безопасности; инструмен
тальное средство измерения тестового охвата; инструментальное средство статического анализа.
3.1.45 класс инструментальных средств ТЗ (tool class ТЗ): Созданный инструментом результат
может прямо или косвенно повлиять на исполнимый код (включая данные) связанной с безопасностью
системы.
П р и м е ч ан и е — Примеры класса ТЗ включают: компилятор исходного кода, компилятор данньк/алгорит-
мов. инструмент для изменения уставок во время работы системы: оптимизирующий компилятор, где отношения
между исходным кодом программы и сгенерированным объектным кодом не очевидны; компилятор, который вклю
чает выполняемый программный пакет времени выполнения в выполнимый код.
3.1.46 прослеживаемость (traceability). Степень, с которой может быть установлено отношение
между двумя или более результатами процесса разработки, особенно между имеющими лредшествен-
ника/преемника или отношение основной/зависимый между собой.
3.1.47 подтверждение соответствия (validation); Процесс анализа, за которым следует основан
ное на доказательстве обоснование, при определении того, соответствует ли элемент (например, про
цесс. документация, программное обеспечение или применение) потребностям пользователя, в осо
бенности относительно безопасности и качества и с учетом пригодности его работы в соответствии с
его целью в намеченном для него окружении.
3.1.48 менеджер по подтверждению соответствия (validator); Субъект, ответственный за под
тверждение соответствия.
3.1.49 проверка (verification): Процесс экспертизы, за которым следует основанное на доказатель
стве обоснование того, что выходные элементы (процесс, документация, программное обеспечение
или приложение) конкретной стадии разработки, удовлетворяют требованиям этой стадии, связанным с
полнотой, правильностью и согласованностью.
П р и м е ч ан и е — Проверка главным образом основана на рецензировании выходных документов (проек
та. реализации, документов испытаний и т. д.).
3.1.50 менеджер по проверке (verifier): Субъект, ответственный за одно или более действий про
верки.
3.2 Сокращения
ASR — оценщик.
COTS— коробочное программное обеспечение;
CGM — менеджер конфигураций;
DES— проектировщик;
HR — настоятельно рекомендуемый;
IMP— разработчик;
INT— интегратор.
JSD — метод JSD;
5