Preview

Моделирование и анализ информационных систем

Расширенный поиск

Поиск


Сортировать по:     
 
Выпуск Название
 
Том 19, № 6 (2012) Подход к конкретизации тестовых сценариев в рамках технологии автоматизации тестирования промышленных программных проектов Аннотация  PDF (Rus)  похожие документы
Александр Валентинович Колчин, Александр Адольфович Летичевский, Владимир Сергеевич Песчаненко, Павел Дмитриевич Дробинцев, Всеволод Павлович Котляров
"... , generation and concretization of the symbolic traces, the generation of test suites for concretized traces ..."
 
Том 20, № 6 (2013) Автоматизация создания верифицированных тестовых сценариев на основе гидов Аннотация  PDF (Rus)  похожие документы
Павел Дмитриевич Дробинцев, Всеволод Павлович Котляров, Александр Адольфович Летичевский
"... В данной работе представлен обзор технологии автоматизированной генерации тестовых сценариев на ..."
 
Том 21, № 6 (2014) Инкрементальный подход к технологии создания тестов для индустриальных проектов Аннотация  PDF (Rus)  похожие документы
Павел Дмитриевич Дробинцев, Всеволод Павлович Котляров, Игорь Валерьевич Никифоров, Александр Адольфович Летичевский
"... Статья посвящена описанию технологии, позволяющей сократить трудозатраты на создание тестов для ..."
 
Том 21, № 6 (2014) Использование метода ограниченной проверки моделей для генерации тестов Аннотация  PDF (Rus)  похожие документы
Максим Алексеевич Петров, Кирилл Алексеевич Гагарский, Михаил Анатольевич Беляев, Владимир Михайлович Ицыксон
"... необходимость написания тестов и обеспечения тестового покрытия с учетом человеческого фактора. Наиболее ..."
 
Том 23, № 6 (2016) Метод синтеза тестов с гарантированной полнотой по модели расширенного автомата Аннотация  PDF (Rus)  похожие документы
А. Д. Ермаков, Н. В. Евтушенко
"... Расширенные автоматы активно используются при построении тестов для программного обеспечения на ..."
 
Том 18, № 4 (2011) Формальная модель требований, используемая в процессе генерации кода приложения и кода тестов Аннотация  PDF (Rus)  похожие документы
Сергей Николаевич Баранов, Всеволод Павлович Котляров
"... основе теории базовых протоколов А.А. Летичевского и поддерживающего теорию инструментария символьной ..."
 
Том 17, № 4 (2010) Безопасное тестирование симуляции систем с отказами и разрушением Аннотация  PDF (Rus)  похожие документы
И. Б. Бурдонов, А. С. Косачев
"... тестирования и достаточные условия существования полного набора тестов. Предлагается алгоритм полного ..."
 
Том 26, № 3 (2019) Об автоматическом анализе практической стойкости обфусцирующих преобразований Аннотация  PDF (Rus)  похожие документы
Петр Дмитриевич Борисов, Юрий Владимирович Косолапов
"... программ, как граф потока управления, время символьного выполнения и степень покрытия при символьном ..."
 
Том 17, № 4 (2010) Генерация тестовых данных на основе формального анализа данных конфигурации проекта Аннотация  PDF (Rus)  похожие документы
А. В. Батаев, А. А. Давыдов, Н. Ю. Налютин, С. В. Синицын
"... Предлагается метод подготовки тестовых данных, обеспечивающих определенный уровень покрытия ..."
 
Том 21, № 6 (2014) Подход к автоматизации отладки поведенческих сценариев Аннотация  PDF (Rus)  похожие документы
Павел Дмитриевич Дробинцев, Всеволод Павлович Котляров, Игорь Валерьевич Никифоров, Александр Адольфович Летичевский, Владимир Сергеевич Песчаненко
"... автоматизировать поиск тех мест в выбранном символьном поведенческом сценарии, в которых кроется возможная причина ..."
 
Том 24, № 4 (2017) Автоматизированная Обучающая Система для обучения курсу анализа сложности алгоритмов Аннотация  PDF (Rus)  похожие документы
Вадим Сергеевич Рублев, Мурад Теймурович Юсуфов
"... -математическое мышление в этом направлении. Вводится технология символьной прокрутки алгоритма, позволяющая ..."
 
Том 17, № 4 (2010) Проверка моделей распределенных систем с помощью аффинного представления данных Аннотация  PDF (Rus)  похожие документы
Н. О. Гаранина
"... Предложено эффективное символьное представление распределенных систем, определяемых линейными ..."
 
