SlideShare a Scribd company logo
1 of 36
1
State Machine Based Testing
Florian Lier, Norman Köster, Ingo Lütkebohle, and Sven Wachsmuth
2
3 talks mentioned CI already ;)
3
(my) Motivation
Besides working in other research projects as a PhD student...
4
(my) Motivation
...my motivation is deeply grounded in the...
5
ROBOCUP
6
Source: http://www.youtube.com/watch?v=YpjeNa8BAYg
7
(my) Motivation
Robots operating in domestic environments
... rich interaction with humans
... object detection and recognition
... cluttered “real world” environment
... speech recognition and synthesis
... autonomous navigation and localization
... competitive event, which is “thrilling”
8
(my) Motivation
Source: http://www.cit-ec.de/sites/www.cit-ec.de/files/TDP_ToBI_2011_0.pdf
X
(my) Motivation
The team “ToBI” consists of
... 6-10 BA/MA students, they earn CPs!
... 1-3 PhDs, Postdocs supervision
... new students, every year...
... constantly improving/evolving system
... hackathons, during regular term
... “agile” on-site all around the world
9
Coding at actual event
10
Which is quite stressful, sometimes
11
Agile methods are applied
X
Problem I
Approximately 10 developers but
... only 1 Robot to test with
... > 10 source code repos to “watch”
... frequent changes everywhere
... local file system vs. robot file system
12
Problem I
“The task starts in 5 minutes”
13
Problem I
“Oh wait, I didn’t commit yet...”
14
Problem I
“Ok, it’s checked-in send the robot to the arena!”
15
Problem I
“Waaaait, I just realized I broke the task!!!”
(RoboCup classic)
16
Solution I
17
Solution I
Yes! A Continuous Integration Server
... monitors all build statuses (red, green)
... checks robot vs. local file system sync
... delivers instant feedback
... automated build process, static checks
... de-stresses situation, best-practice, etc
18
Problem II
“I tested the task in the area everything ..., but the robot doesn’t move!”
19
Solution II
Yes! Simulation for everyone!
... but,
... > 15 components to start, manually
... operate the simulator, manually
... based on subjective measurements
... first test prob. != second test
... timing, sequence, operator, machine
... you name it
20
“Simulation?”
21
Proposal
Yes! Combine CI and simulation testing
... serialize building an testing automatically
... start the simulation and all required components
... deliver feedback and results
... frequent checks (per check-in)
... works also outside RoboCup ;)
22
Approach
Create a state-machine for simulation tests!
23
Goals of SM based testing
No “tailored” solution for a specific system
Minimize the effort, let the machine do the work
Enable developers to design a well-structured test
Explicit environment setup and configuration
Transparent orchestration, repeatable and comparable
Verify system start-up and tear-down
24
25
26
27
Benefits
Well-structured, explicit definition of env. and comp.
Fully automatable (CI enabled and CLOUD enabled)
Repeatable, exchangeable, composable and comparable
Execution checks, early exit (error states)
Timing and sequence is taken into account
Language, tool, and framework independent (!= roslaunch)
(OS independent, not tested on windows yet)
Distribution (STRANDS?)
28
Benefits // MORSE
Morse setup and execution
Fully automatable (CI enabled and CLOUD enabled)
Repeatable, exchangeable, composable and comparable
Execution checks, early exit (error states)
Timing and sequence is taken into account
Language, tool, and framework independent (!= roslaunch)
(OS independent, not tested on windows yet)
X
Morse Demo: ATRV + ROS, rosbag, rostopic, rxplot
29
30Source: https://vimeo.com/67803733
Thank you!
31
Discussion Topics
Useful?
Problems: SCXML is pain!
MORSE integration
Metrics
UnitT integration
32
33

More Related Content

Similar to State Machine Based Testing

MoSKito at Silpion Solutionscamp 2014
MoSKito at Silpion Solutionscamp 2014MoSKito at Silpion Solutionscamp 2014
MoSKito at Silpion Solutionscamp 2014Leon Rosenberg
 
Klaxit - How to keep it clean, for years - Paris.RB 2020
Klaxit - How to keep it clean, for years - Paris.RB 2020Klaxit - How to keep it clean, for years - Paris.RB 2020
Klaxit - How to keep it clean, for years - Paris.RB 2020Cyrille Courtiere
 
A.Levenchuk -- visuomotor learning in cyber-phisical systems
A.Levenchuk -- visuomotor learning in cyber-phisical systemsA.Levenchuk -- visuomotor learning in cyber-phisical systems
A.Levenchuk -- visuomotor learning in cyber-phisical systemsAnatoly Levenchuk
 
