SlideShare a Scribd company logo
ALM User Group
© Copyright SELA software & Education Labs Ltd. | 14-18 Baruch Hirsch St Bnei Brak, 51202 Israel | www.selagroup.com
May 2016
Natalia Meergus, Ilia German
“Create Tests Automatically? It’s possible!”
Practical Model-Based Testing
Agenda
MBT in a nutshell
Demo with Conformiq Creator
Q&A
Test automation evolution
Manual Automatic
Test
design
Test
execution
Testing skills + Scripting skills + Modeling skills
Traditionalmanualtesting
Traditionalautomatictesting
Model-based
testing
MBT idea
MBT output
Test SUT
Test Step
Expected Result
Test Step
Test Step
…
Expected Result
A model
A model and tests
void test1()
{
StartBrowser();
VerifyBrowserStarted();
EnterBaseUrl();
VerifyBaseUrl();
Login();
VerifyLogin();
Logout();
VerifyBaseUrl();
Close();
}
A model and tests
void test1()
{
StartBrowser();
VerifyBrowserStarted();
EnterBaseUrl();
VerifyBaseUrl();
Login();
VerifyLogin();
Logout();
VerifyBaseUrl();
Close();
}
void test3()
{
StartBrowser();
VerifyBrowserStarted();
EnterBaseUrl();
VerifyBaseUrl();
Login();
VerifyLogin();
Close();
}
void test2()
{
StartBrowser();
VerifyBrowserStarted();
EnterBaseUrl();
VerifyBaseUrl();
Close();
}
void test4()
{
StartBrowser();
VerifyBrowserStarted();
EnterBaseUrl();
VerifyBaseUrl();
Login();
VerifyLogin();
Logout();
VerifyBaseUrl();
Login();
VerifyLogin();
Logout();
VerifyBaseUrl();
Close();
}
MBT workflow
MBT tools
MaTeLo Conformiq Designer
TestOptimal Atos TEMPPO
Smartesting CertifyIt Conformiq Creator
Elvior MOTES/TestCast MBT
Reactis MBTsuite Bender RBT
GraphWalker NModel
Microsoft SpecExplorer
ISTQB Certification MBT Extension
MBT benefits/ROI
Organizations using MBT
report reduction of:
escaped bugs by 27%
testing costs by 35%
testing duration by 31%
(on average, source: MBT User Survey 2014 by Robert Binder)
Demo
Main points
Tests can be automatically generated
(given a model of the system and a
test harness)
MBT is finding bugs missed by
manually designed tests
MBT makes test coverage systematic, visible and
measurable
MBT takes an upfront modeling effort but
considerably accelerates extension of test suites
and their maintenance
Maintaining a system model improves overall
process and benefits all disciplines
[ ]/
Thanks;

More Related Content

What's hot (20)

PPT
Automated Testing DITA Content and Customizations
Steve Anderson
 
PPT
Speed up your tests
Devi Sridharan
 
PPTX
Codeception @ New Business Dept Adira Finance
Fachrul Choliluddin
 
PDF
Hands-on Experience Model based testing with spec explorer
Rachid Kherrazi
 
PDF
Engaging IV&V Testing Services for Agile Projects
Ravi Kumar
 
PDF
Behavior Driven Development with SpecFlow
Rachid Kherrazi
 
PPTX
Advanced unit testing – real life examples and mistakes
Milan Vukoje
 
PPTX
Code Review
Mikalai Alimenkou
 
PPTX
Mixing testing types to improve your testing results
PractiTest
 
PPTX
An Introduction to Unit Testing
Joe Tremblay
 
PPTX
Real Life Unit Testing
Dror Helper
 
PPTX
Benefit From Unit Testing In The Real World
Dror Helper
 
PDF
Java Code Review Checklist
Mahesh Chopker
 
PDF
Volodymyr Prymakov and Vlada Benyukh Detailed manual estimation approach for ...
Ievgenii Katsan
 
PPTX
Understanding Unit Testing
ikhwanhayat
 
PDF
Just Java2007 - Daniel Wildt - Tools For Java Test Automation
Daniel Wildt
 
PDF
Unit Testing Done Right
Brian Fenton
 
KEY
Unit Testing Your Application
Paladin Web Services
 
PPTX
Unit Testing
Avinash Kadam
 
PPTX
Type mock isolator
MaslowB
 
Automated Testing DITA Content and Customizations
Steve Anderson
 
Speed up your tests
Devi Sridharan
 
Codeception @ New Business Dept Adira Finance
Fachrul Choliluddin
 
Hands-on Experience Model based testing with spec explorer
Rachid Kherrazi
 
Engaging IV&V Testing Services for Agile Projects
Ravi Kumar
 
Behavior Driven Development with SpecFlow
Rachid Kherrazi
 
