Наукова періодика України Електротехнічні та комп’ютерні системи


Сугак А. С. 
Построение поведенческих тестов для не детерминированной временной автоматной модели / А. С. Сугак, А. Н. Мартынюк // Электротехнические и компьютерные системы. - 2015. - № 17. - С. 63-68. - Режим доступу: http://nbuv.gov.ua/UJRN/etks_2015_17_11
Отмечено, что техническое диагностирование распределенных информационных систем (РИС) характеризуется сложностью из-за распределенности и неполноты описания объектов анализа. Для повышения полноты тестирования временного недетерминированного автомата (ВНДА) решается задача построения конструктивного описания модели тестирования (МТ), основанной на идентификации свойств в ВНДА, обладающей особенностями построения тестовых примитивов и предикатного представления недетерминизма. МТ предназначена для определения условий поведенческого тестирования компонентов РИС.Зазначено, що технічне діагностування розподілених інформаційних систем (РІС) характеризується складністю через розподілення і неповноту опису об'єктів аналізу. Для підвищення повноти тестування часового недетермінованого автомата (ЧНДА) вирішується завдання побудови конструктивного опису моделі тестування (МТ), заснованої на ідентифікації властивостей в ЧНДА, що має особливості побудови тестових примітивів і предикатного уявлення недетермінізму. МТ призначена для визначення умов поведінкового тестування компонентів РІС.Technical diagnosis of distributed information systems (RIS) is characterized by the complexity of the distribution and incomplete descriptions of objects of analysis. The work to improve the completeness of testing temporary non-deterministic automata (TNDA) solves the problem of building a constructive description of the model testing (MT) based on the identification of properties in TNDA have particularly construction of test primitives and predicate representation non-determinism. MT is designed to determine the conditions of behavioral testing components RIS.
  Повний текст PDF - 345.877 Kb    Зміст випуску     Цитування публікації

Цитованість авторів публікації:
  • Сугак А.
  • Мартынюк А.

  • Бібліографічний опис для цитування:

    Сугак А. С. Построение поведенческих тестов для не детерминированной временной автоматной модели / А. С. Сугак, А. Н. Мартынюк // Электротехнические и компьютерные системы. - 2015. - № 17. - С. 63-68. - Режим доступу: http://nbuv.gov.ua/UJRN/etks_2015_17_11.

      Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
     
    Відділ інформаційно-комунікаційних технологій
    Пам`ятка користувача

    Всі права захищені © Національна бібліотека України імені В. І. Вернадського