MORSE & HRI -- SIMPAR 2014 (Florian Lier)
MORSE & HRI -- SIMPAR 2014 (Florian Lier)MORSE & HRI -- SIMPAR 2014 (Florian Lier)
MORSE & HRI -- SIMPAR 2014 (Florian Lier)Florian Lier
 
20130221 ucd leuven_leuven
20130221 ucd leuven_leuven20130221 ucd leuven_leuven
20130221 ucd leuven_leuvenErik Duval
 
بینایی ماشین
بینایی ماشینبینایی ماشین
بینایی ماشینShiraz LUG
 
Crowds and Clouds
Crowds and CloudsCrowds and Clouds
Crowds and CloudskingsBSD
 
Autonomous Machines with Project Bonsai
Autonomous Machines with Project BonsaiAutonomous Machines with Project Bonsai
Autonomous Machines with Project BonsaiIvo Andreev
 
EuroSTAR 2018 tutorial Rik Marselis Testing Intelligent Machines
EuroSTAR 2018 tutorial Rik Marselis Testing Intelligent MachinesEuroSTAR 2018 tutorial Rik Marselis Testing Intelligent Machines
EuroSTAR 2018 tutorial Rik Marselis Testing Intelligent MachinesRik Marselis
 
From Thousands of Hours to a Couple of Minutes: Automating Exploit Generation...
From Thousands of Hours to a Couple of Minutes: Automating Exploit Generation...From Thousands of Hours to a Couple of Minutes: Automating Exploit Generation...
From Thousands of Hours to a Couple of Minutes: Automating Exploit Generation...Priyanka Aash
 
C++ Unit testing - the good, the bad & the ugly
C++ Unit testing - the good, the bad & the uglyC++ Unit testing - the good, the bad & the ugly
C++ Unit testing - the good, the bad & the uglyDror Helper
 
User Experience & Extreme Programming: An Experience Report
User Experience & Extreme Programming: An Experience Report User Experience & Extreme Programming: An Experience Report
User Experience & Extreme Programming: An Experience Report Michael Rawling
 
inleiding tot chi
inleiding tot chiinleiding tot chi
inleiding tot chiErik Duval
 

Similar to State Machine Based Testing (20)

MoSKito at Silpion Solutionscamp 2014
MoSKito at Silpion Solutionscamp 2014MoSKito at Silpion Solutionscamp 2014
MoSKito at Silpion Solutionscamp 2014
 
Klaxit - How to keep it clean, for years - Paris.RB 2020
Klaxit - How to keep it clean, for years - Paris.RB 2020Klaxit - How to keep it clean, for years - Paris.RB 2020
Klaxit - How to keep it clean, for years - Paris.RB 2020
 
A.Levenchuk -- visuomotor learning in cyber-phisical systems
A.Levenchuk -- visuomotor learning in cyber-phisical systemsA.Levenchuk -- visuomotor learning in cyber-phisical systems
A.Levenchuk -- visuomotor learning in cyber-phisical systems
 
MORSE & HRI -- SIMPAR 2014 (Florian Lier)
MORSE & HRI -- SIMPAR 2014 (Florian Lier)MORSE & HRI -- SIMPAR 2014 (Florian Lier)
MORSE & HRI -- SIMPAR 2014 (Florian Lier)
 
20130221 ucd leuven_leuven
20130221 ucd leuven_leuven20130221 ucd leuven_leuven
20130221 ucd leuven_leuven
 
Developer disciplines
Developer disciplinesDeveloper disciplines
Developer disciplines
 
OpenCV
OpenCVOpenCV
OpenCV
 
بینایی ماشین
بینایی ماشینبینایی ماشین
بینایی ماشین
 
Crowds and Clouds
Crowds and CloudsCrowds and Clouds
Crowds and Clouds
 
Autonomous Machines with Project Bonsai
Autonomous Machines with Project BonsaiAutonomous Machines with Project Bonsai
Autonomous Machines with Project Bonsai
 
From open source labs to ceo methods and advice by sysfera
From open source labs to ceo methods and advice by sysferaFrom open source labs to ceo methods and advice by sysfera
From open source labs to ceo methods and advice by sysfera
 
EuroSTAR 2018 tutorial Rik Marselis Testing Intelligent Machines
EuroSTAR 2018 tutorial Rik Marselis Testing Intelligent MachinesEuroSTAR 2018 tutorial Rik Marselis Testing Intelligent Machines
EuroSTAR 2018 tutorial Rik Marselis Testing Intelligent Machines
 
