Сортировать по:
| Выпуск | Название | |
| Том 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) похожие документы |
| И. Б. Бурдонов, А. С. Косачев | ||
| "... тестирования и достаточные условия существования полного набора тестов. Предлагается алгоритм полного ..." | ||
| Том 28, № 1 (2021) | Онлайн тестирование динамических реконфигураций по отношению к политикам адаптации | Аннотация PDF (Rus) похожие документы |
| Фредерик Дадо, Жан-Филипп Гро, Ольга Борисовна Кушнаренко | ||
| "... представлен модельно-ориентированный подход к тестированию, который направлен на создание больших наборов ..." | ||
| Том 26, № 3 (2019) | Об автоматическом анализе практической стойкости обфусцирующих преобразований | Аннотация PDF (Rus) похожие документы |
| Петр Дмитриевич Борисов, Юрий Владимирович Косолапов | ||
| "... программ, как граф потока управления, время символьного выполнения и степень покрытия при символьном ..." | ||
| Том 28, № 1 (2021) | О характеристиках символьного исполнения в задаче оценки качества обфусцирующих преобразований | Аннотация PDF (Rus) похожие документы |
| Петр Дмитриевич Борисов, Юрий Владимирович Косолапов | ||
| "... символьном исполнении. Выбор символьного исполнения обосновывается тем, что такие характеристики могут ..." | ||
| Том 21, № 6 (2014) | Подход к автоматизации отладки поведенческих сценариев | Аннотация PDF (Rus) похожие документы |
| Павел Дмитриевич Дробинцев, Всеволод Павлович Котляров, Игорь Валерьевич Никифоров, Александр Адольфович Летичевский, Владимир Сергеевич Песчаненко | ||
| "... автоматизировать поиск тех мест в выбранном символьном поведенческом сценарии, в которых кроется возможная причина ..." | ||
| Том 24, № 4 (2017) | Автоматизированная Обучающая Система для обучения курсу анализа сложности алгоритмов | Аннотация PDF (Rus) похожие документы |
| Вадим Сергеевич Рублев, Мурад Теймурович Юсуфов | ||
| "... -математическое мышление в этом направлении. Вводится технология символьной прокрутки алгоритма, позволяющая ..." | ||
| Том 17, № 4 (2010) | Генерация тестовых данных на основе формального анализа данных конфигурации проекта | Аннотация PDF (Rus) похожие документы |
| А. В. Батаев, А. А. Давыдов, Н. Ю. Налютин, С. В. Синицын | ||
| "... Предлагается метод подготовки тестовых данных, обеспечивающих определенный уровень покрытия ..." | ||
| Том 17, № 4 (2010) | Проверка моделей распределенных систем с помощью аффинного представления данных | Аннотация PDF (Rus) похожие документы |
| Н. О. Гаранина | ||
| "... Предложено эффективное символьное представление распределенных систем, определяемых линейными ..." | ||
| Том 22, № 6 (2015) | Эффективное исполнение программного кода в контролируемом окружении как способ улучшения результатов статического анализа и верификации программ | Аннотация PDF (Rus) похожие документы |
| М. А. Беляев, В. М. Ицыксон | ||
| "... проверки моделей «Borealis». Прототип был опробован на стандартных наборах тестовых программ данного ..." | ||
| Том 18, № 4 (2011) | Оптимизационные процедуры в аффинной проверке моделей | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина | ||
| "... Символьная проверка на модели основана на компактном представлении множеств. На данный момент есть ..." | ||
| Том 19, № 4 (2012) | Оптимизация расчёта инвариантов сети Петри в рамках задачи формирования сценариев интеграционного тестирования | Аннотация PDF (Rus) похожие документы |
| Михаил Георгиевич Доррер, Виталий Валерьевич Курохтин | ||
| "... построения сценариев интеграционного тестирования внедряемой на предприятии АСУ. ..." | ||
| Том 29, № 3 (2022) | Тестирование зависимостей и правил вывода в базах данных | Аннотация PDF (Rus) похожие документы |
| Сергей Владимирович Зыкин | ||
| "... Процесс тестирования зависимостей и правил вывода может быть использован в двух направлениях. Во ..." | ||
| Том 24, № 4 (2017) | Синтез тестов с гарантированной полнотой для недетерминированных временных автоматов | Аннотация PDF (Rus) похожие документы |
| Александр Сергеевич Твардовский, Калед Эль-Факи, Максим Леонидович Громов, Нина Владимировна Евтушенко | ||
| "... методов синтеза тестов с гарантированной полнотой на временные автоматы. В данной статье мы предлагаем ..." | ||
| Том 18, № 4 (2011) | Тестирование безопасности программного обеспечения на языке С с использованием верификатора SPIN | Аннотация PDF (Rus) похожие документы |
| Наталья Геннадьевна Кушик, Амель Маммар, Ана Кавалли, Нина Владимировна Евтушенко, Вилли Джиминез, Эдгардо Монте Де Ока | ||
| "... Предлагается метод тестирования безопасности С программ с использованием широко известного ..." | ||
| Том 24, № 6 (2017) | К вопросу об измерении уровня абстракции диаграмм состояний на основе тестирования мутаций | Аннотация похожие документы |
| Томас Баар | ||
| "... тестирования мутации программного обеспечения. Уровень абстракции диаграмм состояний можно рассматривать как ..." | ||
| Том 31, № 4 (2024) | Точный тест планируемости для систем реального времени с абстрактным планировщиком на мультипроцессорных платформах | Аннотация PDF (Rus) похожие документы |
| Наталья Олеговна Гаранина | ||
| "... Эта статья посвящена использованию метода верификации моделей для точного теста планируемости ..." | ||
| Том 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) похожие документы |
| Дмитрий Александрович Кондратьев, Алексей Владимирович Промский | ||
| "... По сравнению с традиционным тестированием дедуктивная верификация предлагает более формальный ..." | ||
| Том 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) похожие документы |
| Юрий Владимирович Косолапов | ||
| "... решаться как путем поиска (например, с помощью символьного исполнения) и последующего устранения ..." | ||
| Том 28, № 3 (2021) | Исследование нелинейных полиномиальных систем управления | Аннотация похожие документы |
| Сергей Николаевич Чуканов, Илья Станиславович Чуканов | ||
| "... вычисления базиса Грёбнера применяется алгоритм Бухбергера, который реализован в программах символьных ..." | ||
| Том 31, № 2 (2024) | Верификация декларативной LTL-спецификации поведения управляющих программ | Аннотация PDF (Rus) похожие документы |
| Максим Вячеславович Нейзов, Егор Владимирович Кузьмин | ||
| "... инструмента символьной верификации nuXmv. При этом не требуется переводить LTL-формулы спецификации в другой ..." | ||
| Том 20, № 3 (2013) | Применение нечеткой классификации для гибридных линейных методов прогнозирования | Аннотация PDF (Rus) похожие документы |
| Андрей Сергеевич Таскин, Евгений Моисеевич Миркес, Наталья Юрьевна Сиротинина | ||
| "... сравнительное тестирование рассматриваемых методов прогнозирования на исходной и полученной выборках. Результаты ..." | ||
| Том 14, № 3 (2007) | NumGRID, система для решения больших задач численного моделирования | Аннотация PDF (Rus) похожие документы |
| Н. В. Малышкин | ||
| "... моделирования, анализируются результаты тестирования си¬стемы NumGRID на реальных задачах и делаются выводы о ..." | ||
| Том 18, № 2 (2011) | Разбиение железнодорожного состава на отдельные вагоны | Аннотация PDF (Rus) похожие документы |
| Алексей Николаевич Малков, Геннадий Павлович Штерн, Иван Александрович Михайлов | ||
| "... можно видеть движение железнодорожного состава. Для тестирования алгоритма проводится эксперимент с ..." | ||
| Том 30, № 4 (2023) | Извлечение именованных сущностей из русскоязычных документов с различной выраженностью структуры | Аннотация PDF (Rus) похожие документы |
| Мария Дмитриевна Аверина, Ольга Александровна Леванова | ||
| "... структурой документа, слабоструктурированные тексты судебных протоколов. Было проведено тестирование модели ..." | ||
| Том 24, № 1 (2017) | Новые оценки числовых величин, связанных с симплексом | Аннотация PDF (Rus) похожие документы |
| Михаил Викторович Невский, Алексей Юрьевич Ухалов | ||
| "... численных и~символьных вычислений. Новым результатом является неравенство (xi_6 ..." | ||
| Том 27, № 4 (2020) | Синтез установочных последовательностей для автоматов с временными ограничениями | Аннотация PDF (Rus) похожие документы |
| Александр Сергеевич Твардовский, Нина Владимировна Евтушенко | ||
| "... , широко используются в областях тестирования и верификации программного и аппаратного обеспечения. Для ..." | ||
| Том 22, № 1 (2015) | Особенности формирования диссипативных структур, описываемых уравнением Курамото–Сивашинского | Аннотация PDF (Rus) похожие документы |
| Николай Алексеевич Кудряшов, Павел Николаевич Рябов, Богдан Александрович Петров | ||
| "... процессов, описываемых данным уравнением. Проведено тестирование и продемонстрирована эффективность ..." | ||
| Том 24, № 4 (2017) | О скоростях передачи данных на шинах между кеш-памятью второго и третьего уровней и между процессором и оперативной памятью в современных компьютерах | Аннотация PDF (Rus) похожие документы |
| Мария Сергеевна Комар | ||
| "... процессора и типа проводимого теста. В статье приводится методология проведения измерений с помощью ..." | ||
| Том 26, № 4 (2019) | Доказательство свойств дискретных функций с помощью дедуктивного доказательства: приложение к квадратному корню | Аннотация похожие документы |
| Васил Тодоров, Сафуан Таха, Фредерик Буланже, Армандо Эрнандес | ||
| "... В течение многих лет автомобильные встраиваемые системы проверялись только тестированием. В ..." | ||
| Том 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ргей Владимирович Моржов | ||
| "... токсичных комментариев. Помимо этого, в статье будут приведены результаты тестирования как разработанных ..." | ||
| Том 31, № 2 (2024) | Подавление аддитивных периодических низкочастотных помех на вихретоковых дефектограммах | Аннотация PDF (Rus) похожие документы |
| Леонид Юрьевич Быстров, Артемий Николаевич Гладков, Егор Владимирович Кузьмин | ||
| "... ), поступающие от вихретоковых дефектоскопов при тестировании рельсов, характеризуются большим объёмом и ..." | ||
| Том 20, № 4 (2013) | Программно-конфигурируемые сети как этап эволюции сетевых технологий | Аннотация PDF (Rus) похожие документы |
| Артем Александрович Красотин, Игорь Вадимович Алексеев | ||
| "... библиотек приведены результаты сравнительных тестов по пропускной способности и латентности. ..." | ||
| Том 30, № 4 (2023) | Моделирование влияния внешних воздействий на процесс автоматизированной посадки БпЛА-квадрокоптера на подвижную платформу с использованием технического зрения | Аннотация PDF (Rus) похожие документы |
| Артём Валерьевич Рябинов, Антон Игоревич Савельев, Дмитрий Андреевич Аникин | ||
| "... моделирования внешних погодных условий, и проведены тесты посадки с имитацией таких погодных условий, как ветер ..." | ||
| Том 24, № 4 (2017) | Использование журналов событий для локальной корректировки моделей процессов | Аннотация PDF (Rus) похожие документы |
| Алексей Александрович Мицюк, Ирина Александровна Ломазова, Вил М.П. ван дер Аалст | ||
| "... также результаты экспериментального тестирования на искусственных примерах. ..." | ||
| Том 22, № 2 (2015) | Оценка требуемых скоростей передачи данных при организации беспроводной связи между ядрами центрального процессора | Аннотация PDF (Rus) похожие документы |
| Мария Сергеевна Комар, Виталий Игоревич Петров, Каролина Дмитриевна Борунова, Дмитрий Александрович Молчанов, Евгений Андреевич Кучерявый | ||
| "... работе рассматриваются три варианта нагрузки на ядро – два искусственных теста и фоновая нагрузка от ..." | ||
| Том 23, № 3 (2016) | Численное моделирование процессов формирования полос адиабатического сдвига в композитах | Аннотация PDF (Rus) похожие документы |
| Н. А. Кудряшов, Р. В. Муратов, П. Н. Рябов | ||
| "... тестовых задачах. Его работоспособность и эффективность подтверждена в результате проведенных тестов. С ..." | ||
| Том 24, № 2 (2017) | Дедубликация в системе резервного копирования с хранением информации в базе данных | Аннотация PDF (Rus) похожие документы |
| Сергей Максимович Таранин | ||
| "... сохранения данных с дедубликацией, а также приводит результаты сравнительных тестов скорости работы ..." | ||
| Том 28, № 1 (2021) | Автоматизированная обучающая система «Множества» (исследования организации 1-й части проекта) | Аннотация похожие документы |
| Вадим Сергеевич Рублев, Максим Дмитриевич Кондаков | ||
| "... выбор ответов. Разбиение материала на секции с контролем успешности обучения не только тестами, но и ..." | ||
| 1 - 62 из 62 результатов | ||
Советы по поиску:
- Поиск ведется с учетом регистра (строчные и прописные буквы различаются)
- Служебные слова (предлоги, союзы и т.п.) игнорируются
- По умолчанию отображаются статьи, содержащие хотя бы одно слово из запроса (то есть предполагается условие OR)
- Чтобы гарантировать, что слово содержится в статье, предварите его знаком +; например, +журнал +мембрана органелла рибосома
- Для поиска статей, содержащих все слова из запроса, объединяйте их с помощью AND; например, клетка AND органелла
- Исключайте слово при помощи знака - (дефис) или NOT; например. клетка -стволовая или клетка NOT стволовая
- Для поиска точной фразы используйте кавычки; например, "бесплатные издания". Совет: используйте кавычки для поиска последовательности иероглифов; например, "中国"
- Используйте круглые скобки для создания сложных запросов; например, архив ((журнал AND конференция) NOT диссертация)
