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

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

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

Повний опис

Збережено в:

Бібліографічні деталі
Опубліковано в: :	Математичні машини і системи
Дата:	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)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Принципы построения мультимедиа систем презентационного класса
за авторством: Гринченко, Т.О., та інші
Опубліковано: (2005)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Графо-автоматна модель адаптивної системи дистанційного навчання та контролю знань
за авторством: Федорук, П.І.
Опубліковано: (2006)

Ситуационные центры. Основные принципы конструирования
за авторством: Морозов, А.А., та інші
Опубліковано: (2006)

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

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

Інформаційно-аналітична система державного рівня охорони прав на інтелектуальну власність в Україні – становлення, сучасний стан
за авторством: Косолапов, В.Л., та інші
Опубліковано: (2006)