EXTENT Trading Technologies Trends & Quality Assurance

четверг, 26 сентября 2013 г.

Technical Solutions and Non-Technical Challenges of Test Automation

Dr. Alexander Petrenko (http://panda.ispras.ru/~petrenko/index.html) will be a keynote speaker on the subject of "Technical Solutions and Non-Technical Challenges of Test Automation" during TMPA-2013 Conference in Kostroma.

The potential for using program analysis, and particularly test generation, is sky-rocketing. However, putting new technologies into practice has been a challenge. What are the technical and non-technical aspects of this problem?
http://tmpaconf.org/programen/

пятница, 13 сентября 2013 г.

Процесс рецензирования TMPA-2013 завершен

Программный комитет TMPA-2013 провел тщательный отбор статей, собрав по три-четыре рецензии на каждую из представленных работ. Список докладов которые будут приняты для участия в конференции после внесения авторами изменений, основанных на комментариях, предложениях и замечаниях рецензентов, опубликован здесь: http://tmpaconf.org/programru
Acceptance rate = 0.67 ( 0.46 для секционных докладов )
Секционные доклады
  • Кузьмин Е., Рябухин Д., Шипов А.
  • Построение и вертификация ПЛК-программ по LTL-спецификации Ярославский государственный университет им. П.Г. Демидова
  • Верт Т., Крикун Т. и Глухих М.
  • Обнаружение дефектов работы с указателями в программах С и С++ с исользованием статистического анализа и логического вывода Санкт-Петербургский государственный политехнический университет, Технический университет Клаусталя
  • Никешин А., Пакулин Н., Шнитман
  • Автоматизация тестирования соответствия протокола безопасности транспортного уровня TLS Институт системного программирования РАН
  • Подымов В., Попеско У.
  • Вертификация программно-конфигурируемых сетей при помощи системы UPPAAL МГУ имени М.В. Ломоносова
  • Иванников В.П., Камкин А.С., Чупилко М.М.
  • Проверка корректности поведения HDL-моделей цифровой аппаратуры на основе динамического сопоставления трасс Институт системного программирования Российской академии наук (ИСП РАН)
  • Андрианова А., Ицыксон В.
  • Автоматизированный синтез тестов для Java-программ на основе анализа программ и учета контрактов Санк-Петербургский государственный политехнический университет
  • Ануреев И.
  • На пути к технологии разработки стредств дедуктивной вертификации программ Институт систем информатики имени А.П. Ершова, Россия
  • Френкель С.Л., Захаров В.Н., Ушаков В.Г.
  • Унифицированная высокоуровневая модель программно-аппаратной системы для верификации свойств надежности функционирования Институт Проблем Информатики РАН, Московский Гос. Университет им. М.В. Ломоносова
  • Буянова О., Булда А, Зверев А.
  • Применение симуляторов рынка ценных бумаг для тестирования систем агрегации и распределения информации о котировках (Ticker Plant) ООО «Инновационные Трейдинговые Системы», Костромской государственный технологический университет, Exactpro Systems LLC
  • Шипин А.А., Соколов В.А., Чалый Д.Ю.
  • Использование контрольных точек для вертификации SystemC-программ Ярославский государственный университет
  • Матвеева А., Антонов Н., Иткин И.
  • Особенности инструментов для тестирования, применимых при промышленной эксплуатации трейдинговых систем ООО «Инновационные Трейдинговые Системы», Костромской государственный технологический университет, Exactpro Systems LLC
  • Алексеенко А., Проценко П.,Матвеева А., Иткин И.
  • Тестирование совместимости протокольных подключений клиентов биржевых и брокерских систем ООО «Инновационные Трейдинговые Системы», Exactpro Systems LLC
  • Гурьев Д., Гай М., Иткин И., Терентьев А.
  • Высокопроизводительный генератор нагрузки для тестирования систем автоматизированной торговли ООО «Инновационные Трейдинговые Системы», Саратовский государственный технический университет имени Гагарина Ю.А.
  • Цителов Д. ,Трифанов В.
  • Динамический поиск гонок в Java-программах на основе синхронизационных контрактов Devexperts LLC, СПбГУ
  • Зорин Д.
  • Синтез архитектуры многопроцессорных вычислительных систем с учетом ограничений реального времени и требований к надежности Московский Государственный Университет им. М.В. Ломоносова
  • Пакулин Н.
  • Динамическая верификация гибридных систем Институт системного программирования РАН
  • Сартаков В., Тарасиков А.
  • Анализ производительности сетевой подсистемы микроядерного окружения Genode ksys labs
  • Басок Б., Гречин А.
  • Об усовершенствовании статистического метода оценки полноты тестов программ и устройств Московский государственный технический университет радиотехники, электроники и автоматики
    Краткие сообщения
  • Смирнов М., Олоничев В., Староверов Б.
  • Особенности разработки программного обеспечения для Linux-контроллеров Костромской государственный технологический университет
  • Тимофеев А.
  • Методика внедрения модельно-ориентированного подхода в процесс разработки программного обеспечения Владимирский Государственный Университет имени А.Г. и Н.Г. Столетовых
  • Сенов А.
  • Применение технологий OLAP и MapReduce для обработки результатов нагрузочного тестирования Костромской государственный технологический университет
  • Буй Д., Компан С.
  • Диаграммы классов ООП: форматицация и анализ Киевский национальный университет имени Тараса Шевченка
  • Бобров И., Зверев А.
  • Тестирование графического интерфейса трейдинговых терминалов в условиях высокочастотной торговли ООО «Инновационные Трейдинговые Системы»
  • Прядкина Н., Крюков А.
  • Использование MBT-подхода для верификации систем мониторинга и контроля на фондовых биржах Костромской государственный технологический университет
  • Лукин М., Шалыто А.
  • Верификация распределенных автоматных программ с использованием инструментального средства Spin СПб НИУ ИТМО
  • Журавлев М., Полозов В.
  • Подход к верификации корректности миграции данных между СУБД с использованием криптографических хэш-функций Санкт-Петербургский Государственный Университет