Логотип
Юнионпедия
Связь
Доступно в Google Play
Новый! Скачать Юнионпедия на вашем Android™ устройстве!
Скачать
Более быстрый доступ, чем браузер!
 

Технология UniTESK

Индекс Технология UniTESK

UniTESK (Unified Testing & specification toolKit) — технология тестирования программного и аппаратного обеспечения на основе формальных спецификаций, разработанная в Институте системного программирования РАН.

24 отношения: API, ATM, C++, CORBA, DTD, IPv6, Java, Linux, Nortel Networks, Критерий тестового покрытия, Контрактное программирование, Российская академия наук, Си (язык программирования), Синтаксический анализатор, Тестирование на основе модели, Тестирование программного обеспечения, Форма Бэкуса — Наура, Ядро операционной системы, Язык описания аппаратуры, Микропроцессор, Институт системного программирования РАН, Жизненный цикл программного обеспечения, Вымпел-Коммуникации, Диаграмма состояний (теория автоматов).

API

API (программный интерфейс приложения, интерфейс прикладного программирования) (application programming interface, API) — набор готовых классов, процедур, функций, структур и констант, предоставляемых приложением (библиотекой, сервисом) или операционной системой для использования во внешних программных продуктах.

Новый!!: Технология UniTESK и API · Узнать больше »

ATM

ATM (asynchronous transfer mode — асинхронный способ передачи данных) — сетевая высокопроизводительная технология коммутации и мультиплексирования пакетов, которые представляют собой ячейки (cell) фиксированного размера в 53 байта, где первые 5 байт используются под заголовок.

Новый!!: Технология UniTESK и ATM · Узнать больше »

C++

++ (читается си-плюс-плюс) — компилируемый, статически типизированный язык программирования общего назначения.

Новый!!: Технология UniTESK и C++ · Узнать больше »

CORBA

CORBA (обычно произносится, иногда жарг.; Common Object Request Broker Architecture — общая архитектура брокера объектных запросов; типовая архитектура опосредованных запросов к объектам) — технологический стандарт написания распределённых приложений, продвигаемый консорциумом (рабочей группой) OMG и соответствующая ему информационная технология.

Новый!!: Технология UniTESK и CORBA · Узнать больше »

DTD

DTD (англ. Document Type Definition — определение типа документа) — включает в себя два понятия.

Новый!!: Технология UniTESK и DTD · Узнать больше »

IPv6

Возможное официальное изображение IPv6 (Internet Protocol version 6) — новая версия интернет протокола (IP), призванная решить проблемы, с которыми столкнулась предыдущая версия (IPv4) при её использовании в Интернете, за счёт использования длины адреса 128 бит вместо 32. Протокол был разработан IETF. В настоящее время протокол IPv6 уже используется в нескольких тысячах сетей по всему миру (более 14000 сетей на осень 2013), но пока ещё не получил столь широкого распространения в Интернете, как IPv4. На конец 2012 года доля IPv6 в сетевом трафике составляла около 1 %. К концу 2013 года ожидался рост до 3 %. В России коммерческое использование операторами связи невелико (не более 1 % трафика). DNS-серверы многих российских регистраторов доменов и провайдеров хостинга используют IPv6. После того, как адресное пространство в IPv4 закончится, два стека протоколов — IPv6 и IPv4 — будут использоваться параллельно (dual stack), с постепенным увеличением доли трафика IPv6, по сравнению с IPv4. Такая ситуация станет возможной из-за наличия огромного количества устройств, в том числе устаревших, не поддерживающих IPv6 и требующих специального преобразования для работы с устройствами, использующими только IPv6.

Новый!!: Технология UniTESK и IPv6 · Узнать больше »

Java

JavaПроизносится на английском как, в русском языке встречаются транслитерации «Джава» и «Ява», правообладатели торговой марки предпочитают первую транслитерацию.

Новый!!: Технология UniTESK и Java · Узнать больше »

Linux

