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