Robot simulation for_control_design
Robot simulation for_control_designRobot simulation for_control_design
Robot simulation for_control_design
 
From Thousands of Hours to a Couple of Minutes: Automating Exploit Generation...
From Thousands of Hours to a Couple of Minutes: Automating Exploit Generation...From Thousands of Hours to a Couple of Minutes: Automating Exploit Generation...
From Thousands of Hours to a Couple of Minutes: Automating Exploit Generation...
 
Why Robots may need to be self-­‐aware, before we can really trust them - Ala...
Why Robots may need to be self-­‐aware, before we can really trust them - Ala...Why Robots may need to be self-­‐aware, before we can really trust them - Ala...
Why Robots may need to be self-­‐aware, before we can really trust them - Ala...
 
Tuyendung.8.2010
Tuyendung.8.2010Tuyendung.8.2010
Tuyendung.8.2010
 
C++ Unit testing - the good, the bad & the ugly
C++ Unit testing - the good, the bad & the uglyC++ Unit testing - the good, the bad & the ugly
C++ Unit testing - the good, the bad & the ugly
 
Nt1320 Unit 6
Nt1320 Unit 6Nt1320 Unit 6
Nt1320 Unit 6
 
User Experience & Extreme Programming: An Experience Report
User Experience & Extreme Programming: An Experience Report User Experience & Extreme Programming: An Experience Report
User Experience & Extreme Programming: An Experience Report
 
inleiding tot chi
inleiding tot chiinleiding tot chi
inleiding tot chi
 

Recently uploaded

Architecting Cloud Native Applications
Architecting Cloud Native ApplicationsArchitecting Cloud Native Applications
Architecting Cloud Native ApplicationsWSO2
 
FWD Group - Insurer Innovation Award 2024
FWD Group - Insurer Innovation Award 2024FWD Group - Insurer Innovation Award 2024
FWD Group - Insurer Innovation Award 2024The Digital Insurer
 
DBX First Quarter 2024 Investor Presentation
DBX First Quarter 2024 Investor PresentationDBX First Quarter 2024 Investor Presentation
DBX First Quarter 2024 Investor PresentationDropbox
 
Spring Boot vs Quarkus the ultimate battle - DevoxxUK
Spring Boot vs Quarkus the ultimate battle - DevoxxUKSpring Boot vs Quarkus the ultimate battle - DevoxxUK
Spring Boot vs Quarkus the ultimate battle - DevoxxUKJago de Vreede
 
Biography Of Angeliki Cooney | Senior Vice President Life Sciences | Albany, ...
Biography Of Angeliki Cooney | Senior Vice President Life Sciences | Albany, ...Biography Of Angeliki Cooney | Senior Vice President Life Sciences | Albany, ...
Biography Of Angeliki Cooney | Senior Vice President Life Sciences | Albany, ...Angeliki Cooney
 
2024: Domino Containers - The Next Step. News from the Domino Container commu...
2024: Domino Containers - The Next Step. News from the Domino Container commu...2024: Domino Containers - The Next Step. News from the Domino Container commu...
2024: Domino Containers - The Next Step. News from the Domino Container commu...Martijn de Jong
 
Polkadot JAM Slides - Token2049 - By Dr. Gavin Wood
Polkadot JAM Slides - Token2049 - By Dr. Gavin WoodPolkadot JAM Slides - Token2049 - By Dr. Gavin Wood
Polkadot JAM Slides - Token2049 - By Dr. Gavin WoodJuan lago vázquez
 
[BuildWithAI] Introduction to Gemini.pdf
[BuildWithAI] Introduction to Gemini.pdf[BuildWithAI] Introduction to Gemini.pdf
[BuildWithAI] Introduction to Gemini.pdfSandro Moreira
 
presentation ICT roal in 21st century education
presentation ICT roal in 21st century educationpresentation ICT roal in 21st century education
presentation ICT roal in 21st century educationjfdjdjcjdnsjd
 
AXA XL - Insurer Innovation Award Americas 2024
AXA XL - Insurer Innovation Award Americas 2024AXA XL - Insurer Innovation Award Americas 2024
AXA XL - Insurer Innovation Award Americas 2024The Digital Insurer
 
Apidays New York 2024 - Passkeys: Developing APIs to enable passwordless auth...
Apidays New York 2024 - Passkeys: Developing APIs to enable passwordless auth...Apidays New York 2024 - Passkeys: Developing APIs to enable passwordless auth...
Apidays New York 2024 - Passkeys: Developing APIs to enable passwordless auth...apidays
 
