А́да (Ada) — язык программирования, созданный в 1979—1980 годах в ходе проекта Министерства обороны США с целью разработать единый язык программирования для встроенных систем. Имелись в виду прежде всего бортовые системы управления военными объектами. Перед разработчиками не стояло задачи создать универсальный язык, поэтому решения, принятые авторами Ады, нужно воспринимать в контексте особенностей выбранной предметной области. Язык назван в честь Ады Лавлейс.
Си — компилируемый статически типизированный язык программирования общего назначения, разработанный в 1969—1973 годах сотрудником Bell Labs Деннисом Ритчи как развитие языка Би. Первоначально был разработан для реализации операционной системы UNIX, но впоследствии был перенесён на множество других платформ. Согласно дизайну языка, его конструкции близко сопоставляются типичным машинным инструкциям, благодаря чему он нашёл применение в проектах, для которых был свойственен язык ассемблера, в том числе как в операционных системах, так и в различном прикладном программном обеспечении для множества устройств — от суперкомпьютеров до встраиваемых систем. Язык программирования Си оказал существенное влияние на развитие индустрии программного обеспечения, а его синтаксис стал основой для таких языков программирования, как C++, C#, Java и Objective-C.
IEEE 1284, LPT — международный стандарт параллельного интерфейса для подключения периферийных устройств персонального компьютера.
Тести́рование програ́ммного обеспе́че́ния — процесс исследования, испытания программного продукта, имеющий своей целью проверку соответствия между реальным поведением программы и её ожидаемым поведением на конечном наборе тестов, выбранных определённым образом.
Модульное тестирование, иногда блочное тестирование или юнит-тестирование — процесс в программировании, позволяющий проверить на корректность отдельные модули исходного кода программы, наборы из одного или более программных модулей вместе с соответствующими управляющими данными, процедурами использования и обработки.
Разработка через тестирование — техника разработки программного обеспечения, которая основывается на повторении очень коротких циклов разработки: сначала пишется тест, покрывающий желаемое изменение, затем пишется код, который позволит пройти тест, и под конец проводится рефакторинг нового кода к соответствующим стандартам. Кент Бек, считающийся изобретателем этой техники, утверждал в 2003 году, что разработка через тестирование поощряет простой дизайн и внушает уверенность.
Психологическое тестирование — термин психологии, обозначающий процедуру установления и измерения индивидуально-психологических отличий. В отечественной психологии чаще употребляется термин «психодиагностическое обследование».
Открытый стандарт — общедоступная и не секретная техническая спецификация, у которой либо отсутствует правообладатель, либо же правообладателем является общественная организация, не совпадающая тождественно с производителем, использующим спецификацию в своих продуктах.
Linux Standard Base, LSB — совместный проект семейства операционных систем, основанных на Linux, при организации Linux Foundation, целью которого является стандартизация их внутренней структуры. LSB опирается на существующие спецификации, такие как POSIX, Single UNIX Specification и другие открытые стандарты, при этом расширяя и дополняя их.
Критерии определения безопасности компьютерных систем — стандарт Министерства обороны США, устанавливающий основные условия для оценки эффективности средств компьютерной безопасности, содержащихся в компьютерной системе. Критерии используются для определения, классификации и выбора компьютерных систем, предназначенных для обработки, хранения и поиска важной или секретной информации.
JTAG — название рабочей группы по разработке стандарта IEEE 1149. Позднее это сокращение стало прочно ассоциироваться с разработанным этой группой специализированным аппаратным интерфейсом на базе стандарта IEEE 1149.1. Официальное название стандарта Standard Test Access Port and Boundary-Scan Architecture. Интерфейс предназначен для подключения сложных цифровых микросхем или устройств уровня печатной платы к стандартной аппаратуре тестирования и отладки.
Автоматизированное тестирование программного обеспечения — часть процесса тестирования на этапе контроля качества в процессе разработки программного обеспечения. Оно использует программные средства для выполнения тестов и проверки результатов выполнения, что помогает сократить время тестирования и упростить его процесс.
Периферийное сканирование — вид структурного тестирования печатной платы с установленными на неё компонентами, основанный на применении в некоторых микросхемах стандарта IEEE 1149.1(.4, .6). Широко используется также термин «граничное сканирование». Результатом периферийного сканирования является информация о наличии в электроцепях типичных неисправностей, возникающих при производстве печатных плат:
- коротких замыканий (bridges),
- непропаек (opens),
- западаний на 0 или 1,
- обрывов дорожек.
TTCN-3 (Нотация тестирования и управления тестами версии 3, по-английски: Testing and Test Control Notation version 3) является строго типизированным скриптовым языком, используемым в аттестационном тестировании коммуникационных систем, а также спецификацией интерфейсов тестовой инфраструктуры, позволяющих реализовать связывание абстрактных тестовых скриптов с конкретным коммуникационным окружением. TTCN-3 был разработан в ETSI, и его предшественником является TTCN-2.
V-Model является моделью разработки информационных систем (ИС), направленной на упрощение понимания сложностей, связанных с разработкой систем. Она используется для определения единой процедуры разработки программных продуктов, аппаратного обеспечения и человеко-машинных интерфейсов.
UniTESK — технология тестирования программного и аппаратного обеспечения на основе формальных спецификаций, разработанная в Институте системного программирования РАН. Технология представляет собой сочетание хорошо зарекомендовавших себя техник, которые могут применяться в различных комбинациях, взаимно сочетаясь и усиливая друг друга. Это делает технологию гибкой и настраиваемой под существующие процессы разработки на всех этапах жизненного цикла разработки программного обеспечения от сбора и анализа требований до сопровождения.
Эталонная реализация — реализация программного обеспечения, точно соответствующая спецификации некоторого стандарта, либо созданная для демонстрации этой спецификации в действии.
Независимая тестовая организация — организация, которая проводит тестирование продуктов, материалов, программ и др. на соответствие принятым требованиям. Организация может быть полностью независимой, либо подчиненной государству или научной организации. Под «независимостью» здесь понимается отсутствие влияния производителя товара на результаты тестирования.
OpenLisp — язык программирования из семейства языков Лисп, разработанный Кристианом Джулиеном. Он соответствует стандарту ISO ISLISP.
Развёртывание программного обеспечения — это компьютерная система, в которой компьютерная программа или компонент программного обеспечения развёртывается и выполняется. В простом случае, такое развёртывание и немедленное выполнение программы на той же машине может выполняться в единственном окружении, однако при промышленной разработке используется разделение на development окружение, где делаются исходные изменения, и production окружение часто с промежуточными этапами (stages) посередине. Этот структурированный процесс управления релизами может иметь фазы deployment, testing (тестирование), и rollback (откат) в случае проблем.