Журнал
Научно-технический вестник информационных технологий, механики и оптики
УДК:004.4’242
Номер:2 (72)
ПРИМЕНЕНИЕ ГЕНЕТИЧЕСКИХ АЛГОРИТМОВ К ГЕНЕРАЦИИ ТЕСТОВ ДЛЯ АВТОМАТНЫХ ПРОГРАММ
Аннотация:
Описан подход к автоматизации тестирования автоматных программ. Для формализации требований спецификации к модели и объектам управления предлагается использовать контракты. Тест описывается как последовательность переходов в модели. Для автоматизации процесса создания кода теста предложен генетический алгоритм, который позволяет находить значения переменных, удовлетворяющие условиям на переходах.
Ключевые слова:
Постоянный URL
Статьи в номере
- РАЗРАБОТКА СИСТЕМЫ УПРАВЛЕНИЯ МАЛОРАЗМЕРНЫМ ВЕРТОЛЕТОМ
- ПРИМЕНЕНИЕ ДВУХЭТАПНОГО ГЕНЕТИЧЕСКОГО ПРОГРАММИРОВАНИЯ ДЛЯ ПОСТРОЕНИЯ МОДЕЛИ ТАНКА В ИГРЕ «ROBOCODE»
- ПРИМЕНЕНИЕ МАШИННОГО ОБУЧЕНИЯ ДЛЯ СОЗДАНИЯ УПРАВЛЯЮЩИХ АВТОМАТОВ НА ПРИМЕРЕ ИГРЫ «ROBOCODE»
- АВТОМАТИЧЕСКИЙ СИНТЕЗ СИСТЕМЫ УПРАВЛЕНИЯ МОБИЛЬНЫМ РОБОТОМ ДЛЯ РЕШЕНИЯ ЗАДАЧИ «КЕГЕЛЬРИНГ»
- АНАЛИЗ ЭФФЕКТИВНОСТИ ИСПОЛЬЗОВАНИЯ GPU ДЛЯ АВТОМАТИЧЕСКОГО СИНТЕЗА СИСТЕМЫ УПРАВЛЕНИЯ МОБИЛЬНЫМ РОБОТОМ
- ПРОГРАММНО-АППАРАТНЫЙ КОМПЛЕКС ДЛЯ ИССЛЕДОВАНИЯ АВТОМАТНОГО УПРАВЛЕНИЯ МОБИЛЬНЫМИ РОБОТАМИ
- ДЕТЕКТОРЫ ОСОБЕННОСТЕЙ В МЕТОДЕ ВИОЛЫ–ДЖОНСА, ПОСТРОЕННЫЕ НА ОСНОВЕ КОНЕЧНЫХ АВТОМАТОВ
- МЕТОДЫ ОПТИМИЗАЦИИ СТРАТЕГИЙ В ИГРАХ ДЛЯ ДВУХ УЧАСТНИКОВ С ИСПОЛЬЗОВАНИЕМ ГЕНЕТИЧЕСКИХ АЛГОРИТМОВ
- РАЗРАБОТКА МЕТОДОВ ПОСТРОЕНИЯ КОНЕЧНЫХ АВТОМАТОВ С ИСПОЛЬЗОВАНИЕМ АЛГОРИТМА ИМИТАЦИИ ОТЖИГА НА ПРИМЕРЕ ИГРЫ «ВОЙНА ЗА РЕСУРСЫ»
- МЕТОД ПРЕДСТАВЛЕНИЯ АВТОМАТОВ ЛИНЕЙНЫМИ БИНАРНЫМИ ГРАФАМИ ДЛЯ ИСПОЛЬЗОВАНИЯ В ГЕНЕТИЧЕСКОМ ПРОГРАММИРОВАНИИ
- АВТОМАТИЧЕСКИЙ ПОДБОР ПАРАМЕТРОВ ВНЕШНЕЙ СРЕДЫ ПРИ ГЕНЕРАЦИИ АВТОМАТНЫХ ПРОГРАММ С ПОМОЩЬЮ ГЕНЕТИЧЕСКИХ АЛГОРИТМОВ
- ПРИМЕНЕНИЕ ГЕНЕТИЧЕСКОГО ПОДХОДА ДЛЯ ГЕНЕРАЦИИ КЛЕТОЧНЫХ АВТОМАТОВ
- ГЕНЕРАЦИЯ ТЕСТОВ ДЛЯ ОЛИМПИАДНЫХ ЗАДАЧ ПО ПРОГРАММИРОВАНИЮ С ИСПОЛЬЗОВАНИЕМ ГЕНЕТИЧЕСКИХ АЛГОРИТМОВ
- СОВМЕСТНОЕ ПРИМЕНЕНИЕ КОНТРАКТОВ И ВЕРИФИКАЦИИ ДЛЯ ПОВЫШЕНИЯ КАЧЕСТВА АВТОМАТНЫХ ПРОГРАММ
- ВИРТУАЛЬНАЯ ЛАБОРАТОРИЯ ОБУЧЕНИЯ МЕТОДАМ ИСКУССТВЕННОГО ИНТЕЛЛЕКТА ДЛЯ ГЕНЕРАЦИИ УПРАВЛЯЮЩИХ КОНЕЧНЫХ АВТОМАТОВ
- ГЕНЕРАЦИЯ КОНЕЧНЫХ АВТОМАТОВ ДЛЯ УПРАВЛЕНИЯ МОДЕЛЬЮ БЕСПИЛОТНОГО САМОЛЕТА
- ОБЕСЦВЕЧИВАНИЕ ПРИРОДНЫХ САПФИРОВ
- ПРЕДСТАВЛЕНИЕ ЭКСПЕРИМЕНТАЛЬНЫХ ДАННЫХ ОБ ОПТИЧЕСКИХ ПАРАМЕТРАХ АТМОСФЕРЫ АНАЛИТИЧЕСКИМИ ЗАВИСИМОСТЯМИ
- СОГЛАСОВАННАЯ СИСТЕМА КВАНТОВОЙ РАССЫЛКИ КРИПТОГРАФИЧЕСКОГО КЛЮЧА НА ПОДНЕСУЩЕЙ ЧАСТОТЕ МОДУЛИРОВАННОГО СВЕТА
- ФАЗОВАЯ САМОМОДУЛЯЦИЯ ОДНОПЕРИОДНЫХ ОПТИЧЕСКИХ ВОЛН
- ДИФФУЗИЯ СВЕТА В СРЕДЕ С НАНОРАЗМЕРНЫМИ НЕОДНОРОДНОСТЯМИ
- РАЗРАБОТКА МОДЕЛИ РЕШЕНИЯ ОБРАТНОЙ ЗАДАЧИ ВЕРТИКАЛЬНОГО ЗОНДИРОВАНИЯ ИОНОСФЕРЫ
- ПРОГРАММИРУЕМЫЙ ФОРМИРОВАТЕЛЬ ТРАЕКТОРИИ ДВИЖЕНИЯ СЛЕДЯЩЕГО ЭЛЕКТРОПРИВОДА
- КОНТРОЛЬ ЗАТРАТ НА УПРАВЛЕНИЕ ПРИ ВОСПРОИЗВЕДЕНИИ ГАРМОНИЧЕСКИХ ЭКЗОГЕННЫХ ВОЗДЕЙСТВИЙ: ГРАМИАННЫЙ ПОДХОД
- ОСНОВНЫЕ ПРИНЦИПЫ РЕШЕНИЯ ЗАДАЧИ ПРЕОБРАЗОВАНИЯ ОБЪЕКТНО-ОРИЕНТИРОВАННОГО КОДА В ФОРМАТ RDF СРЕДСТВАМИ СЕМАНТИЧЕСКОГО АНАЛИЗА
- АНАЛИЗ МЕТОДОВ ПОСТРОЕНИЯ ТРАЕКТОРИИ ДВИЖУЩИХСЯ ОБЪЕКТОВ НА ОСНОВЕ СЕГМЕНТАЦИИ ВИДЕОДАННЫХ
- ПРОБЛЕМЫ ПОПОЛНЕНИЯ СЕМАНТИЧЕСКОГО СЛОВАРЯ
- ОРГАНИЗАЦИЯ СЕТЕВОГО ВЗАИМОДЕЙСТВИЯ УЗЛОВ РАСПРЕДЕЛЕННОЙ СИСТЕМЫ ХРАНЕНИЯ ДАННЫХ
- МЕТОД СЖАТИЯ ДИНАМИЧЕСКОГО ДИАПАЗОНА ЦИФРОВЫХ ГОЛОГРАММ ФУРЬЕ В ЗАДАЧЕ ВСТРАИВАНИЯ СКРЫТЫХ ВОДЯНЫХ ЗНАКОВ
- ОЦЕНКА КОЛИЧЕСТВА ИНФОРМАЦИИ В БАЗАХ ЗНАНИЙ
- УЯЗВИМОСТИ МОНИТОРОВ ВИРТУАЛЬНЫХ МАШИН
- ПРИМЕНЕНИЕ МЕТОДА ВЧ-БЛИЖНЕПОЛЬНОГО ЗОНДИРОВАНИЯ В ДИАГНОСТИКЕ БИООБЪЕКТОВ
- НЕИНВАЗИВНЫЕ МЕТОДЫ ИЗМЕРЕНИЯ БИЛИРУБИНА, ГЕМОГЛОБИНА И ГЛЮКОЗЫ. ПРИБОР ГЕМОБИЛИГЛЮКОМЕТР
- ПРИМЕНЕНИЕ ИМИТАЦИОННОГО МОДЕЛИРОВАНИЯ ДЛЯ ОЦЕНКИ КАЧЕСТВА БИЗНЕС-ПЛАНОВ ИННОВАЦИОННЫХ ПРОЕКТОВ
- РОЛЬ ТЕХНОПАРКОВ В РАЗВИТИИ РОССИИ КАК ИННОВАЦИОННОГО ОБЩЕСТВА
- НОВЫЙ ФУНКЦИОНАЛ ЛЯПУНОВА–КРАСОВСКОГО ДЛЯ ДОКАЗАТЕЛЬСТВА ЭКСПОНЕНЦИАЛЬНОЙ УСТОЙЧИВОСТИ НЕЛИНЕЙНОЙ СИСТЕМЫ С ЗАПАЗДЫВАНИЕМ
- ПРИМЕНЕНИЕ ОНТОЛОГИЙ В СИСТЕМЕ УПРАВЛЕНИЯ ИНТЕЛЛЕКТУАЛЬНЫМИ РЕСУРСАМИ
- ОРГАНИЗАЦИЯ МЕЖМАШИННОГО ОБМЕНА ПРИ РЕЗЕРВИРОВАНИИ МАГИСТРАЛЕЙ
- ИННОВАЦИИ И ИХ РОЛЬ В СИСТЕМЕ УПРАВЛЕНИЯ КОНКУРЕНТОСПОСОБНОСТЬЮ ПРЕДПРИЯТИЯ В УСЛОВИЯХ СЕРВИСНО-ОРИЕНТИРОВАННОЙ ЭКОНОМИКИ