Тести́рование програ́ммного обеспе́че́ния — процесс исследования, испытания программного продукта, имеющий своей целью проверку соответствия между реальным поведением программы и её ожидаемым поведением на конечном наборе тестов, выбранных определённым образом.
Верифика́ция в различных сферах деятельности человека может подразумевать:
- подтверждение того, что заданные требования выполнены, через предоставление объективных свидетельств;
- оценка соответствия продукта, услуги или системы нормам, требованиям, спецификациям или установленным условиям;
- проверка, подтверждение, метод доказательств каких-либо теоретических положений, алгоритмов, программ и процедур путём их сопоставления с опытными данными, алгоритмами и программами;
- методика распознавания на соответствие правде;
- в науке, проверка теоретических положений на соответствие реальности при помощи эксперимента.
Стейкхо́лдер, также заинтересованная сторона, причастная сторона, участник работ, роль в проекте — лицо или организация, имеющая права, долю, требования или интересы относительно системы или её свойств, удовлетворяющих их потребностям и ожиданиям.
Испытание — опытное определение количественных и (или) качественных свойств предмета испытаний как результата воздействий на него, при его функционировании, при моделировании предмета и (или) воздействий. Испытания обычно проводят с целью получения сведений, необходимых для принятия решения о соответствии предмета испытаний заданным требованиям. Также испытания проводят с научными целями, с целью изучения предмета, с целью установления цены изделия и т. д. Отдельные виды испытаний имеют исторически сложившиеся названия: химический анализ, органолептический анализ, металлографические исследования, микробиологический анализ, геммологическая диагностика, измерение и др. Испытания классифицируют:
ХАССП — концепция, предусматривающая систематическую идентификацию, оценку и управление опасными факторами, существенно влияющими на безопасность продукции.
Проекти́рование — процесс определения архитектуры, компонентов, интерфейсов и других характеристик системы или её части. Результатом проектирования является прое́кт — целостная совокупность моделей, свойств или характеристик, описанных в форме, пригодной для реализации системы. В рамках технического регулирования проектирование рассматривается как связанный с продукцией процесс. При этом продукция рассматривается как вещь ещё не существующая физически, но существующая в юридическом смысле.
Показатель качества (продукции) — это количественная характеристика одного или нескольких свойств продукции, входящих в её качество, рассматриваемая применительно к определённым условиям её создания и эксплуатации или потребления.
Жизненный цикл программного обеспечения (ПО) — период времени, который начинается с момента принятия решения о необходимости создания программного продукта и заканчивается в момент его полного изъятия из эксплуатации.
Инжене́р-констру́ктор — специалист, чья деятельность (работа) необходима для разработки и создания конечного (целевого) продукта из продуктов и ресурсов существующего материального производства. Например: инженер-конструктор деревообрабатывающего и мебельного производства, инженер-конструктор стальных конструкций и т. д. Под созданием конечного (целевого) продукта при этом понимают объединение продуктов (ресурсов), например: сборка, монтаж, сварка, бетонирование и т. д.
Техника безопасности (ТБ) — устаревший термин, обозначавший часть функции «охраны труда» — управления производственной деятельностью, направленной на предотвращение травм и заболеваний, связанных с производством. В настоящее время практически не применяется и не встречается в официальных документах.
Маши́на — техническое устройство, выполняющее механические движения для преобразования энергии, материалов и информации.
Легализация ПО — это отказ от «пиратского» использования программ, переход с использования проприетарного программного обеспечения, не сопровождаемого лицензиями на использование ПО, сопровождаемого этими документами.
Маркировка CE — специальный знак, наносимый на изделие, который удостоверяет, что изделие соответствует основным требованиям директив ЕС и гармонизированным стандартам Европейского союза, а также то, что продукт прошёл процедуру оценки соответствия директивам. Маркировка CE указывает на то, что изделие не является вредным (опасным) для здоровья его потребителей, а также безвредно для окружающей среды. Однако следует учитывать, что знак CE не является символом качества продукции. Решение 768/2008/EC , принятое 9 июля 2008 года, регулирует права и обязанности по применению маркировки СЕ. Согласно данному Решению Европейского Парламента, существуют рекомендации странам Европейского союза по контролю над внутренним рынком ЕС по обороту продукции, подлежащей обязательной маркировке знаком СЕ. В странах Европейского Сообщества введены административные и уголовные наказания за нарушения правил, которые касаются применения маркировки СЕ. Продукция, не соответствующая директивам и гармонизированным стандартам Европейского союза, обязывающим нанесение знака СЕ, не допускается на внутренний рынок ЕС. При этом нанесение маркировки СЕ требуется не для всех групп товаров. Знак СЕ является единственным знаком в странах Европейского союза, подтверждающим соответствие продукции европейским стандартам безопасности для человека, имущества и окружающей среды.
Производственный процесс — это совокупность действий работников и орудий труда, в результате которых сырьё, материалы, полуфабрикаты и комплектующие изделия, поступающие на предприятие, превращаются в готовую продукцию или услугу в заданном количестве и заданного свойства, качестве и ассортименте в определённые сроки. Производственный процесс состоит из основных, вспомогательных и обслуживающих процессов.
Оценка соответствия — прямое или косвенное определение соблюдения требований, предъявляемых к объекту.
Управление проектированием — это организационно-техническая деятельность, которая в рамках условий поставленной задачи позволяет наилучшим образом разработать проектную документацию на новую продукцию.
ISO 13485 — международный отраслевой стандарт, который был разработан Международной организацией по стандартизации. Стандарт содержит требования к системе менеджмента качества производителей медицинских изделий. Требования к системе менеджмента качества, установленные в стандарте, являются дополнительными по отношению к техническим требованиям к продукции. Данный вид стандарта является добровольным к применению.
Формальная верификация криптографических протоколов — проверка криптографических протоколов на обеспечение требуемых свойств безопасности. Одной из составляющих такой проверки является определение стойкости протокола к атакам в предположении о надёжности криптографических примитивов, на которых он основывается. Для решения этой задачи разработан ряд подходов, основанных на различных формальных методах верификации. Общей чертой формальных методов является использование системного подхода к проблеме, позволяющего выполнять более обоснованную, точную и эффективную проверку свойств безопасности протокола.
ISO 26262 — международный стандарт по функциональной безопасности дорожных транспортных средств. Стандарт был подготовлен к выпуску Техническим комитетом ISO/TC 22/SC 32 «Электрические, электронные компоненты и виды систем общего назначения» Международной организации по стандартизации и выдержал на данный момент 2 издания: первое — в ноябре 2011 года и второе — в декабре 2018 года.
Валидация данных — это процесс проверки данных различных типов по критериям корректности и полезности для конкретного применения. Валидация данных проводится, как правило, после выполнения операций ETL и для подтверждения корректности результатов работы моделей машинного обучения (предиктов). Валидация данных применяется не только к табличным данным, но и датасетам, содержащим наборы таблиц, текстовую, графическую, звуковую информацию.