1312 Международная научно-практическая конференция: TOOLS & METHODS OF PROGRAM ANALYSIS Международная научно-практическая конференция: TOOLS & METHODS OF PROGRAM ANALYSIS

Программа конференции TMPA-2013 Регистрация

Открытие

Кофе-брейк

Обед

Карпов Ю. Г.Верификация параллельных программ: современный этап и перспективы

10 октября

Пакулин Н.

Подымов В., Попеско У.Верификация программно-конфигурируемых сетей при помощи системы UPPAAL

Кузьмин Е., Рябухин Д., Шипов А.Построение и верификация ПЛК-программ по LTL-спецификациипрограмм

Ануреев И.

Лукин М., Шалыто А.Верификация распределенных автоматных программ с использованием инструментального средства Spin

Иванников В.П., Камкин А.С., Чупилко М.М.

Зорин Д.

Шипин А.А., Соколов В.А., Чалый Д.Ю.Использование контрольных точек для верификации SystemC-программ

8:30

9:30

10:15

11:15

11:45

12:15

12:45

13:15

13:45

14:00

15:30

16:00

16:30

17:00 Френкель С.Л., Захаров В.Н., Ушаков В.Г.Унифицированная высокоуровневая модель программно-аппаратной системы для верификации свойств надежности функционирования

Смирнов М., Олоничев В., Староверов Б.Особенности разработки программного обеспечения для Linux-контроллеров

17:15

Синтез архитектуры многопроцессорных вычислительных систем с учетом ограничений реального времени и требований к надежности

Динамическая верификация гибридных систем

Проверка корректности поведения HDL-моделей цифровой аппаратуры на основе динамического сопоставления трасс

ВЕРИФИКАЦИЯ

АППАРАТНЫЙ ТРЕК

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

1514 Международная научно-практическая конференция: TOOLS & METHODS OF PROGRAM ANALYSIS Международная научно-практическая конференция: TOOLS & METHODS OF PROGRAM ANALYSIS

Регистрация

Захаров В. А. Математические аспекты задачи обфускации программ

12 октября

Верт Т., Крикун Т. и Глухих М.

Андрианова А., Ицыксон В.Автоматизированный синтез тестов для Java-программ на основе анализа программ и учета контрактов

Тимофеев А.Методика внедрения модельно-ориентированного подхода в процесс разработки программного обеспечения

Буй Д., Компан С.

9:00

9:30

10:30

11:00

12:00

12:30

13:00

14:00

14:30

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

11 октября

Регистрация

ISTQB

Кофе-брейк

Обед

Петренко А. К.Технические решения и нетехнические проблемы автоматизации тестирования

Басок Б., Гречин А.

Сартаков В., Тарасиков А.Анализ производительности сетевой подсистемы микроядерного окружения GenodeЖуравлев М., Полозов В. Подход к верификации корректности миграции данных между СУБД с использованием криптографических хэш-функций Никешин А., Пакулин Н., Шнитман В.

Матвеева А., Антонов Н., Иткин И.Особенности инструментов для тестирования, применимых при промышленной эксплуатации трейдинговых систем

Алексеенко А., Проценко П., Матвеева А., Иткин И., Шаров Д.

Буянова О., Булда А, Зверев А.Применение симуляторов рынка ценных бумаг для тестирования систем агрегации и распределения информации о котировках (Ticker Plant)

8:309:30

10:30

11:00

12:00

12:30

13:00

13:15

14:00

13:30

15:30

15:50

16:10 Гурьев Д., Гай М., Иткин И., Терентьев А.Высокопроизводительный генератор нагрузки для тестирования систем автоматизированной торговли

Прядкина Н., Крюков А.Использование MBT-подхода для верификации систем мониторинга и контроля на фондовых биржах

16:30

Тестирование совместимости протокольных подключений клиентов биржевых и брокерских систем

Об усовершенствовании статистического метода оценки полноты тестов программ и устройств

11:30

Автоматизация тестирования соответствия протокола безопасности транспортного уровня TLS

Сенов АПрименение технологий OLAP и MapReduce для обработки результатов нагрузочного тестирования

Бобров И., Зверев А.Тестирование графического интерфейса трейдинговых терминалов в условиях высокочастотной торговли

16:45

17:00 Кофе-брейк

Круглый стол: «Нешаблонные методы тестирования программного обеспечения для электронных торговых платформ»

17:30

Цителов Д., Трифанов В. Динамический поиск гонок в Java-программах на основе синхронизацион-ных контрактов

11:30 Кофе-брейк

Круглый стол: «Как написать хорошую научную статью»13:15Закрытие конференции

Завершающий обед

11 октября

ТЕСТИРОВАНИЕ

ТРЕЙДИНГОВЫЕ СИСТЕМЫ

АНАЛИЗ ПРОГРАММ

Диаграммы классов ООП: формализация и анализ