Advanced unit testing – real life examples and mistakes
Milan Vukoje
 
Code Review
Mikalai Alimenkou
 
Mixing testing types to improve your testing results
PractiTest
 
An Introduction to Unit Testing
Joe Tremblay
 
Real Life Unit Testing
Dror Helper
 
Benefit From Unit Testing In The Real World
Dror Helper
 
Java Code Review Checklist
Mahesh Chopker
 
Volodymyr Prymakov and Vlada Benyukh Detailed manual estimation approach for ...
Ievgenii Katsan
 
Understanding Unit Testing
ikhwanhayat
 
Just Java2007 - Daniel Wildt - Tools For Java Test Automation
Daniel Wildt
 
Unit Testing Done Right
Brian Fenton
 
Unit Testing Your Application
Paladin Web Services
 
Unit Testing
Avinash Kadam
 
Type mock isolator
MaslowB
 

Viewers also liked (20)

PPTX
Testing NodeJS, REST APIs and MongoDB with UFT
Ori Bendet
 
PPTX
Conformiq Tutorial
petersmagnusson
 
PDF
Parasoft Testing anything, any time with containerized service virtualization
ChantalWauters
 
PPTX
Roman iovlev. Test UI with JDI - Selenium camp
Роман Иовлев
 
PPTX
A parent’s advice on having a child with an eating disorder
Royal Free London NHS Foundation Trust
 
DOCX
James Burnett Resume
James Burnett
 
DOCX
Nur 641 e complete class
coursesexams1
 
DOCX
아드레닌『 W3.ow.to 』 톡 w2015 ♡ 아드레닌판매 , 아드레닌지속시간, 아드레닌판매사이트, 아드레닌부작용, 아드레닌종류
전 윤희
 
PPTX
Meten van particle depositie met de SPC Cube van Lighthouse BV
Ron van Dooren
 
PPTX
Eloquent ORM
Andreas Gullberg Larsen
 
PDF
Lesson Learned in Scaling Enterprise DevOps
IBM DevOps
 
PDF
Automated Test Case Generation and Execution from Models
Dharmalingam Ganesan
 
PPTX
Combining Heritrix and PhantomJS for Better Crawling of Pages with Javascript
Michael Nelson
 
PPTX
SoapUI one key to all doors
Yegor Maksymchuk
 
PDF
Test trend analysis: Towards robust reliable and timely tests
Hugh McCamphill
 
PDF
WixAutomation - Test State Pattern - Selenium Camp 2017
Roi Ashkenazi
 
PPTX
Angular js automation using protractor
Ravi Gupta
 
PPTX
How does Java 8 exert hidden power on Test Automation?
Sergey Korol
 
PPTX
API Testing with Frisby and Mocha
Lyudmila Anisimova
 
ODP
iOS Automation with Cucumber, Appium and Saucelabs
Shashikant Jagtap
 
Testing NodeJS, REST APIs and MongoDB with UFT
Ori Bendet
 
Conformiq Tutorial
petersmagnusson
 
Parasoft Testing anything, any time with containerized service virtualization
ChantalWauters
 
Roman iovlev. Test UI with JDI - Selenium camp
Роман Иовлев
 
A parent’s advice on having a child with an eating disorder
Royal Free London NHS Foundation Trust
 
James Burnett Resume
James Burnett
 
Nur 641 e complete class
coursesexams1
 
아드레닌『 W3.ow.to 』 톡 w2015 ♡ 아드레닌판매 , 아드레닌지속시간, 아드레닌판매사이트, 아드레닌부작용, 아드레닌종류
전 윤희
 
Meten van particle depositie met de SPC Cube van Lighthouse BV
Ron van Dooren
 
Lesson Learned in Scaling Enterprise DevOps
IBM DevOps
 
Automated Test Case Generation and Execution from Models
Dharmalingam Ganesan
 
Combining Heritrix and PhantomJS for Better Crawling of Pages with Javascript
Michael Nelson
 
SoapUI one key to all doors
Yegor Maksymchuk
 
Test trend analysis: Towards robust reliable and timely tests
Hugh McCamphill
 
WixAutomation - Test State Pattern - Selenium Camp 2017
Roi Ashkenazi
 
Angular js automation using protractor
Ravi Gupta
 
How does Java 8 exert hidden power on Test Automation?
Sergey Korol
 
API Testing with Frisby and Mocha
Lyudmila Anisimova
 
iOS Automation with Cucumber, Appium and Saucelabs
Shashikant Jagtap
 
Ad

Similar to “Create Tests Automatically? It’s possible!” Practical Model-Based Testing (15)

PPTX
Manual Testing to Intelligent Test Automation.pptx
Nandhakumar77727
 
PDF
Model Based Software Testing
Esin Karaman
 
