TMPA-2014: программа

About TMPA-2014

Вести Кострома о
TMPA-2014

Iosif Itkin

Как мы тестируем в Exactpro


Иосиф Иткин,
Exactpro Systems

Andrey Konushin

Agile-тестировщик: профессионал или ремесленник?

Андрей Конушин,
RSTQB, Владимир
Josef Widder

Introduction into Fault-tolerant Distributed Algorithms and their Modeling

Josef Widder, Vienna University of Technology
Vitaly Trifanov

Актуальные проблемы разработки эффективных параллельных алгоритмов и структур данных

Виталий Трифанов, Дмитрий Цителов, Devexperts LLC, Санкт-Петербург
Michael Lukin

Верификация 800 автоматных программ, построенных при помощи генетического программирования

Михаил Лукин, Максим Буздалов, Анатолий Шалыто, ИТМО, Санкт-Петербург
Vladimir Shelekhov

Разработка автоматных программ методом трансформации требований

Владимир Шелехов, Институт систем информатики им А.П. Ершова СО РАН, Новосибирск
Andrew Mironov

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

Андрей Миронов, Сергей Френкель, ИПИ РАН, Москва
Michael Chushkin

Система дедуктивной верификации предикатных программ

Михаил Чушкин, Институт систем информатики им А.П. Ершова СО РАН, Новосибирск
Sergey Frenkel

Вероятностная верификации при проектировании вычислительных систем

Сергей Френкель, Виктор Захаров, Владимир Ушаков, ИПИ РАН, МГУ им. М.В. Ломоносова, Москва
Mikhail Vyugin

Новая биржевая платформа НП РТС: задачи, архитектура и управление рисками

Михаил Вьюгин, Некоммерческое партнерство развития финансового рынка РТС
Igor Konnov

Parametrized Model Checking of Fault-tolerant Distributed Algorithms by Abstraction (RU)

Igor Konnov, Vienna University of Technology
Pavel Protsenko

Trading Day Logs Replay Limitations and Test Tools Applicability (RU)

Pavel Protsenko, Anna-Mariia Lukina, Iosif Itkin, Anna Khristenok, Andrey Alekseenko
and Tatiana Pavlyuk
, Exactpro Systems, London, Кostroma, Моscow, Оbninsk
Vsevolod Brekelov

Автоматизация интеграционного тестирования на примере модулей обмена данными по FIX-протоколу

Всеволод Брекелов, Илья Барыгин, Егор Борисов, Devexperts LLC,
Санкт-Петербург

Rostislav Yavorsky

Моделирование тестовых сценариев поведения участников биржевой торговли

Елена Герасимова, Ростислав Яворский, ВШЭ, Москва
Dmitry Chalyy

Об одном из методов балансировки программно-конфигурируемых сетей

Михаил Никитинский, Дмитрий Чалый, ЯрГУ им. П.Г. Демидова, ООО «Энергия-Инфо», Ярославль
Dmitry Chalyy

Методология воспроизводимых исследований имитационных моделей и реализаций коммуникационных протоколов

Дмитрий Чалый, ЯрГУ им. П.Г. Демидова, Ярославль
Sergey Staroletov

Совместное применение методов Model driven developing и Model based checking

Сергей Старолетов, АлтГТУ, Барнаул
Victor Altukhov

A runtime verification system for Software Defined Networks (RU)

Виктор Алтухов, Евгений Чемеритский, Владислав Подымов, Владимир Захаров, МГУ им. М.В. Ломоносова, ЦПИКС, Москва
Vasily Sartakov

Подходы к фрагментации системы паравиртуализации

Василий Сартаков, Николай Голиков, ksys labs, Одинцово
Yakоv Kirilenko

Сервисная робототехника в науке и образовании

Яков Кириленко, CyberTech, Санкт-Петербург
Tatiana Ulyanina

Автоматизация тестирования системы резервирования

Вадим Жердер, Татьяна Ульянина, ОАО Московская биржа, НИЯУ МИФИ, Москва
Alyona Bulda Alexey Zverev

Система контроля рисков в высоконагруженных биржевых и брокерских системах и её тестирование

Алена Булда, Максим Рудовский, Алексей Зверев, Exactpro Systems, Кострома, Москва
Dmitriy Ryabukhin

О моделировании согласованного поведения ПЛК-датчиков

Егор Кузьмин, Дмитрий Рябухин, Валерий Соколов, ЯрГУ им. П.Г. Демидова, Ярославль
Nikita Voinov

Анализ покрытия UCM-модели тестовыми сценариями

Игорь Никифоров, Павел Дробинцев, Всеволод Котляров, Никита Воинов, СПбПУ, Санкт-Петербург
Pavel Drobintsev

Генерация тестового набора на основе модели потока управления

Павел Дробинцев, Всеволод Котляров, Игорь Никифоров, Никита Воинов, СПбПУ, Санкт-Петербург
Anastasiia Ragozina

Обобщённый Табличный LL-анализ

Анастасия Рагозина, Семён Григорьев, СПбГУ, JetBrains, Санкт-Петербург
Mikhail Mandrykin

Расширенная высокоуровневая С-совместимая модель памяти для промежуточного языка Jessie с частичной поддержкой низкоуровневого приведения типа указателей

Михаил Мандрыкин, Алексей Хорошилов, ИСП РАН, Москва
Nikolay Shilov

Alias Calculus for a Simple Imperative Language with Decidable Pointer Arithmetic (RU)

Николай Шилов, Александр Воронцов, Айжан Сатекбаева, НГУ, Новосибирск, Назарбаев Университет, ЕНУ им.Л.Н.Гумилёва, Казахстан
Sergey Smolov

Метод построения расширенных конечных автоматов по HDL-описанию на основе статического анализа кода

Сергей Смолов, Александр Камкин, ИСП РАН, Москва
Pavel Andrianov

Легковесный статический анализ для поиска состояний гонок в ядре операционной системы

Павел Андрианов, Алексей Хорошилов, Вадим Мутилин, ИСП РАН, Москва
Ivan Grachev

Статический анализ управления транзакциями в приложениях для платформы Java EE

Иван Грачев, Андрей Соловьев, Кафедра ИСПИ, ВлГУ им. А.Г. и Н.Г. Столетовых, Владимир
Andrey Tyugashev

Технологии автоматизированной разработки и верификации программ в аэрокосмической отрасли

Андрей Тюгашев, СГАУ, Самара