1. Главная
  2. Ресурсы
  3. Библиотечный поиск
Применение конечныхавтоматов в задачахдинамическоготестированияпрограммного кода :научное издание Тестов О.В.Золотарев В.В.2015 год

Применение конечных автоматов в задачах динамического тестирования программного кода : научное издание
статья из журнала

Дополнительные ссылки: eLibrary
База данных: Каталог библиотеки СФУ
Библиографическое описание: Применение конечных автоматов в задачах динамического тестирования программного кода : научное издание / О. В. Тестов, В. В. Золотарев. - Текст : непосредственный // Решетневские чтения. - 2015. - Т. 2, № . - С. 302-304. - Работа выполнена в рамках гранта Президента молодым российским ученым - кандидатам наук, договор № 14.Z56.15.6012 от 16.02.2015 г. - ISSN 1990-7702. Перевод заглавия: DYNAMIC TESTING SOFTWARE WITH THE USE OF FINITE AUTOMATIC Equipment
Аннотация: Описан подход к реализации динамического тестирования программного кода. Использована и протестирована методика на основе конечных автоматов. Оценены варианты реализации лексического и синтаксического анализа. Применение указанных методов возможно при оценке надежности программного обеспечения бортовых систем управления КА.
The article describes an approach to implementing software dynamic testing. Technique based on finite automatic equipment are used and tested. The research evaluates options for the implementation of the lexical and syntactic analysis. The application of these methods is possible when assessing the reliability of software on-board satellite control systems.
Год издания: 2015
Авторы: Тестов О.В. , Золотарев В.В.
Издательство: Федеральное государственное бюджетное образовательное учреждение высшего образования "Сибирский государственный университет науки и технологий имени академика М.Ф. Решетнева, Красноярск
Источник: Решетневские чтения
Выпуск: Т. 2
Номера страниц: 302-304
Держатель оригинала документа: Сибирский государственный аэрокосмический университет имени академика М. Ф. Решетнева
Количество экземпляров:
Твёрдая копия издания отсутствует в фонде библиотеки

Похожие публикации

МОДЕЛЬ, АЛГОРИТМЫ ИПРОГРАММНЫЙ КОМПЛЕКСАВТОМАТИЗИРОВАННОГОПОИСКА УЯЗВИМОСТЕЙ ВИСПОЛНЯЕМОМ КОДЕ Шудрак Максим ОлеговичЗолотарев ВячеславВладимирович2015 год

МОДЕЛЬ, АЛГОРИТМЫ И ПРОГРАММНЫЙ КОМПЛЕКС АВТОМАТИЗИРОВАННОГО ПОИСКА УЯЗВИМОСТЕЙ В ИСПОЛНЯЕМОМ КОДЕ : научное издание

  • Шудрак Максим Олегович и др.
  • 2015 год
СТАТИЧЕСКИЙ АНАЛИЗБИНАРНОГО КОДА ВСФЕРЕ ИНФОРМАЦИОННОЙБЕЗОПАСНОСТИ Шудрак Максим ОлеговичЛубкин Иван АлександровичЗолотарев ВячеславВладимирович2012 год

СТАТИЧЕСКИЙ АНАЛИЗ БИНАРНОГО КОДА В СФЕРЕ ИНФОРМАЦИОННОЙ БЕЗОПАСНОСТИ : статья из журнала

  • Шудрак Максим Олегович и др.
  • 2012 год
МЕТОДИКАДИНАМИЧЕСКОГО АНАЛИЗАУЯЗВИМОСТЕЙ ВБИНАРНОМ КОДЕ Шудрак Максим ОлеговичЗолотарев ВячеславВладимировичЛубкин Иван Александрович2013 год

МЕТОДИКА ДИНАМИЧЕСКОГО АНАЛИЗА УЯЗВИМОСТЕЙ В БИНАРНОМ КОДЕ : статья из журнала

  • Шудрак Максим Олегович и др.
  • 2013 год
Выявление дефектов вмногокомпонентномпрограммномобеспечении сприменением наборауниверсальныхграфовых… Кубрин Г. С.Зегжда Д. П.2024 год

Выявление дефектов в многокомпонентном программном обеспечении с применением набора универсальных… : статья из журнала

  • Кубрин Г. С. и др.
  • 2024 год
