Presentations from TMPA-2013 are now available on SlideShare

Program:

October 10, 2013
09:00	Registration
09:30	Conference Оpening
10:15	Yuri G. Karpov, Professor, Head of Department of Distributed Computing and Networking of the St. Petersburg State Polytechnic University Technical Cybernetics School SPSPUTCS Verification of Parallel Programs – Current Stage and Perspectives
11:15	Coffee-break
	verification:
11:45	Pakulin, N., Institute for System Programming, ISP RAS Dynamic Verification of Hybrid Systems
12:15	Podymov, V., Popesko, U., Moscow State University Verification of Programmable and Configurable Networks Using the UPPAAL System
12:45	Kuzmin, Е., Ryabukhin, D., Shipov, А Yaroslavl State University Building and Verification of PLC Programs Based on LTL Specification
13:15	Anureyev, I., A.P.Ershov Institute of Informatics Systems On the Road to Technology of Developing the Means of Deductive Program Verification
13:45	Lukin, M., Shalyto, А. , St. Petersburg National Research University of Information Technologies, Mechanics and Optics Verification of Distributed Automated Programs Using the Spin Tool
14:00	Lunch
15:30	Zaitsev D., Professor, International Humanitarian University, Odessa, Ukraine The Efficient Universal Sleptsov Net
	hardware track:
16:00	Ivannikov, V.P., Kamkin, A.S., Chupilko, M.M., Institute for System Programming, ISP RAS Verification of Correct Behaviour of HDL-Models of Digital Equipment Based on the Dynamic Comparison of Tracks
17:00	Shipin, А.А., Sokolov, V.А., Chaliy, D.U., Yaroslavl State University The Usage of Check Points for SystemC Program Verification
17:30	Frenkel, S.L., Zakharov, V.N., Ushakov, V.G., Institute of Informatics Problems, RAS; Moscow State University Unified High Level Model of Software and Hardware System for Verifying Functional Reliability
17:45	Smirnov, М., Olonichev, V., Staroverov, B. , Kostroma State Technological University The Specifics of Developing Software for Linux Controllers

October 11, 2013
08:30	Registration
09:30	Alexander K. Petrenko, Professor, Head of Programming Technologies Department, Institute for System Programming ISP RAS Technical Solutions and Non-Technical Challenges of Test Automation
10:30	ISTQB
	testing:
11:00	Basok, B., Grechin, A., Moscow State Technical University of Radioengineering, Electronics and Automation On Improving the Statistical Method of Assessing Test Coverage for Programs and Devices
11:30	Coffee-break
12:00	Sartakov, V., Tarasikov, Aksys labs The Analysis of Performance of Genode Micro-core Environment Network Subsystem
12:30	Zhuravlev, М., Polozov, V. , St. Petersburg State University An Approach to Verification of Correctness of Data Migration between DBMS Using Cryptographic Hash Functions
13:00	Nikeshin, А., Pakulin, N., Shnitman, V., Institute for System Programming, ISP RAS Automation of Conformance Testing of TLS Transport Layer Security Protocol
13:15	Senov, А , Kostroma State Technological University Applying OLAP and MapReduce Technologies for Performance Testing Results Processing
	trading system:
13:30	Matveeva, А., Antonov, N., Itkin, I, Innovative Trading Systems, LLC, Kostroma State Technological University, Exactpro Systems, LLC The Specifics of Test Tools Used in Trading Systems Production Environments
14:00	Lunch
15:30	Alexeenko, А., Protsenko, P., Matveeva, А., Itkin, I., Sharov D., Innovative Trading Systems, LLC, Exactpro Systems LLC Compatibility Testing of Protocol Connections of Exchange and Broker Systems Clients
15:50	О., Buyanova, А, Zverev, А.,Bulda Innovative Trading Systems, LLC, Kostroma State Technological University, Exactpro Systems, LLC The Application of Exchange Simulators for Ticker Plant Testing
16:10	Guriev, D., Gai, M., Itkin, I., Terentiev, A., Innovative Trading Systems, LLC High Performance Load Generator for Automated Trading Systems Testing
16:30	Pryadkina N., Kryukov, A , Kostroma State Technological University Model Based Testing Approach for Verification of Exchange Surveillance Systems
16:45	Bobrov, I., Zverev, A, Innovative Trading Systems, LLC Testing of Graphical Interface of Trading Terminals in High Frequency Trading Conditions
17:00	Coffee-break
17:30	Round Table: Electronic Trading Platforms: Unconventional Methods of Software Testing