PPTX
Next level of test automation with Model-based Testing (MBT): Experience and ...
Vəhid Gəruslu
 
PPTX
Model-based Testing (MBT) of web and mobile applications: A practical tutorial
Vəhid Gəruslu
 
PDF
Results of model-based testing in automotive
Anthony Faucogney
 
PPT
Elise Greveraars - Tester Needed? No Thanks, We Use MBT!
TEST Huddle
 
PDF
Test Automation Beyond Test Execution
Eggplant
 
PDF
Model-Based Testing in The Test Automation
Shubham Joshi
 
PDF
Model Based Testing
Rachid Kherrazi
 
PDF
ES2022-Minh-Nguyen-ShapingTestsIntoModelsForAutomatedTCGeneration.pdf
Minh Nguyen
 
PPTX
QA Financial Forum London 2021 - Automation in Software Testing. Humans and C...
Iosif Itkin
 
PPT
Presentation Of Mbt Tools
Husnain Muhammad
 
PPTX
Testify smart testoptimization-ecfeed
Minh Nguyen
 
PPTX
Model-Based Testing for ALM Octane: Better tests, built faster
Curiosity Software Ireland
 
PPTX
Assessing Model-Based Testing: An Empirical Study Conducted in Industry
Dharmalingam Ganesan
 
Manual Testing to Intelligent Test Automation.pptx
Nandhakumar77727
 
Model Based Software Testing
Esin Karaman
 
Next level of test automation with Model-based Testing (MBT): Experience and ...
Vəhid Gəruslu
 
Model-based Testing (MBT) of web and mobile applications: A practical tutorial
Vəhid Gəruslu
 
Results of model-based testing in automotive
Anthony Faucogney
 
Elise Greveraars - Tester Needed? No Thanks, We Use MBT!
TEST Huddle
 
Test Automation Beyond Test Execution
Eggplant
 
Model-Based Testing in The Test Automation
Shubham Joshi
 
Model Based Testing
Rachid Kherrazi
 
ES2022-Minh-Nguyen-ShapingTestsIntoModelsForAutomatedTCGeneration.pdf
Minh Nguyen
 
QA Financial Forum London 2021 - Automation in Software Testing. Humans and C...
Iosif Itkin
 
Presentation Of Mbt Tools
Husnain Muhammad
 
Testify smart testoptimization-ecfeed
Minh Nguyen
 
Model-Based Testing for ALM Octane: Better tests, built faster
Curiosity Software Ireland
 
Assessing Model-Based Testing: An Empirical Study Conducted in Industry
Dharmalingam Ganesan
 
Ad

Recently uploaded (20)

PDF
SAP Firmaya İade ABAB Kodları - ABAB ile yazılmıl hazır kod örneği
Salih Küçük
 
PPTX
Agentic Automation: Build & Deploy Your First UiPath Agent
klpathrudu
 
PDF
Driver Easy Pro 6.1.1 Crack Licensce key 2025 FREE
utfefguu
 
PDF
MiniTool Partition Wizard 12.8 Crack License Key LATEST
hashhshs786
 
PDF
Empower Your Tech Vision- Why Businesses Prefer to Hire Remote Developers fro...
logixshapers59
 
PDF
Unlock Efficiency with Insurance Policy Administration Systems
Insurance Tech Services
 
PDF
Automate Cybersecurity Tasks with Python
VICTOR MAESTRE RAMIREZ
 
PDF
The 5 Reasons for IT Maintenance - Arna Softech
Arna Softech
 
PDF
Alexander Marshalov - How to use AI Assistants with your Monitoring system Q2...
VictoriaMetrics
 
PPTX
Milwaukee Marketo User Group - Summer Road Trip: Mapping and Personalizing Yo...
bbedford2
 
PDF
Why Businesses Are Switching to Open Source Alternatives to Crystal Reports.pdf
Varsha Nayak
 
PDF
Download Canva Pro 2025 PC Crack Full Latest Version
bashirkhan333g
 
PDF
Open Chain Q2 Steering Committee Meeting - 2025-06-25
Shane Coughlan
 
PDF
Build It, Buy It, or Already Got It? Make Smarter Martech Decisions
bbedford2
 
PPTX
Why Businesses Are Switching to Open Source Alternatives to Crystal Reports.pptx
Varsha Nayak
 
PPTX
Help for Correlations in IBM SPSS Statistics.pptx
Version 1 Analytics
 
PPTX
Agentic Automation Journey Series Day 2 – Prompt Engineering for UiPath Agents
klpathrudu
 
PPTX
Tally_Basic_Operations_Presentation.pptx
AditiBansal54083
 
PPTX
OpenChain @ OSS NA - In From the Cold: Open Source as Part of Mainstream Soft...
Shane Coughlan
 