Том 22, № 6 (2015) Эффективное исполнение программного кода в контролируемом окружении как способ улучшения результатов статического анализа и верификации программ Аннотация  PDF (Rus)  похожие документы
М. А. Беляев, В. М. Ицыксон
"... проверки моделей «Borealis». Прототип был опробован на стандартных наборах тестовых программ данного ..."
 
Том 18, № 4 (2011) Оптимизационные процедуры в аффинной проверке моделей Аннотация  PDF (Rus)  похожие документы
Наталья Олеговна Гаранина
"... Символьная проверка на модели основана на компактном представлении множеств. На данный момент есть ..."
 
Том 19, № 4 (2012) Оптимизация расчёта инвариантов сети Петри в рамках задачи формирования сценариев интеграционного тестирования Аннотация  PDF (Rus)  похожие документы
Михаил Георгиевич Доррер, Виталий Валерьевич Курохтин
"... построения сценариев интеграционного тестирования внедряемой на предприятии АСУ. ..."
 
Том 24, № 4 (2017) Синтез тестов с гарантированной полнотой для недетерминированных временных автоматов Аннотация  PDF (Rus)  похожие документы
Александр Сергеевич Твардовский, Калед Эль-Факи, Максим Леонидович Громов, Нина Владимировна Евтушенко
"... методов синтеза тестов с гарантированной полнотой на временные автоматы. В данной статье мы предлагаем ..."
 
Том 18, № 4 (2011) Тестирование безопасности программного обеспечения на языке С с использованием верификатора SPIN Аннотация  PDF (Rus)  похожие документы
Наталья Геннадьевна Кушик, Амель Маммар, Ана Кавалли, Нина Владимировна Евтушенко, Вилли Джиминез, Эдгардо Монте Де Ока
"... Предлагается метод тестирования безопасности С программ с использованием широко известного ..."
 
Том 24, № 6 (2017) К вопросу об измерении уровня абстракции диаграмм состояний на основе тестирования мутаций Аннотация  похожие документы
Томас Баар
"... тестирования мутации программного обеспечения. Уровень абстракции диаграмм состояний можно рассматривать как ..."
 
Том 19, № 2 (2012) О верификации LD-программ логических контроллеров Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
"... средства символьной проверки модели SMV при спецификации свойств на языке темпоральной логики линейного ..."
 
Том 22, № 1 (2015) Метод логистической функции для нахождения аналитических решений нелинейных дифференциальных уравнений Аннотация  похожие документы
Николай Алексеевич Кудряшов
 
Том 24, № 6 (2017) К критериям оценки безопасности нулевых ссылок при инициализации объекта Аннотация  похожие документы
Александр Валентинович Когтенков
"... тестов для сравнения решений этой проблемы. Наконец, она демонстрирует применение этих тестов к ..."
 
Том 18, № 4 (2011) Построение приближений бисимуляции в односчетчиковых сетях Аннотация  PDF (Rus)  похожие документы
Владимир Анатольевич Башкин
"... символьной арифметики и понятия расслоенной бисимуляции. ..."
 
Том 25, № 3 (2018) Новый подход к обнаружению и устранению аномалий в политике безопасности внешнего модуля межсетевого экрана контроллера ПКС Floodlight Аннотация  похожие документы
Сергей Владимирович Моржов, Михаил Александрович Никитинский
"... устанавливаемыми правилами. Разработанное сетевое приложение PreFirewall прошло ряд тестов. В результате ..."
 
Том 26, № 4 (2019) Направляемый свойством поиск реляционных инвариантов Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Мордвинов
"... масштабируемый подход к решению систем символьных ограничений, известных как дизъюнкты Хорна с ограничениями ..."
 
Том 21, № 6 (2014) Разработка самоприменимой системы верификации. Теория и практика Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Кондратьев, Алексей Владимирович Промский
"... По сравнению с традиционным тестированием дедуктивная верификация предлагает более формальный ..."
 
Том 20, № 3 (2013) Применение нечеткой классификации для гибридных линейных методов прогнозирования Аннотация  PDF (Rus)  похожие документы
Андрей Сергеевич Таскин, Евгений Моисеевич Миркес, Наталья Юрьевна Сиротинина
"... сравнительное тестирование рассматриваемых методов прогнозирования на исходной и полученной выборках. Результаты ..."
 