October 12, 2013
09:00	Registration
09:30	Vladimir A. Zakharov, Associate Professor of Mathematical Cybernetics Department, Head of Laboratory of Mathematical Problems of Computer Security, Faculty of Computational Mathematics and Cybernetics, Moscow State University (MSU) Mathematical Aspects of Program Obfuscation
	analysis of programs:
10:30	Tsytelov, D., Trifanov, V., Devexperts LLC, St. Petersburg State University Search of Race Conditions in Java Programs Based on Synchronization Contracts
11:00	Vert, Т., Krikun, Т. и Glukhih, М., St. Petersburg State Polytechnic University, Clausthal Technical University Finding Defects in C and C++ Pointers Using Static Analysis and Logical Inference
11:30	Coffee-break
12:00	Andrianova, А., Itsykson, V., St. Petersburg State Polytechnic University Automated Test Synthesis for Java Programs Based on Program Analysis and Contract Inventory
12:30	Bui, D., Kompan, S., Taras Shevchenko National University of Kyiv OOP Class Diagrams: Formation and Analysis
12:45	Round table: How to Write a Good Scientific Paper
13:30	Conference closing
14:00	The final dinner

Дмитрий Зайцев: Эффективная универсальная сеть Слепцова на TMPA-2013

Д.т.н., проф. Зайцев Дмитрий Анатольевич выступит с пленарным докладом: "Эффективная универсальная сеть Слепцова" http://daze.ho.ua/

http://mcu2013.ini.uzh.ch/Program.html
https://www.morebooks.de/store/gb/book/clans-of-petri-nets/isbn/978-3-659-42228-7
http://tmpaconf.org

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/

Процесс рецензирования 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 СПб НИУ ИТМО

Журавлев М., Полозов В.

Подход к верификации корректности миграции данных между СУБД с использованием криптографических хэш-функций Санкт-Петербургский Государственный Университет

13 августа - стартует процесс рецензирования статей TMPA-2013

10 - 12 октября 2013 года в Костроме будет проходить международная научно-практическая конференция «Tools & Methods of Program Analysis». Конференция посвящена одному из наиболее актуальных и важных направлений программной инженерии – анализу качества программного обеспечения. На конкурс было подано 40 статей. Процесс рецензирования и отбора начнется 13 августа. Программный комитет состоит из 23 ведущих ученых в области инструментов и методов анализа программ Добро пожаловать на TMPA-2013 в Костроме! http://tmpaconf.org

Солнце садилось за Гонолулу – TMPA-2013

Солнце садилось за Гонолулу. Крайний срок подачи аннотаций статей приближался. Есть еще время. Но его мало - http://tmpaconf.org/speakersru
Ключевые даты:

22 июля – последний срок подачи аннотаций статей

1 августа – последний срок подачи статей

31 августа – публикация списка принятых работ

10 сентября – предоставление финальных версий статей для публикации в сборнике

10-12 октября – рабочие дни конференции «TMPA-2013»

Russian Finance & Investment Forum 2013 in Zurich

On July 11, 2013 Zurich, Switzerland hosted the Russian Finance & Investment Forum 2013 devoted to attracting international investors to financial and investment projects in Russia.

A presentation from Exactpro Systems LLC contained a short overview of software development and quality assurance industry for global financial markets, including the latest state-of-the-art technology software products developed by Russian specialists.

Part of the presentation focused on cooperation of IT employers with Russia’s leading universities and academia, international conferences and workshops held in Russia, specialized on-line communities supported by enthusiasts and showing growing interest to software development in the country as a whole, and tax incentives for accredited Russian IT companies.