Linux (или), Ли́нукс) — семейство Unix-подобных операционных систем на базе ядра Linux, включающих тот или иной набор утилит и программ проекта GNU, и, возможно, другие компоненты. Как и ядро Linux, системы на его основе как правило создаются и распространяются в соответствии с моделью разработки свободного и открытого программного обеспечения. Linux-системы распространяются в основном бесплатно в виде различных дистрибутивов — в форме, готовой для установки и удобной для сопровождения и обновлений, — и имеющих свой набор системных и прикладных компонентов, как свободных, так возможно и собственнических. Появившись как решения вокруг созданного в начале 1990-х годов ядра, уже с начала 2000-х годов системы Linux являются основными для суперкомпьютеров и серверов, расширяется применение их для встраиваемых систем и мобильных устройств, некоторое распространение системы получили и для персональных компьютеров. За счёт использования свободного программного обеспечения и привлечения волонтёров каждая из систем Linux обладает значительными программными возможностями, трудно реализуемыми в прочих моделях разработки: например, в 2008 году расчёты показывали, что для того, чтобы «с нуля» разработать систему, аналогичную Fedora 9, потребовалось бы затратить $10,8 млрд, а совокупная себестоимость только ядра Linux оценивалась в сумму более $1,4 млрд, притом только за 2008 год она увеличилась на $315 млн, совокупный труд оценён в размере 73 тыс. человеко-лет. Традиционно системами Linux считаются только те, которые включают в качестве компонентов основные программы проекта GNU, такие как bash, gcc, glibc, coreutils, GNOME и ряд других, в связи с чем часто всё семейство иногда идентифицируется как GNU/Linux, притом существует спор об именовании GNU/Linux. Существует проект стандартизации внутренней структуры Linux-систем — Linux Standard Base, часть из документов которого зарегистрировано в качестве стандартов ISO; но далеко не все системы сертифицируются по нему, и в целом для Linux-систем не существует какой-либо общепризнанной стандартной комплектации или формальных условий включения в семейство. Однако есть ряд систем на базе ядра Linux, но не имеющих в основе зависимости от программ GNU, которые к Linux-семейству традиционно не относят, в частности таковы мобильные системы Android и FirefoxOS. Пингвин Tux Официальным логотипом и талисманом Linux является пингвин Tux, созданный в 1996 году Ларри Юингом. Торговая марка «Linux» принадлежит создателю и основному разработчику ядра Линусу Торвальдсу. При этом проект Linux в широком смысле не принадлежит какой-либо организации или частному лицу, вклад в его развитие и распространение осуществляют тысячи независимых разработчиков и компаний, одним из инструментов взаимодействия которых являются группы пользователей Linux. Существует ряд некоммерческих объединений, ставящих основной целью развитие и продвижение Linux, наиболее крупное и влиятельное из них — основанный в 2007 году The Linux Foundation. Существует значительный рынок коммерческой технической поддержки Linux-систем, на котором с долей свыше 70 % (2017) доминирует корпорация Red Hat. Линус Торвальдс — создатель и основной координатор проекта по разработке ядра Linux Ричард Столлман — основатель проекта GNU.

Новый!!: Технология UniTESK и Linux · Узнать больше »

Nortel Networks

Nortel Networks Corporation — канадский производитель телекоммуникационного оборудования.

Новый!!: Технология UniTESK и Nortel Networks · Узнать больше »

Критерий тестового покрытия

Критерий тестового покрытия — это метрика для оценки качества тестирования.

Новый!!: Технология UniTESK и Критерий тестового покрытия · Узнать больше »

Контрактное программирование

Контрактное программирование (design by contract (DbC), programming by contract, contract-based programming) — это метод проектирования программного обеспечения.

Новый!!: Технология UniTESK и Контрактное программирование · Узнать больше »

Российская академия наук

Росси́йская акаде́мия нау́к (Федеральное государственное бюджетное учреждение «Российская академия наук», сокр. РАН) — государственная академия наук Российской Федерации, крупнейший в стране центр фундаментальных исследований.

Новый!!: Технология UniTESK и Российская академия наук · Узнать больше »

Си (язык программирования)

