Журнал
Научно-технический вестник информационных технологий, механики и оптики
УДК:004.05+004.2
Номер:5 (117)
ТЕСТИРОВАНИЕ И ОТЛАДКА ВСТРАИВАЕМЫХ ВЫЧИСЛИТЕЛЬНЫХ СИСТЕМ НА ОСНОВЕ УРОВНЕВЫХ МОДЕЛЕЙ
Аннотация:
Предмет исследования.Рассмотрена проблема организации тестирования и отладки в комплексных (fullstack) проектах встраиваемых вычислительных систем со сложной гетерогенной структурой. Работа направлена на создание унифицированной формализованной методики организации процессов тестирования и отладки, применимой для широкого класса встраиваемых систем инвариантно к способу их реализации. Сделан вывод о перспективности использования уровневых моделей представления встраиваемых систем в качестве способа унифицированного рассмотрения комплексных проектов встраиваемых систем. Метод. Для разработки методики использованы абстракции HLD-методологии проектирования встраиваемых систем, архитектурный стиль «модель-процесс-вычислитель» и аппарат теории множеств. Основные результаты. Разработана методика тестирования и отладки встраиваемых систем на основе уровневых моделей, в рамках которой предложено расширение архитектурного стиля «модель-процесс-вычислитель» для более точного описания отношений виртуализации. Разработан метод многоуровневого тестирования встраиваемых систем, который позволяет в едином стиле описывать тестовое окружение на разных фазах создания встраиваемых систем, обеспечивает формализацию понятий тестирования, верификации и валидации с позиций уровневого представления встраиваемых систем. Приведены примеры описания многоуровневых встраиваемых систем с помощью разработанной методики. Практическая значимость. Методика позволила предложить способы документирования тестовых окружений встраиваемых систем на различных фазах их создания, способы организации процессов тестирования, верификации, валидации и отладки в комплексных проектах встраиваемых систем. Предложенный подход повышает эффективность контроля требований к создаваемой встраиваемой системе за счет сквозного и прозрачного представления проекта в целом, формализации процедур тестирования и отладки.
Ключевые слова:
Постоянный URL
Статьи в номере
- АВТОМАТИЧЕСКАЯ КЛАССИФИКАЦИЯ ОБЪЕКТОВ ПО ДАННЫМ3D-ЛИДАРА НА БАЗЕ ТЕХНОЛОГИИ СЧЕТА ЕДИНИЧНЫХ ФОТОНОВ
- ИССЛЕДОВАНИЕ РЕГЕНЕРАЦИИ СЛИЗИСТОЙ ОБОЛОЧКИ ПОЛОСТИ РТА ПОСЛЕ ФРАКЦИОННОГО ДИОДНОГО ЛАЗЕРНОГО ВОЗДЕЙСТВИЯ С ДЛИНОЙ ВОЛНЫ 980 нм
- ИССЛЕДОВАНИЕ ОПТИЧЕСКИХ СВОЙСТВ КРОВИ ЧЕЛОВЕКА ПРИ ИЗМЕНЕНИИ КОНЦЕНТРАЦИИ ЕЕ КОМПОНЕНТОВ В ТЕРАГЕРЦОВОМ ДИАПАЗОНЕ ЧАСТОТ
- ИЗУЧЕНИЕ ОПТИЧЕСКИХ СВОЙСТВ И СПЕКТРАЛЬНЫХ ХАРАКТЕРИСТИК ГЛИОБЛАСТОМЫ МОЗГА И АДЕНОКАРЦИНОМЫ ЛЕГКОГО ЧЕЛОВЕКА
- ФОРМИРОВАНИЕ ИЗОЛИРУЮЩИХ БАРЬЕРОВ В СИЛИКАТНЫХ ПОРИСТЫХ ПЛЕНКАХ ПРИ СО2 ЛАЗЕРНОЙ ОБРАБОТКЕ
ИССЛЕДОВАНИЕ СПЕКТРАЛЬНЫХ ХАРАКТЕРИСТИК ВОЛОКОННЫХ БРЭГГОВСКИХ РЕШЕТОК С ФАЗОВЫМ СДВИГОМ ПРИ ВОЗДЕЙСТВИИ ДАВЛЕНИЯ, НАПРАВЛЕННОГО ПЕРПЕНДИКУЛЯРНО ОСИ ОПТИЧЕСКОГО ВОЛОКНА
- ВОЗМОЖНОСТЬ ИЗМЕРЕНИЯ МАЛЫХ ВЫСОТ НАД МОРСКОЙ ПОВЕРХНОСТЬЮ В УСЛОВИЯХ ДЫМКИ И ТУМАНА
- МЕТОД ГАЗОРАЗРЯДНОЙ ВИЗУАЛИЗАЦИИ ДЛЯ ОПРЕДЕЛЕНИЯ ПАТОЛОГИЙ БИОЛОГИЧЕСКИХ ТКАНЕЙ
- АЛГОРИТМ АДАПТИВНОГО УПРАВЛЕНИЯ ПО ВЫХОДУ ЛИНЕЙНОЙ СИСТЕМОЙ С УЛУЧШЕННОЙ ПАРАМЕТРИЧЕСКОЙ СХОДИМОСТЬЮ
- УПРАВЛЕНИЕ ДВИЖЕНИЕМ МЕХАТРОННОЙ СИСТЕМЫ С ГИБКИМ ВРАЩАТЕЛЬНЫМ ЗВЕНОМ: ТЕОРИЯ И ЭКСПЕРИМЕНТ
- ИССЛЕДОВАНИЕ СТРУКТУРЫ ПЛЕНОЧНЫХ КОМПОЗИЦИЙ НА ОСНОВЕ СМЕСИ ХИТОЗАН/ПОЛИГИДРОКСИБУТИРАТ МЕТОДАМИ ИНФРАКРАСНОЙ И РЕНТГЕНОФЛУОРЕСЦЕНТНОЙ СПЕКТРОСКОПИИ
- МОДЕЛИРОВАНИЕ И АЛГОРИТМИЧЕСКОЕ ОБЕСПЕЧЕНИЕ ПРОЦЕССА ДИНАМИЧЕСКОГО ИНДЕНТИРОВАНИЯ
- МЕТОДЫ РАСПОЗНАВАНИЯ ОБРАЗОВ ПРИ НАРУШЕНИЯХ СЕМАНТИЧЕСКОЙ ЦЕЛОСТНОСТИ ВИЗУАЛЬНОЙ ИНФОРМАЦИИ
- АНАЛИЗ ЗАЩИЩЕННОСТИ ИНФОРМАЦИОННОГО ВЗАИМОДЕЙСТВИЯ ГРУППЫ БЕСПИЛОТНЫХ ЛЕТАТЕЛЬНЫХ АППАРАТОВ
- ВЫЧИСЛИТЕЛЬНО-ЭФФЕКТИВНЫЙ МЕТОД ЧИСЛЕННОГО МОДЕЛИРОВАНИЯ ДИФРАКЦИОННО-РАЗМЫТЫХ ИЗОБРАЖЕНИЙ ОБЪЕКТОВ С КУСОЧНО-ЛИНЕЙНЫМ КОНТУРОМ ГРАНИЦЫ
- МЕТОД ОРГАНИЗАЦИИ СКРЫТОГО КАНАЛА ПЕРЕДАЧИ ИНФОРМАЦИИ НА ОСНОВЕ ПРОТОКОЛА ПОТОКОВОЙ ПЕРЕДАЧИ ДАННЫХ
- МЕТОДЫ УВЕЛИЧЕНИЯ ЖИЗНЕННОГО ЦИКЛА СЕТИ ИНТЕРНЕТА ВЕЩЕЙ
- ПРИЕМ РЕЧЕВЫХ СИГНАЛОВ В ШУМОВОЙ ОБСТАНОВКЕ С ИСПОЛЬЗОВАНИЕМ ДВУХЭЛЕМЕНТНЫХ МИКРОФОННЫХ РЕШЕТОК
- ИНФОРМАЦИЯ ПО УТИЛИЗАЦИИ РЕСУРСОВ ЦЕНТРА ОБРАБОТКИ ДАННЫХ С ИСПОЛЬЗОВАНИЕМ СИСТЕМЫ ОЧЕРЕДЕЙ
- НЕЛОКАЛЬНЫЕ СЕМАНТИЧЕСКИЕ СВЯЗИ В РУССКОЯЗЫЧНЫХ ТЕКСТАХ
- ОПРЕДЕЛЕНИЕ ОБЛАСТИ ПЕРЕКРЫТИЯ ИЗОБРАЖЕНИЙ ЭЛЕКТРОННЫХ МОДУЛЕЙ
- ИССЛЕДОВАНИЕ РОЛИ ЭМОДЖИ В ОНЛАЙН-СООБЩЕСТВЕ
- СРАВНЕНИЕ ПОДХОДОВ К ИДЕНТИФИКАЦИИ НЕИЗВЕСТНЫХ ПАРАМЕТРОВ МОДЕЛИ УХОДА ГИРОСКОПА
- ГЕНЕРАТОР ПСЕВДОСЛУЧАЙНЫХ ЧИСЕЛ НА ОСНОВЕ КЛЕТОЧНЫХ АВТОМАТОВ
- РЕЗУЛЬТАТЫ ЭКСПЕРИМЕНТАЛЬНОГО ИССЛЕДОВАНИЯ И МОДЕЛИРОВАНИЯ МНОГОСЕРДЦЕВИННОГО ВОЛОКОННОГО СВЕТОВОДА С МАССИВОМ ВОЛОКОННЫХ БРЭГГОВСКИХ РЕШЕТОК
ОПРЕДЕЛЕНИЕ ЧАСТОТЫ ИМПУЛЬСНОГО СИГНАЛА С ПОСТОЯННЫМ ТАКТОМ ПОСРЕДСТВОМ РЕКУРРЕНТНОГО ПРИМЕНЕНИЯ ПРЕОБРАЗОВАНИЯ ФУРЬЕ