PDF
Digger Solo: Semantic search and maps for your local files
seanpedersen96
 
SAP Firmaya İade ABAB Kodları - ABAB ile yazılmıl hazır kod örneği
Salih Küçük
 
Agentic Automation: Build & Deploy Your First UiPath Agent
klpathrudu
 
Driver Easy Pro 6.1.1 Crack Licensce key 2025 FREE
utfefguu
 
MiniTool Partition Wizard 12.8 Crack License Key LATEST
hashhshs786
 
Empower Your Tech Vision- Why Businesses Prefer to Hire Remote Developers fro...
logixshapers59
 
Unlock Efficiency with Insurance Policy Administration Systems
Insurance Tech Services
 
Automate Cybersecurity Tasks with Python
VICTOR MAESTRE RAMIREZ
 
The 5 Reasons for IT Maintenance - Arna Softech
Arna Softech
 
Alexander Marshalov - How to use AI Assistants with your Monitoring system Q2...
VictoriaMetrics
 
Milwaukee Marketo User Group - Summer Road Trip: Mapping and Personalizing Yo...
bbedford2
 
Why Businesses Are Switching to Open Source Alternatives to Crystal Reports.pdf
Varsha Nayak
 
Download Canva Pro 2025 PC Crack Full Latest Version
bashirkhan333g
 
Open Chain Q2 Steering Committee Meeting - 2025-06-25
Shane Coughlan
 
Build It, Buy It, or Already Got It? Make Smarter Martech Decisions
bbedford2
 
Why Businesses Are Switching to Open Source Alternatives to Crystal Reports.pptx
Varsha Nayak
 
Help for Correlations in IBM SPSS Statistics.pptx
Version 1 Analytics
 
Agentic Automation Journey Series Day 2 – Prompt Engineering for UiPath Agents
klpathrudu
 
Tally_Basic_Operations_Presentation.pptx
AditiBansal54083
 
OpenChain @ OSS NA - In From the Cold: Open Source as Part of Mainstream Soft...
Shane Coughlan
 
Digger Solo: Semantic search and maps for your local files
seanpedersen96
 

“Create Tests Automatically? It’s possible!” Practical Model-Based Testing

  • 1. ALM User Group © Copyright SELA software & Education Labs Ltd. | 14-18 Baruch Hirsch St Bnei Brak, 51202 Israel | www.selagroup.com May 2016 Natalia Meergus, Ilia German “Create Tests Automatically? It’s possible!” Practical Model-Based Testing
  • 2. Agenda MBT in a nutshell Demo with Conformiq Creator Q&A
  • 3. Test automation evolution Manual Automatic Test design Test execution Testing skills + Scripting skills + Modeling skills Traditionalmanualtesting Traditionalautomatictesting Model-based testing
  • 5. MBT output Test SUT Test Step Expected Result Test Step Test Step … Expected Result
  • 7. A model and tests void test1() { StartBrowser(); VerifyBrowserStarted(); EnterBaseUrl(); VerifyBaseUrl(); Login(); VerifyLogin(); Logout(); VerifyBaseUrl(); Close(); }
  • 8. A model and tests void test1() { StartBrowser(); VerifyBrowserStarted(); EnterBaseUrl(); VerifyBaseUrl(); Login(); VerifyLogin(); Logout(); VerifyBaseUrl(); Close(); } void test3() { StartBrowser(); VerifyBrowserStarted(); EnterBaseUrl(); VerifyBaseUrl(); Login(); VerifyLogin(); Close(); } void test2() { StartBrowser(); VerifyBrowserStarted(); EnterBaseUrl(); VerifyBaseUrl(); Close(); } void test4() { StartBrowser(); VerifyBrowserStarted(); EnterBaseUrl(); VerifyBaseUrl(); Login(); VerifyLogin(); Logout(); VerifyBaseUrl(); Login(); VerifyLogin(); Logout(); VerifyBaseUrl(); Close(); }
  • 10. MBT tools MaTeLo Conformiq Designer TestOptimal Atos TEMPPO Smartesting CertifyIt Conformiq Creator Elvior MOTES/TestCast MBT Reactis MBTsuite Bender RBT GraphWalker NModel Microsoft SpecExplorer
  • 12. MBT benefits/ROI Organizations using MBT report reduction of: escaped bugs by 27% testing costs by 35% testing duration by 31% (on average, source: MBT User Survey 2014 by Robert Binder)
  • 13. Demo
  • 14. Main points Tests can be automatically generated (given a model of the system and a test harness) MBT is finding bugs missed by manually designed tests MBT makes test coverage systematic, visible and measurable MBT takes an upfront modeling effort but considerably accelerates extension of test suites and their maintenance Maintaining a system model improves overall process and benefits all disciplines