Том 21, № 2 (2014) Построение IL-программ ПЛК по LTL-спецификации Аннотация  PDF (Rus)  похожие документы
Дмитрий Александрович Рябухин, Егор Владимирович Кузьмин, Валерий Анатольевич Соколов
"... корректности LTL-спецификации производится с помощью программного средства символьной проверки модели Cadence ..."
 
Том 20, № 6 (2013) Построение и верификация LD-программ ПЛК по LTL-спецификации Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин
"... корректности LTL-спецификации производится с помощью программного средства символьной проверки модели Cadence ..."
 
Том 20, № 4 (2013) Построение и верификация ПЛК-программ по LTL-спецификации Аннотация  PDF (Rus)  похожие документы
Егор Владимирович Кузьмин, Валерий Анатольевич Соколов, Дмитрий Александрович Рябухин
"... корректности LTL-спецификации производится с помощью программного средства символьной проверки модели Cadence ..."
 
Том 22, № 4 (2015) О выразительности подхода к построению ПЛК-программ по LTL-спецификации Аннотация  PDF (Rus)  похожие документы
Е. В. Кузьмин, Д. А. Рябухин, В. А. Соколов
"... символьной проверки модели Cadence SMV. В статье демонстрируется состоятельность подхода к построению и ..."
 
Том 27, № 2 (2020) Об обнаружении эксплуатации уязвимостей, приводящей к запуску вредоносного кода Аннотация  PDF (Rus)  похожие документы
Юрий Владимирович Косолапов
"... решаться как путем поиска (например, с помощью символьного исполнения) и последующего устранения ..."
 
Том 14, № 3 (2007) NumGRID, система для решения больших задач численного моделирования Аннотация  PDF (Rus)  похожие документы
Н. В. Малышкин
"... моделирования, анализируются результаты тестирования си¬стемы NumGRID на реальных задачах и делаются выводы о ..."
 
Том 18, № 2 (2011) Разбиение железнодорожного состава на отдельные вагоны Аннотация  PDF (Rus)  похожие документы
Алексей Николаевич Малков, Геннадий Павлович Штерн, Иван Александрович Михайлов
"... можно видеть движение железнодорожного состава. Для тестирования алгоритма проводится эксперимент с ..."
 
Том 22, № 1 (2015) Особенности формирования диссипативных структур, описываемых уравнением Курамото–Сивашинского Аннотация  PDF (Rus)  похожие документы
Николай Алексеевич Кудряшов, Павел Николаевич Рябов, Богдан Александрович Петров
"... процессов, описываемых данным уравнением. Проведено тестирование и продемонстрирована эффективность ..."
 
Том 24, № 1 (2017) Новые оценки числовых величин, связанных с симплексом Аннотация  PDF (Rus)  похожие документы
Михаил Викторович Невский, Алексей Юрьевич Ухалов
"... численных и~символьных вычислений. Новым результатом является неравенство (xi_6 ..."
 
Том 26, № 4 (2019) Доказательство свойств дискретных функций с помощью дедуктивного доказательства: приложение к квадратному корню Аннотация  похожие документы
Васил Тодоров, Сафуан Таха, Фредерик Буланже, Армандо Эрнандес
"... В течение многих лет автомобильные встраиваемые системы проверялись только тестированием. В ..."
 
Том 24, № 4 (2017) О скоростях передачи данных на шинах между кеш-памятью второго и третьего уровней и между процессором и оперативной памятью в современных компьютерах Аннотация  PDF (Rus)  похожие документы
Мария Сергеевна Комар
"... процессора и типа проводимого теста. В статье приводится методология проведения измерений с помощью ..."
 
Том 21, № 2 (2014) О поддержке рекурсивно-параллельного программирования в .NET Framework Аннотация  PDF (Rus)  похожие документы
Владимир Васильевич Васильчиков
"... распараллеливания решения задачи о поиске максимальной клики в неориентированном графе и результаты тестирования ..."
 
Том 21, № 6 (2014) Поведенческая идентификация программ Аннотация  PDF (Rus)  похожие документы
Максим Викторович Баклановский, Артур Рафаэльевич Ханов
"... сложность и большую точность, чем классический N-граммный алгоритм. Тесты производительности показали, что ..."
 
