Зображення обкладинки

Конструювання програм створення тестових наборів на базі автоматних моделей

У статті розглянуті питання автоматизації створення тестових наборів даних (ТНД). Запропонована технологія створення програм генерації ТНД, яка базується на побудові автоматних моделей. Отримані ТНД дозволяють автоматизувати виявлення подій контролю, що підвищує ефективність випробувань, зменшує тру...

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Математичні машини і системи
Дата:	2006
Автори:	Райчев, І.Е., Харченко, О.Г.
Формат:	Стаття
Мова:	Українська
Опубліковано:	Інститут проблем математичних машин і систем НАН України 2006
Теми:	Моделювання і управління великими системами
Онлайн доступ:	https://nasplib.isofts.kiev.ua/handle/123456789/84058
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Цитувати:	Конструювання програм створення тестових наборів на базі автоматних моделей / І.Е. Райчев, О.Г. Харченко // Мат. машини і системи. — 2006. — № 3. — С. 127-136. — Бібліогр.: 14 назв. — укр.

Репозитарії

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Схожі ресурси

Умови конструювання алгоритмів синтезу моделей в системах багаторівневого перетворення інформації
за авторством: Колос, П.О., та інші
Опубліковано: (2009)

Программный комплекс поддержки системы документооборота на основе моделей процессов
за авторством: Круковский, М.Ю.
Опубліковано: (2006)

Верификация имитационных моделей технологических процессов производства с переменной структурой
за авторством: Смородин, В.С.
Опубліковано: (2007)

Анализ экспериментальных данных на основе использования многофакторных статистических математических моделей
за авторством: Радченко, С.Г.
Опубліковано: (2005)

Застосування математичних моделей тестів у комплекті дистанційної освіти «Вища математика»
за авторством: Алєксєєва, І.В., та інші
Опубліковано: (2010)

Метод пошаговой реструктуризации имитационных моделей для исследования вероятностных технологических процессов
за авторством: Смородин, В.С.
Опубліковано: (2008)

Метод коррекции для параллелизации численных моделей гидродинамики водоемов со свободной поверхностью
за авторством: Нестеров, А.А.
Опубліковано: (2008)

Применение имитационных моделей для принятия решений в системах управления на транспорте
за авторством: Максимей, И.В., та інші
Опубліковано: (2010)

Особливості опитування експертів при побудові логічних моделей управління складними об’єктами
за авторством: Вавіленкова, А.І.
Опубліковано: (2009)

Застосування стратегії оптимальності при виборі алгоритмів синтезу моделей у системах багаторівневого соціоекологічного моніторингу
за авторством: Голуб, С.В., та інші
Опубліковано: (2010)

Застосування стратегії оптимальності при виборі алгоритмів синтезу моделей у системах багаторівневого соціоекологічного моніторингу
за авторством: Голуб, С.В., та інші
Опубліковано: (2010)

Перший Кримський експериментальний обчислювальний Grid-ресурс: створення і перші результати випробувань і експлуатації
за авторством: Храмов, В.В., та інші
Опубліковано: (2011)

Реализация процесса верификации для разработки надежного программного обеспечения
за авторством: Скляр, В.В., та інші
Опубліковано: (2006)

Метод синтезу еквівалента невідомого зовнішнього збурення для динамічних об'єктів
за авторством: Славко, О.Г.
Опубліковано: (2011)

Аналіз систем абонентського доступу з ортогональним сегментуванням
за авторством: Антонов, В.В., та інші
Опубліковано: (2006)

Основные принципы создания единого информационного пространства корпоративных систем
за авторством: Пилипенко, Ю.Г.
Опубліковано: (2006)

Определение приведенных затрат на эксплуатацию функциональных систем воздушных судов нового поколения
за авторством: Козлюк, И.А.
Опубліковано: (2006)

Методика расчета оптимальной численности двигателей для воздушных судов нового поколения в обменном фонде
за авторством: Бабак, В.П., та інші
Опубліковано: (2006)

Система автоматизации контроля мясной продукции. Подсистемы оценки качества мясной продукции
за авторством: Зайцев, В.Г.
Опубліковано: (2006)

Модель податків В. Балацького
за авторством: Алєксєєв, А.А.
Опубліковано: (2006)

Модель категоріального рівня мовно-онтологічної картини світу
за авторством: Палагін, О.В., та інші
Опубліковано: (2006)

Развитие Центров компетенции
за авторством: Коваль, В.Н., та інші
Опубліковано: (2006)

Построение цветовых дискретных изображений на плоскости
за авторством: Асельдеров, З.М., та інші
Опубліковано: (2006)

Щодо моделювання деяких аспектів розвитку конфліктної ситуації
за авторством: Беспалов, В.П., та інші
Опубліковано: (2006)

Применение алгоритма клонального отбора для решения систем алгебраических уравнений
за авторством: Литвиненко, В.И.
Опубліковано: (2006)

Організація даних та функціональна структура лексикографічної системи «Український національний лінгвістичний корпус»
за авторством: Сидорчук, Н.М.
Опубліковано: (2006)

Система поддержки управления качеством воды реки Ингулец, основанная на одномерных моделях динамики воды и переноса примесей
за авторством: Дончиц, Г.В., та інші
Опубліковано: (2006)

Модель лізингових платежів
за авторством: Алєксєєв, Д.А., та інші
Опубліковано: (2006)

Архітектура розподіленої інформаційної системи медичного призначення для роботи в умовах ненадійного зв'язку
за авторством: Кононов, М.В., та інші
Опубліковано: (2006)

Адаптація процесу навчання в системах дистанційної освіти на основі оцінки швидкості сприйняття та засвоєння знань студентами
за авторством: Федорук, П.І.
Опубліковано: (2006)

Автоматно-графовая формальная модель композитного документооборота
за авторством: Круковский, М.Ю.
Опубліковано: (2006)

Метод оцінювання довільних відповідей у комп'ютерних системах тестування знань
за авторством: Бадьоріна, Л.М.
Опубліковано: (2006)

Синтез-обоснование идеала структуры языка научной теории
за авторством: Кургаев, А.Ф.
Опубліковано: (2006)

Об одном подходе к моделированию сложных систем
за авторством: Клименко, В.П., та інші
Опубліковано: (2008)

Імітаційне моделювання системи управління навчальним процесом ВНЗ з використанням об'єктно-орієнтованого підходу
за авторством: Стеценко, І.В.
Опубліковано: (2011)

О подходе к решению задачи составления расписания использования летного состава в авиакомпании
за авторством: Мирошниченко, А.В.
Опубліковано: (2010)

Состояние и перспективы нейросетевого моделирования СППР в сложных социотехнических системах
за авторством: Морозов, А.А., та інші
Опубліковано: (2010)

Моделювання процесу руху полімеру у плоскощілинній головці
за авторством: Чередніченко, П.І., та інші
Опубліковано: (2009)

Система численного прогноза погоды WRF-Украина
за авторством: Гузий, А.М., та інші
Опубліковано: (2008)

Математические модели оптимального планирования геологоразведочных работ
за авторством: Литвиненко, А.Е., та інші
Опубліковано: (2008)