Си (C) — компилируемый статически типизированный язык программирования общего назначения, разработанный в 1969—1973 годах сотрудником Bell Labs Деннисом Ритчи как развитие языка Би.

Новый!!: Технология UniTESK и Си (язык программирования) · Узнать больше »

Синтаксический анализатор

Парсер (англиц. parser; от parse – анализ, разбор) или синтаксический анализатор — часть программы, преобразующей входные данные (как правило, текст) в структурированный формат.

Новый!!: Технология UniTESK и Синтаксический анализатор · Узнать больше »

Тестирование на основе модели

Тестирование на основе модели (Model-based testing) — это тестирование программного обеспечения, в котором варианты тестирования (test cases) частично или целиком получаются из модели, описывающей некоторые аспекты (чаще функциональные) тестируемой системы (system under test).

Новый!!: Технология UniTESK и Тестирование на основе модели · Узнать больше »

Тестирование программного обеспечения

Тести́рование програ́ммного обеспе́че́ния — процесс исследования, испытания программного продукта, имеющий своей целью проверку соответствия между реальным поведением программы и её ожидаемым поведением на конечном наборе тестов, выбранных определенным образом (ISO/IEC TR 19759:2005).

Новый!!: Технология UniTESK и Тестирование программного обеспечения · Узнать больше »

Форма Бэкуса — Наура

Форма Бэкуса — Наура (сокр. БНФ, Бэкуса — Наура форма) — формальная система описания синтаксиса, в которой одни синтаксические категории последовательно определяются через другие категории.

Новый!!: Технология UniTESK и Форма Бэкуса — Наура · Узнать больше »

Ядро операционной системы

Ядро́ (kernel) — центральная часть операционной системы (ОС), обеспечивающая приложениям координированный доступ к ресурсам компьютера, таким как процессорное время, память, внешнее аппаратное обеспечение, внешнее устройство ввода и вывода информации.

Новый!!: Технология UniTESK и Ядро операционной системы · Узнать больше »

Язык описания аппаратуры

Язык описания аппаратуры (HDL от hardware description language) — специализированный язык программирования, используемый для описания структуры и поведения электронных схем, чаще всего цифровых логических схем.

Новый!!: Технология UniTESK и Язык описания аппаратуры · Узнать больше »

Микропроцессор

Кристалл процессора 80486DX2 в корпусе Микропроце́ссор — процессор (устройство, отвечающее за выполнение арифметических, логических операций и операций управления, записанных в машинном коде), реализованный в виде одной микросхемы или комплекта из нескольких специализированных микросхем (в отличие от реализации процессора в виде электрической схемы на элементной базе общего назначения или в виде программной модели).

Новый!!: Технология UniTESK и Микропроцессор · Узнать больше »

Институт системного программирования РАН

Коммунистического переулка. Институт системного программирования им.

Новый!!: Технология UniTESK и Институт системного программирования РАН · Узнать больше »

Жизненный цикл программного обеспечения

Жизненный цикл программного обеспечения (ПО) — период времени, который начинается с момента принятия решения о необходимости создания программного продукта и заканчивается в момент его полного изъятия из эксплуатации.

Новый!!: Технология UniTESK и Жизненный цикл программного обеспечения · Узнать больше »

Вымпел-Коммуникации

«Вы́мпел-Коммуника́ции» (сокращённо «ВымпелКом») — российская телекоммуникационная компания, основанная в 1992 году, с 2009 года входящая в международную группу «Veon Ltd.», обслуживающую 205,5 млн абонентов в 12 странах мира (на 2017 года).

Новый!!: Технология UniTESK и Вымпел-Коммуникации · Узнать больше »

Диаграмма состояний (теория автоматов)

Диагра́мма состоя́ний — ориентированный граф для конечного автомата, в котором.

Новый!!: Технология UniTESK и Диаграмма состояний (теория автоматов) · Узнать больше »

Перенаправления здесь:

UniTESK, UniTesK.

ИсходящиеВходящий
Привет! Мы на Facebook сейчас! »