лого

ABSOPAC Unicode

Електронний каталог ЦНБ
Харківського національного університету імені В.Н. Каразіна


...... на 01.07.2022 - 1 084 265 описів (1 584 710 примірників) ......

eng|rus|ukr

Якщо Ви не знайшли видання в електронному каталозі,
до ваших послуг є карткові каталоги та електронні архіви
eKhNUIR, eScriptorium та karazin.back2news.
Довідка FAQ
Електронна пошта ЦНБ
Центральна Наукова Бібліотека

Пошук :

  • Нові надходження
  • Простий пошук
  • Розширений пошук
  • Повний каталог
  • Допомога

  • Автори
  • Видавництва
  • Серії
  • Тезаурус (Рубрики)

  • Учебная литература:
    • За дисциплінами
    • За спеціальностями
    • По кафедрам

    • Список дисциплін

Личный кабинет :


Электронный каталог: Книги у рубриці:

Рубрики
--> комп'ютерні програми
----> тестування
------> тестування

Рубрика

Назва:
 
тестування  
Назва:
 
автоматизація  
Назва:
 
методи  
Назва:
 
навчальні видання  
Назва:
 
динамічний аналіз  

Друк списку

Зв'язані описи:

Отобрать для печати: страницу | инверсия | сброс | печать(0)

Автоматизация процессов тестирования
Недоступно
 0 из 1
Книга
Винниченко Илья Викторович
Автоматизация процессов тестирования
Питер, 2005 г.
ISBN 5-469-00798-7


На полицю На полицю

Автоматический поиск ошибок в компьютерных программах с применением  динамического анализа
Доступно
 1 из 1
Автореферат/Дисертація
Исходжанов, Тимур Равилевич
Автоматический поиск ошибок в компьютерных программах с применением динамического анализа: автореф. дис... канд. техн. наук: 05.13.11
Б.и., 2013 г.
ISBN відсутній


Замовити Замовити

На полицю На полицю

Аналіз верифікація MSC-систем за допомогою мереж Петрі
Доступно
 1 из 1
Автореферат/Дисертація
Матвєєва Людмила Євгенівна
Аналіз верифікація MSC-систем за допомогою мереж Петрі: автореф. дис. ... канд. фіз.-мат. наук: 01.05.03
Б.в., 2005 г.
ISBN відсутній


Замовити Замовити

На полицю На полицю

Верифікація та тестування інтерактивних систем, специфікованих за допомогою базових протоколів
Доступно
 1 из 1
Автореферат/Дисертація
Летичевський Олександр Олександрович
Верифікація та тестування інтерактивних систем, специфікованих за допомогою базових протоколів: автореф. дис. ... канд. фіз.-мат. наук: 01.05.03
Б.в., 2005 г.
ISBN відсутній


Замовити Замовити

На полицю На полицю

Інформаційна технологія автоматизованого тестування користувацьких інтерфейсів програмних продукт...
Доступно
 1 из 1
Автореферат/Дисертація
Ремінний, Олександр Андрійович
Інформаційна технологія автоматизованого тестування користувацьких інтерфейсів програмних продукт...: автореф. дис... канд. техн. наук: 05.13.06
2014 г.
ISBN відсутній


Замовити Замовити

На полицю На полицю

Композиційні методи специфікації та верифікації програмних систем
Доступно
 1 из 1
Автореферат/Дисертація
Панченко Тарас Володимирович
Композиційні методи специфікації та верифікації програмних систем: автореф. дис. ... канд. фіз.-мат. наук: 01.05.03
Б.в., 2006 г.
ISBN відсутній


Замовити Замовити

На полицю На полицю

Метод та засоби експертного оцінювання властивостей повторно використовуваних компонентів програм...
Доступно
 1 из 1
Автореферат/Дисертація
Хоменко Володимир Анатолійович
Метод та засоби експертного оцінювання властивостей повторно використовуваних компонентів програм...: автореф. дис. ... канд. техн. наук: 01.05.03
Б.в., 2006 г.
ISBN відсутній


Замовити Замовити

На полицю На полицю

Методи оцінки та засоби підвищення надійності програмного забезпечення
Доступно
 1 из 1
Автореферат/Дисертація
Дідковська Марина Віталіївна
Методи оцінки та засоби підвищення надійності програмного забезпечення: автореф. дис. ... канд. техн. наук: 05.13.06
Б.в., 2006 г.
ISBN відсутній


Замовити Замовити

На полицю На полицю

Моделі і методи інженерії тестування програмних систем в умовах обмежених ресурсів
Доступно
 1 из 1
Автореферат/Дисертація
Коротун Тетяна Михайлівна
Моделі і методи інженерії тестування програмних систем в умовах обмежених ресурсів: автореф. дис. ... канд. фіз.-мат. наук: 01.05.03
Б.в., 2005 г.
ISBN відсутній


Замовити Замовити

На полицю На полицю

Основы тестирования программного обеспечения
Недоступно
 0 из 1
Книга
Котляров Всеволод Павлович
Основы тестирования программного обеспечения: учебное пособие
Серія: Основы информационных технологий
Интернет-университет информационных технологий, БИНОМ. Лаборатория знаний, 2006 г.
ISBN 5-9556002-7-2


На полицю На полицю

Підвищення достовірності процесу тестування програмних продуктів на основі нейромережних інформац...
Доступно
 1 из 1
Автореферат/Дисертація
Говорущенко Тетяна Олександрівна
Підвищення достовірності процесу тестування програмних продуктів на основі нейромережних інформац...: автореф. дис. ... канд. техн. наук: 05.13.06
Б.в., 2007 г.
ISBN відсутній


Замовити Замовити

На полицю На полицю