Журнал
Научно-технический вестник информационных технологий, механики и оптики
УДК:
Номер:2 (6)
Скачать PDF0 Кбайт
Метод построения графа функциональной программы для решения задач верификации и тестирования
Аннотация:
Предложен метод формирования графового представления исполняемого кода, ориентированный для работе в системах автоматизированного анализа программного обеспечения.
Ключевые слова:
Постоянный URL
Статьи в номере
- Методы управления трафиком в мультисервисных сетях
- Анализ методов передачи видеоинформации в компьютерных сетях
- Анализ влияния характера информационных потоков на качество функционирования телекоммуникационной сети
- Информационные технологии на основе расширенной иерархии уровней OSI-модели
- Построение систем электронного документооборота на уровне информационной сети предприятия
- Анализ нагрузки и классификация приложений в локальных вычислительных сетях
- Концептуальные модели в базах знаний
- Разработка базы данных по металлическим материалам для университета
- Технология виртуальной реальности в визуализации собраний данных
- Использование аппаратных интерпретаторов для управления неоднородными компонентами микропроцессорной системы
- Архитектурные абстракции в технологии сквозного проектирования встроенных вычислительных систем
- Динамические инструментальные компоненты
- Выбор оптимального алгоритма планирования при разработке программного обеспечения систем реального времени
- Исследование операционных сред прикладных задач в информационно-управляющих системах
- Организация тестового программного обеспечения встроенных систем
- Метод обеспечения замкнутости программной среды путем разграничения прав доступа к файловой системе
- Решение специфических задач аудита базы данных
- Проблема интеграции локальных автоматизированных систем управления в образовательной сфере деятельности
- Универсальная модель последовательностных схем в САПР
- Построение комплексного покрытия последовательностных схем методом пересечения покрытий систем булевых функций
- Оценка сложности графа функциональной программы
- Расчет размещения схем в логических матрицах
- Оптимизация проектных решений в САПР автоматизированных технологических комплексов
- Характеристики функционирования гибридной САПР
- Имитационное моделирование оптических приборов со встроенной системой стабилизации изображения
- Принципы разработки и модернизации комплексов бортового оборудования (КБО) перспективных летательных аппаратов
- Улучшение интерферограмм методом вейвлет-преобразования
- Восстановление фазы интерференционных полос методом нелинейной двумерной фильтрации Калмана
- Восстановление линий экстремумов сложных картин интерференционных полос
- Динамическое оценивание локального направления полос в низкоконтрастных интерферограммах
- Улучшение качества изображений методом Ван Циттерта
- Цифровые фотоаппараты: сравнительные характеристики и применение
- Оптические волоконные усилители информационных сигналов
- Анализ акустических сигналов на основе метода фильтрации Калмана
- Математико-статистические методы в задаче параметризации описания классов ЭЭГ-сигнала
- Связь алгебраических спектров собственных значений и сингулярных чисел в задаче обеспечения стабильности эллипсоидных показателей качества
- Колебательные процессы в плохо обусловленных апериодических системах
- Развитие методов робастного управления в задачах адаптации
- Стабилизация линейных стационарных систем по состоянию
- Кронекеровская матричная модель динамических процессов с модуляцией
- Управление траекторным движением автономных роботов
- Использование свойств матриц над конечными полями для обнаружения неустойчивых циклов и неподвижных состояний двоичных динамических систем
- Частичная устойчивость и аттрактивность нетривиальных множеств
- Оценка запасов устойчивости систем с интервальными параметрами
- Идентификация линейных операций
- Векторная система управления устройством рекуперации на микропроцессоре TMS320F243
- Конвергенция электронных и печатных форм представления информации
- Синтез информационно-энергетических связей в структурах изобретений
- Проблемы образования специалиста по защите информации