Метод поиска ошибок впрограммном коде набазе фаззинга "впамяти" Самарин Н. Н.2024 год

Метод поиска ошибок в программном коде на базе фаззинга "в памяти" : статья из журнала

  • Самарин Н. Н.
  • 2024 год
Метод поискафрагментов бинарногопрограммного кода наоснове синтаксическихи семантическихпризнаков образца Грибков Н. А.2024 год

Метод поиска фрагментов бинарного программного кода на основе синтаксических и семантических… : статья из журнала

  • Грибков Н. А.
  • 2024 год
Обзор применениянейросетевыхтехнологий дляразработкипрограммного кода Андрианов А. М.Малявин А. Г.Пухнавцев А. О.2025 год

Обзор применения нейросетевых технологий для разработки программного кода : статья из журнала

  • Андрианов А. М. и др.
  • 2025 год
Формальная постановказадачи морфингаисполняемого кода впроцессе работыпрограммногообеспечения Гололобов Н. В.2024 год

Формальная постановка задачи морфинга исполняемого кода в процессе работы программного обеспечения : статья из журнала

  • Гололобов Н. В.
  • 2024 год

Показать ещё

Анализ изображений ипоиск ошибок втекстах исходногопрограммного кода Скуратова К. А.Шелепин Е. Ю.Малашин Р. О.2022 год

Анализ изображений и поиск ошибок в текстах исходного программного кода : статья из журнала

  • Скуратова К. А. и др.
  • 2022 год
Подход к выявлениюуязвимостейпрограммного кода наоснове адаптации сподкреплениемпредобученных моделеймашинного… Ломако А. Г.Исаев Н. Э.Менисов А. Б.2025 год

Подход к выявлению уязвимостей программного кода на основе адаптации с подкреплением… : статья из журнала

  • Ломако А. Г. и др.
  • 2025 год
МЕТОДИКА ДЕКОМПИЛЯЦИИБИНАРНОГО КОДА И ЕЕПРИМЕНЕНИЕ В СФЕРЕИНФОРМАЦИОННОЙБЕЗОПАСНОСТИ Шудрак М.О.Лубкин И.А.Золотарев В.В.2012 год

МЕТОДИКА ДЕКОМПИЛЯЦИИ БИНАРНОГО КОДА И ЕЕ ПРИМЕНЕНИЕ В СФЕРЕ ИНФОРМАЦИОННОЙ БЕЗОПАСНОСТИ : статья из журнала

  • Шудрак М.О. и др.
  • 2012 год
Векторизацияпрограммного кода Зорченков А. М.2021 год

Векторизация программного кода : статья из журнала

  • Зорченков А. М.
  • 2021 год
Качество программногокода. Позаботьтесь одолгой жизни вашихпрограммныхпродуктов! Силаков Д.2025 год

Качество программного кода. Позаботьтесь о долгой жизни ваших программных продуктов! : статья из журнала

  • Силаков Д.
  • 2025 год
Фаззинг-тестированиепрограммногообеспечения сзакрытым исходнымкодом сиспользованиембольших языковыхмоделей Гавричков Д. А.Овасапян Т. Д.Иванов Д. В.2025 год

Фаззинг-тестирование программного обеспечения с закрытым исходным кодом с использованием больших… : статья из журнала

  • Гавричков Д. А. и др.
  • 2025 год
Метод поиска клоновпрограммного кода вбинарных исполняемыхфайлах Завадский Е. В.Булат А. В.2024 год

Метод поиска клонов программного кода в бинарных исполняемых файлах : статья из журнала

  • Завадский Е. В. и др.
  • 2024 год
МОДЕЛЬ ДВУХФАЗНОЙТРАНСЛЯЦИИ КОДАМУЛЬТИВЕРСИЙПРОГРАММНЫХ МОДУЛЕЙ Грузенкин Д.В.Царев Р.Ю.Кузнецов А.С.2015 год

МОДЕЛЬ ДВУХФАЗНОЙ ТРАНСЛЯЦИИ КОДА МУЛЬТИВЕРСИЙ ПРОГРАММНЫХ МОДУЛЕЙ : статья из журнала

  • Грузенкин Д.В. и др.
  • 2015 год