Repurposing LNG terminals for Hydrogen Ammonia: Feasibility and Cost Saving
Repurposing LNG terminals for Hydrogen Ammonia: Feasibility and Cost SavingRepurposing LNG terminals for Hydrogen Ammonia: Feasibility and Cost Saving
Repurposing LNG terminals for Hydrogen Ammonia: Feasibility and Cost SavingEdi Saputra
 
Apidays New York 2024 - Accelerating FinTech Innovation by Vasa Krishnan, Fin...
Apidays New York 2024 - Accelerating FinTech Innovation by Vasa Krishnan, Fin...Apidays New York 2024 - Accelerating FinTech Innovation by Vasa Krishnan, Fin...
Apidays New York 2024 - Accelerating FinTech Innovation by Vasa Krishnan, Fin...apidays
 
Connector Corner: Accelerate revenue generation using UiPath API-centric busi...
Connector Corner: Accelerate revenue generation using UiPath API-centric busi...Connector Corner: Accelerate revenue generation using UiPath API-centric busi...
Connector Corner: Accelerate revenue generation using UiPath API-centric busi...DianaGray10
 
EMPOWERMENT TECHNOLOGY GRADE 11 QUARTER 2 REVIEWER
EMPOWERMENT TECHNOLOGY GRADE 11 QUARTER 2 REVIEWEREMPOWERMENT TECHNOLOGY GRADE 11 QUARTER 2 REVIEWER
EMPOWERMENT TECHNOLOGY GRADE 11 QUARTER 2 REVIEWERMadyBayot
 
Navigating the Deluge_ Dubai Floods and the Resilience of Dubai International...
Navigating the Deluge_ Dubai Floods and the Resilience of Dubai International...Navigating the Deluge_ Dubai Floods and the Resilience of Dubai International...
Navigating the Deluge_ Dubai Floods and the Resilience of Dubai International...Orbitshub
 
Emergent Methods: Multi-lingual narrative tracking in the news - real-time ex...
Emergent Methods: Multi-lingual narrative tracking in the news - real-time ex...Emergent Methods: Multi-lingual narrative tracking in the news - real-time ex...
Emergent Methods: Multi-lingual narrative tracking in the news - real-time ex...Zilliz
 
"I see eyes in my soup": How Delivery Hero implemented the safety system for ...
"I see eyes in my soup": How Delivery Hero implemented the safety system for ..."I see eyes in my soup": How Delivery Hero implemented the safety system for ...
"I see eyes in my soup": How Delivery Hero implemented the safety system for ...Zilliz
 
Modular Monolith - a Practical Alternative to Microservices @ Devoxx UK 2024
Modular Monolith - a Practical Alternative to Microservices @ Devoxx UK 2024Modular Monolith - a Practical Alternative to Microservices @ Devoxx UK 2024
Modular Monolith - a Practical Alternative to Microservices @ Devoxx UK 2024Victor Rentea
 

Recently uploaded (20)

Architecting Cloud Native Applications
Architecting Cloud Native ApplicationsArchitecting Cloud Native Applications
Architecting Cloud Native Applications
 
+971581248768>> SAFE AND ORIGINAL ABORTION PILLS FOR SALE IN DUBAI AND ABUDHA...
+971581248768>> SAFE AND ORIGINAL ABORTION PILLS FOR SALE IN DUBAI AND ABUDHA...+971581248768>> SAFE AND ORIGINAL ABORTION PILLS FOR SALE IN DUBAI AND ABUDHA...
+971581248768>> SAFE AND ORIGINAL ABORTION PILLS FOR SALE IN DUBAI AND ABUDHA...
 
FWD Group - Insurer Innovation Award 2024
FWD Group - Insurer Innovation Award 2024FWD Group - Insurer Innovation Award 2024
FWD Group - Insurer Innovation Award 2024
 
DBX First Quarter 2024 Investor Presentation
DBX First Quarter 2024 Investor PresentationDBX First Quarter 2024 Investor Presentation
DBX First Quarter 2024 Investor Presentation
 
Spring Boot vs Quarkus the ultimate battle - DevoxxUK
Spring Boot vs Quarkus the ultimate battle - DevoxxUKSpring Boot vs Quarkus the ultimate battle - DevoxxUK
Spring Boot vs Quarkus the ultimate battle - DevoxxUK
 
Biography Of Angeliki Cooney | Senior Vice President Life Sciences | Albany, ...
Biography Of Angeliki Cooney | Senior Vice President Life Sciences | Albany, ...Biography Of Angeliki Cooney | Senior Vice President Life Sciences | Albany, ...
Biography Of Angeliki Cooney | Senior Vice President Life Sciences | Albany, ...
 
