Иосиф Иткин, Exactpro - TBA

Machine Learning and Testing in
London Stock Exchange Group
Iosif Itkin, Co-Founder and CEO, Exactpro
9 April 2016, AIST Conference
Quality Assurance & Related Software Development for Innovative Trading Systems
Tel: +7 495 640 2460, +1 415 830 38 49
www.exactpro.com

2
Exactpro Systems Company Overview
Quality Assurance & Related Software Development for Innovative Trading Systems Tel: +7 495 640 24 60 , +1 415 830 38 49
www.exactpro.com
Exactpro is: Clients Worldwide:
• A specialist firm focused on functional and non functional
testing of systems that process wholesale financial products,
particularly market infrastructure
• A UK company with operations in the US and four QA &
software development centres in Eastern Europe
• Part of London Stock Exchange Group as of May 29, 2015
• Incorporated in 2009 with 10 people, our company has
experienced significant growth as satisfied clients require
more services;

3
London Stock Exchange Group
www.exactpro.com
• A leading diversified international exchange and infrastructure group with assets across the entire exchange value chain
• The Group can trace its history back to 1698
• Headquartered in the United Kingdom, with significant global operations, the Group employs approximately 5,500 people
• Post trade and risk management services are a significant part of the Group’s business operations
• Through FTSE Russell, the Group is a global leader in financial indexing, benchmarking and analytic services with
approximately $10 trillion benchmarked to its indexes

4
Tools & Methods of Program Analysis
www.exactpro.com
Sailfish:
Automated testing
Compares intended and received results
ClearTH:
• Automated end 2 end clearing system testing
Dolphin:
Market surveillance testing
Shsha:
• Automated monitoring, analysis and
reporting
Load Injector:
• 75K messages / second from a single CPU core
• Measures latencies in microsecond range
Minirobots:
• A variety of algoes simulating end-clients
will run and see how system performs
Quality Assurance:
test planning and
managementProcess audit and test
coverage analysis
Intelligent Management
of Large Data Sets
Test data management
Protocol level testing using FIX/FAST, SOAP, HTTP,
ITCH, SWIFT, MQ, SQL, proprietary binary and text
based data formats, etc.
Automated regression testing
Gathering requirements and test scenario creation
(human, message & reporting interfaces)
Creating and productizing
state-of-the-art
test harnesses
Test automation
Intelligent functional and
exploratory testing
Latency & capacity
testing

5
Quality Assurance Trends
www.exactpro.com
FrAgile Process
Crowd-sourced Testing
Formal Verification Methodologies
Cognitive Technology

6
FrAgile Process
www.exactpro.com
Test is Dead
Ideas before Products
Happy Software Developers
Software Engineer in Test

7
Crowd-Sourced Testing
www.exactpro.com
Immediate Feedback from
Diverse User Base
Instrumentation is Required
to Process Data

8
Formal Methods
www.exactpro.com
Model Checking
Theorem Proving
Static Analysis
Verification

9
What’s Next
www.exactpro.com
Can We Learn from Other Industries?
Be Both Faster and Safe
Who Had the Most Severe Problems with Technology?

10
Proposed Approach
www.exactpro.com
Build Software to Test Software
Test Tool Sophistication should
Match Platform’s Complexity
A Good Robot is Required to
Survive in Robot Apocalypse

11
Trading Systems
www.exactpro.com
Testing Instruments, Risk Control and Monitoring Tools should have the
Same Priority as the Trading Platform
Testability is Required for Agile Process and Continuous Integration
SET = Building Software to Test Software
No Formal Artefacts from Agile Process. Parallel Stream for Test Harness
Formal Verification can Improve Quality
The Software will Break Anyway
The Absence of Adequate Monitoring and Kill Switches is What Turns a
Problem into a Disaster

12
Passive Testing
www.exactpro.com

13
Test Tools for Client Onboarding and Certification
www.exactpro.com

Regular Test Automation
14
www.exactpro.com
Execute a test regression and make it:
as extensive as possible
as efficient as possible

15
Minirobots
www.exactpro.com
A set of Minirobots Algorithms allowing to perform a complete test
regression of a trading system within a few hours
All Robots work concurrently against the test environment
Robots are independent from each other, and their actions are based
on current conditions on the order books
Robots use an abstract Test Library and their main goal is to cover all
test cases within the library

Testing Algo-Trading System
16
Exactpro Systems, LLC Quality Assurance & Related Software Development for Innovative Trading Systems Tel: +7 495 640 24 60 , +1 415 830 38 49
exactpro.com
Deploy one or several scalable matching engines to serve as market simulators.
Repeat your tests multiple times to assess the quality and efficiency of your software

Machine Learning
17
exactpro.com
Select efficient limited subset of tests from an infinite number of possibilities
Identify test cases that were actually executed and their status
Teach robots to adhere to our values:
Integrity, Excellence, Partnership and Innovation

Human Learning
18
exactpro.com
https://ru.linkedin.com/in/iosifitkin http://extentconf.com

Иосиф Иткин, Exactpro - TBA

More Related Content

Viewers also liked

Similar to Иосиф Иткин, Exactpro - TBA

More from AIST

Recently uploaded

Иосиф Иткин, Exactpro - TBA