Формальная верификация как средство тестирования в Java

Описание: Насколько формальная верификация применима на практике? Как то, что применимо, соотносится с традиционными способами тестирования, такими как динамическое и статическое тестирование? Какие виды ошибок она помогает находить, насколько эффективно использование данного подхода? Мы постараемся передать всю боль испытываемую нами при тестировании Oracle JDK традиционными средствами. Мы покажем какие инструменты и какие фичи языка Java позволят нам и вам, разработчикам продуктов на Java, сэкономить на тестировании, переложив часть ответственности на средства формальной верификации.

Тип выступления: Доклад (50 минут)

Владимир Иванов

Oracle, Россия
Владимир является сотрудником компании Oracle и работает в группе разработки HotSpot JVM над JIT-компиляторами. Помимо плотной работы над виртуальной машиной Java от Oracle, принимал активное участие в большом количестве проектов, связанных с JVM и JDK в целом (например, Java Real-Time System, JavaFX).

Видеозапись выступления

Александр Ильин

Oracle, Россия
Alexandre Iline is a senior quality engineer in Oracle, working as a quality architect on several products in Java portfilio and as a test tools architect for the Java SQE. Prior to that, Alexandre was playing a role of quality lead/architect of such products as Java Studio Creator and Netbeans. Before that, Alexandre was working as a member/lead of NetBeans QE tools team.

Alexandre leads/led development for a number of test tools from test harnesses to metrics tools. In particular, Alexandre is the author of Jemmy – the open-source UI testing tool used widely for Swing/AWT UI applications testing as well as for testing of Swing itself. Jemmy v3 is a new generation tool developed/led by Alexandre which, along with the other UI libraries, allows to test FX UI. The tool is used successfully for testing Java FX SDK and Java FX products developed internally.