2024: Domino Containers - The Next Step. News from the Domino Container commu...
2024: Domino Containers - The Next Step. News from the Domino Container commu...2024: Domino Containers - The Next Step. News from the Domino Container commu...
2024: Domino Containers - The Next Step. News from the Domino Container commu...
 
Polkadot JAM Slides - Token2049 - By Dr. Gavin Wood
Polkadot JAM Slides - Token2049 - By Dr. Gavin WoodPolkadot JAM Slides - Token2049 - By Dr. Gavin Wood
Polkadot JAM Slides - Token2049 - By Dr. Gavin Wood
 
[BuildWithAI] Introduction to Gemini.pdf
[BuildWithAI] Introduction to Gemini.pdf[BuildWithAI] Introduction to Gemini.pdf
[BuildWithAI] Introduction to Gemini.pdf
 
presentation ICT roal in 21st century education
presentation ICT roal in 21st century educationpresentation ICT roal in 21st century education
presentation ICT roal in 21st century education
 
AXA XL - Insurer Innovation Award Americas 2024
AXA XL - Insurer Innovation Award Americas 2024AXA XL - Insurer Innovation Award Americas 2024
AXA XL - Insurer Innovation Award Americas 2024
 
Apidays New York 2024 - Passkeys: Developing APIs to enable passwordless auth...
Apidays New York 2024 - Passkeys: Developing APIs to enable passwordless auth...Apidays New York 2024 - Passkeys: Developing APIs to enable passwordless auth...
Apidays New York 2024 - Passkeys: Developing APIs to enable passwordless auth...
 
Repurposing LNG terminals for Hydrogen Ammonia: Feasibility and Cost Saving
Repurposing LNG terminals for Hydrogen Ammonia: Feasibility and Cost SavingRepurposing LNG terminals for Hydrogen Ammonia: Feasibility and Cost Saving
Repurposing LNG terminals for Hydrogen Ammonia: Feasibility and Cost Saving
 
Apidays New York 2024 - Accelerating FinTech Innovation by Vasa Krishnan, Fin...
Apidays New York 2024 - Accelerating FinTech Innovation by Vasa Krishnan, Fin...Apidays New York 2024 - Accelerating FinTech Innovation by Vasa Krishnan, Fin...
Apidays New York 2024 - Accelerating FinTech Innovation by Vasa Krishnan, Fin...
 
Connector Corner: Accelerate revenue generation using UiPath API-centric busi...
Connector Corner: Accelerate revenue generation using UiPath API-centric busi...Connector Corner: Accelerate revenue generation using UiPath API-centric busi...
Connector Corner: Accelerate revenue generation using UiPath API-centric busi...
 
EMPOWERMENT TECHNOLOGY GRADE 11 QUARTER 2 REVIEWER
EMPOWERMENT TECHNOLOGY GRADE 11 QUARTER 2 REVIEWEREMPOWERMENT TECHNOLOGY GRADE 11 QUARTER 2 REVIEWER
EMPOWERMENT TECHNOLOGY GRADE 11 QUARTER 2 REVIEWER
 
Navigating the Deluge_ Dubai Floods and the Resilience of Dubai International...
Navigating the Deluge_ Dubai Floods and the Resilience of Dubai International...Navigating the Deluge_ Dubai Floods and the Resilience of Dubai International...
Navigating the Deluge_ Dubai Floods and the Resilience of Dubai International...
 
Emergent Methods: Multi-lingual narrative tracking in the news - real-time ex...
Emergent Methods: Multi-lingual narrative tracking in the news - real-time ex...Emergent Methods: Multi-lingual narrative tracking in the news - real-time ex...
Emergent Methods: Multi-lingual narrative tracking in the news - real-time ex...
 
"I see eyes in my soup": How Delivery Hero implemented the safety system for ...
"I see eyes in my soup": How Delivery Hero implemented the safety system for ..."I see eyes in my soup": How Delivery Hero implemented the safety system for ...
"I see eyes in my soup": How Delivery Hero implemented the safety system for ...
 
Modular Monolith - a Practical Alternative to Microservices @ Devoxx UK 2024
Modular Monolith - a Practical Alternative to Microservices @ Devoxx UK 2024Modular Monolith - a Practical Alternative to Microservices @ Devoxx UK 2024
Modular Monolith - a Practical Alternative to Microservices @ Devoxx UK 2024
 

State Machine Based Testing