Том 26, № 1 (2019) Об одном подходе к построению сетевого процессорного устройства Аннотация  PDF (Rus)  похожие документы
Станислав Олегович Беззубцев, Вячеслав Викторович Васин, Дмитрий Юрьевич Волканов, Шынар Рустембековна Жайлауова, Владислав Александрович Мирошник, Юлия Александровна Скобцова, Руслан Леонидович Смелянский
"... C++ с использованием открытой библиотеки SystemC. Для проведения функционального тестирования ..."
 
Том 23, № 6 (2016) Генерация графа социальной сети с использованием Apache Spark Аннотация  PDF (Rus)  похожие документы
Ю. А. Белов, С. И. Вовчок
"... Планируется создать метод кластеризации графа социальной сети. Для тестирования будущего метода ..."
 
Том 24, № 6 (2017) Семантически-ориентированная миграция Java-программ: опыт практического применения Аннотация  PDF (Rus)  похожие документы
Артем Олегович Алексюк, Владимир Михайлович Ицыксон
"... проведенные эксперименты, отдельно отмечены сложности, возникающие в процессе миграции тестовых примеров, и то ..."
 
Том 25, № 2 (2018) Математическая модель подключения оптимального числа потенциальных потребителей тепла к тепловой сети Аннотация  PDF (Rus)  похожие документы
Сергей Михайлович Терехов, Владимир Алексеевич Немтинов, Кирилл Сергеевич Корнилов
"... тестирование и представлены результаты работы математической модели на примере тестовых тепловых сетей ..."
 
Том 25, № 4 (2018) Вопросно-ответная система для поддержки абитуриентов с использованием современных мессенджеров Аннотация  PDF (Rus)  похожие документы
Дмитрий Русланович Филонов, Дмитрий Юрьевич Чалый, Дмитрий Михайлович Мурин, Валерий Георгиевич Дурнев, Валерий Анатольевич Соколов
"... системы, а также подходы к авторизации пользователей. В настоящее время система проходит тестирование и ..."
 
Том 25, № 6 (2018) Перевод моделей Event-B в Eiffel Аннотация  похожие документы
Софья Резникова, Виктор Ривера, Джу Йонг Ли, Мануэль Маццара
"... тестирования EB2Eiffel разными моделями, написанными на Event-B, и представлены ограничения плагина. Статья ..."
 
Том 27, № 1 (2020) Современные методы детектирования и классификации токсичных комментариев с использованием нейронных сетей Аннотация  PDF (Rus)  похожие документы
Сeргей Владимирович Моржов
"... токсичных комментариев. Помимо этого, в статье будут приведены результаты тестирования как разработанных ..."
 
Том 24, № 4 (2017) Использование журналов событий для локальной корректировки моделей процессов Аннотация  PDF (Rus)  похожие документы
Алексей Александрович Мицюк, Ирина Александровна Ломазова, Вил М.П. ван дер Аалст
"... также результаты экспериментального тестирования на искусственных примерах.  ..."
 
Том 20, № 4 (2013) Программно-конфигурируемые сети как этап эволюции сетевых технологий Аннотация  PDF (Rus)  похожие документы
Артем Александрович Красотин, Игорь Вадимович Алексеев
"... библиотек приведены результаты сравнительных тестов по пропускной способности и латентности. ..."
 
Том 22, № 2 (2015) Оценка требуемых скоростей передачи данных при организации беспроводной связи между ядрами центрального процессора Аннотация  PDF (Rus)  похожие документы
Мария Сергеевна Комар, Виталий Игоревич Петров, Каролина Дмитриевна Борунова, Дмитрий Александрович Молчанов, Евгений Андреевич Кучерявый
"... работе рассматриваются три варианта нагрузки на ядро – два искусственных теста и фоновая нагрузка от ..."
 
Том 23, № 3 (2016) Численное моделирование процессов формирования полос адиабатического сдвига в композитах Аннотация  PDF (Rus)  похожие документы
Н. А. Кудряшов, Р. В. Муратов, П. Н. Рябов
"... тестовых задачах. Его работоспособность и эффективность подтверждена в результате проведенных тестов. С ..."
 
Том 24, № 2 (2017) Дедубликация в системе резервного копирования с хранением информации в базе данных Аннотация  PDF (Rus)  похожие документы
Сергей Максимович Таранин
"... сохранения данных с дедубликацией, а также приводит результаты сравнительных тестов скорости работы ..."
 
1 - 51 из 51 результатов

Советы по поиску:

  • Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
  • Служебные слова (предлоги, союзы и т.п.) игнорируются
  • По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
  • Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
  • Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
  • Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
  • Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
  • Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)