Slides for a talk on search-based testing for Event-B models

Alin Stefanescu
Alin StefanescuProfessor at University of Bucharest
13th CREST Open Workshop,[object Object],12th-13th of May 2011, London,[object Object],Search-Based Software Engineering for Model-Based Testing,[object Object],Event-B in a Nutshell,[object Object],Test Generation ,[object Object],Approaches,[object Object],SBT Challenges,[object Object],Test Data Generation,[object Object],Finite Model ,[object Object],Learning,[object Object],Conclusions,[object Object],Alin Stefanescu - University of Pitesti, Romania,[object Object],*) joint work with colleagues from DEPLOY project,[object Object]
[Event-B in a Nutshell],[object Object]
Event-B history,[object Object],[object Object]
Inventor of the Z and B formal methods.
Z – developed in the 70s
B – developed in the 90s, successfully deployed in industry
Event-B – born with the 21st century
Evolution of B for system level specification
Developement supported by French and European projects:     FP6 RODIN and FP7 DEPLOY,[object Object]
DEPLOY project (2008-2012) – funded by FP7 ,[object Object],DEPLOY :: Industrial deployment of advanced systemengineering methods for high productivity and dependability using formal methods ,[object Object],[object Object]
Bosch, Siemens, SAP, SSF
3 industrial service providers
Systerel, ClearSy, Cetic
7 academic partners
Newcastle, Aabo, Düsseldorf, ETH Zurich,
Southampton, Pitesti, Bucharesthttp://www.deploy‐project.eu,[object Object]
Rodin platform for Event-B,[object Object],[object Object]
Theorem proving as core technology
Many other Rodin Plug-ins
ProB:animation, consistency and model-checking
Animators (AnimB)
Decomposition
Modularisation
Team-work
Code generation
UML-B
etc.,[object Object]
set theory as mathematical language
refinement as basic modeling approach
Contexts
1 of 30

Recommended

Functional programming-advantages by
Functional programming-advantagesFunctional programming-advantages
Functional programming-advantagesSergei Winitzki
127 views18 slides
Classification model for predicting student's knowledge by
Classification model for predicting student's knowledgeClassification model for predicting student's knowledge
Classification model for predicting student's knowledgeAshish Ranjan
805 views11 slides
130321 zephyrin soh - on the effect of exploration strategies on maintenanc... by
130321   zephyrin soh - on the effect of exploration strategies on maintenanc...130321   zephyrin soh - on the effect of exploration strategies on maintenanc...
130321 zephyrin soh - on the effect of exploration strategies on maintenanc...Ptidej Team
295 views82 slides
Experiments with Machine Learning - GDG Lviv by
Experiments with Machine Learning - GDG LvivExperiments with Machine Learning - GDG Lviv
Experiments with Machine Learning - GDG LvivYuriy Guts
4.1K views22 slides
Speeding-up Software Testing With Computational Intelligence by
Speeding-up Software Testing With Computational IntelligenceSpeeding-up Software Testing With Computational Intelligence
Speeding-up Software Testing With Computational IntelligenceAnnibale Panichella
269 views29 slides
Validation and Verification of SYSML Activity Diagrams Using HOARE Logic by
Validation and Verification of SYSML Activity Diagrams Using HOARE Logic Validation and Verification of SYSML Activity Diagrams Using HOARE Logic
Validation and Verification of SYSML Activity Diagrams Using HOARE Logic ijseajournal
17 views17 slides

More Related Content

Similar to Slides for a talk on search-based testing for Event-B models

Variation response method CAE simulation suite by
Variation response method CAE simulation suiteVariation response method CAE simulation suite
Variation response method CAE simulation suiteWMG centre High Value Manufacturing Catapult
97 views53 slides
Model-based Regression Testing of Autonomous Robots by
Model-based Regression Testing of Autonomous RobotsModel-based Regression Testing of Autonomous Robots
Model-based Regression Testing of Autonomous RobotsZoltan Micskei
651 views16 slides
Model-Based Testing: Theory and Practice. Keynote @ MoTiP (ISSRE) 2012. by
Model-Based Testing: Theory and Practice. Keynote @ MoTiP (ISSRE) 2012.Model-Based Testing: Theory and Practice. Keynote @ MoTiP (ISSRE) 2012.
Model-Based Testing: Theory and Practice. Keynote @ MoTiP (ISSRE) 2012.Wolfgang Grieskamp
2.5K views30 slides
MEME – An Integrated Tool For Advanced Computational Experiments by
MEME – An Integrated Tool For Advanced Computational ExperimentsMEME – An Integrated Tool For Advanced Computational Experiments
MEME – An Integrated Tool For Advanced Computational ExperimentsGIScRG
913 views43 slides
A framework and approaches to develop an in-house CAT with freeware and open ... by
A framework and approaches to develop an in-house CAT with freeware and open ...A framework and approaches to develop an in-house CAT with freeware and open ...
A framework and approaches to develop an in-house CAT with freeware and open ...Tetsuo Kimura
1.9K views36 slides
Testing survey by_directions by
Testing survey by_directionsTesting survey by_directions
Testing survey by_directionsTao He
670 views47 slides

Similar to Slides for a talk on search-based testing for Event-B models(20)

Model-based Regression Testing of Autonomous Robots by Zoltan Micskei
Model-based Regression Testing of Autonomous RobotsModel-based Regression Testing of Autonomous Robots
Model-based Regression Testing of Autonomous Robots
Zoltan Micskei651 views
Model-Based Testing: Theory and Practice. Keynote @ MoTiP (ISSRE) 2012. by Wolfgang Grieskamp
Model-Based Testing: Theory and Practice. Keynote @ MoTiP (ISSRE) 2012.Model-Based Testing: Theory and Practice. Keynote @ MoTiP (ISSRE) 2012.
Model-Based Testing: Theory and Practice. Keynote @ MoTiP (ISSRE) 2012.
Wolfgang Grieskamp2.5K views
MEME – An Integrated Tool For Advanced Computational Experiments by GIScRG
MEME – An Integrated Tool For Advanced Computational ExperimentsMEME – An Integrated Tool For Advanced Computational Experiments
MEME – An Integrated Tool For Advanced Computational Experiments
GIScRG913 views
A framework and approaches to develop an in-house CAT with freeware and open ... by Tetsuo Kimura
A framework and approaches to develop an in-house CAT with freeware and open ...A framework and approaches to develop an in-house CAT with freeware and open ...
A framework and approaches to develop an in-house CAT with freeware and open ...
Tetsuo Kimura1.9K views
Testing survey by_directions by Tao He
Testing survey by_directionsTesting survey by_directions
Testing survey by_directions
Tao He670 views
On the application of SAT solvers for Search Based Software Testing by jfrchicanog
On the application of SAT solvers for Search Based Software TestingOn the application of SAT solvers for Search Based Software Testing
On the application of SAT solvers for Search Based Software Testing
jfrchicanog475 views
Search-Based Software Testing Tool Competition 2021 by Sebastiano Panichella,... by Sebastiano Panichella
Search-Based Software Testing Tool Competition 2021 by Sebastiano Panichella,...Search-Based Software Testing Tool Competition 2021 by Sebastiano Panichella,...
Search-Based Software Testing Tool Competition 2021 by Sebastiano Panichella,...
White-box Unit Test Generation with Microsoft IntelliTest by Dávid Honfi
White-box Unit Test Generation with Microsoft IntelliTestWhite-box Unit Test Generation with Microsoft IntelliTest
White-box Unit Test Generation with Microsoft IntelliTest
Dávid Honfi407 views
Executable Metamodeling for Model V&V (May 25th, 2010) by Benoit Combemale
Executable Metamodeling for Model V&V (May 25th, 2010)Executable Metamodeling for Model V&V (May 25th, 2010)
Executable Metamodeling for Model V&V (May 25th, 2010)
Benoit Combemale589 views
Next level of test automation with Model-based Testing (MBT): Experience and ... by Vahid Garousi
Next level of test automation with Model-based Testing (MBT): Experience and ...Next level of test automation with Model-based Testing (MBT): Experience and ...
Next level of test automation with Model-based Testing (MBT): Experience and ...
Vahid Garousi129 views
Using AI Planning to Automate the Performance Analysis of Simulators by Roland Ewald
Using AI Planning to Automate the Performance Analysis of SimulatorsUsing AI Planning to Automate the Performance Analysis of Simulators
Using AI Planning to Automate the Performance Analysis of Simulators
Roland Ewald491 views
The Gap Between Academic Research and Industrial Practice in Software Testing by Zoltan Micskei
The Gap Between Academic Research and Industrial Practice in Software TestingThe Gap Between Academic Research and Industrial Practice in Software Testing
The Gap Between Academic Research and Industrial Practice in Software Testing
Zoltan Micskei1K views
Eclipse Meets Systems Biology by Richard Adams
Eclipse Meets Systems BiologyEclipse Meets Systems Biology
Eclipse Meets Systems Biology
Richard Adams967 views
Towards Software Sustainability Guides for Industrial Software Systems by Heiko Koziolek
Towards Software Sustainability Guides for Industrial Software SystemsTowards Software Sustainability Guides for Industrial Software Systems
Towards Software Sustainability Guides for Industrial Software Systems
Heiko Koziolek1.1K views
Testware Hierarchy for Test Automation by Gregory Solovey
Testware Hierarchy for Test AutomationTestware Hierarchy for Test Automation
Testware Hierarchy for Test Automation
Gregory Solovey1.5K views
Generation of Random EMF Models for Benchmarks by Markus Scheidgen
Generation of Random EMF Models for BenchmarksGeneration of Random EMF Models for Benchmarks
Generation of Random EMF Models for Benchmarks
Markus Scheidgen868 views
Boolean matrix factorisation for collaborative filtering by Dmitrii Ignatov
Boolean matrix factorisation for collaborative filteringBoolean matrix factorisation for collaborative filtering
Boolean matrix factorisation for collaborative filtering
Dmitrii Ignatov987 views

Recently uploaded

Ch. 7 Political Participation and Elections.pptx by
Ch. 7 Political Participation and Elections.pptxCh. 7 Political Participation and Elections.pptx
Ch. 7 Political Participation and Elections.pptxRommel Regala
111 views11 slides
Classification of crude drugs.pptx by
Classification of crude drugs.pptxClassification of crude drugs.pptx
Classification of crude drugs.pptxGayatriPatra14
101 views13 slides
CUNY IT Picciano.pptx by
CUNY IT Picciano.pptxCUNY IT Picciano.pptx
CUNY IT Picciano.pptxapicciano
54 views17 slides
unidad 3.pdf by
unidad 3.pdfunidad 3.pdf
unidad 3.pdfMarcosRodriguezUcedo
117 views38 slides
The Value and Role of Media and Information Literacy in the Information Age a... by
The Value and Role of Media and Information Literacy in the Information Age a...The Value and Role of Media and Information Literacy in the Information Age a...
The Value and Role of Media and Information Literacy in the Information Age a...Naseej Academy أكاديمية نسيج
58 views42 slides
Ch. 8 Political Party and Party System.pptx by
Ch. 8 Political Party and Party System.pptxCh. 8 Political Party and Party System.pptx
Ch. 8 Political Party and Party System.pptxRommel Regala
54 views11 slides

Recently uploaded(20)

Ch. 7 Political Participation and Elections.pptx by Rommel Regala
Ch. 7 Political Participation and Elections.pptxCh. 7 Political Participation and Elections.pptx
Ch. 7 Political Participation and Elections.pptx
Rommel Regala111 views
Classification of crude drugs.pptx by GayatriPatra14
Classification of crude drugs.pptxClassification of crude drugs.pptx
Classification of crude drugs.pptx
GayatriPatra14101 views
CUNY IT Picciano.pptx by apicciano
CUNY IT Picciano.pptxCUNY IT Picciano.pptx
CUNY IT Picciano.pptx
apicciano54 views
Ch. 8 Political Party and Party System.pptx by Rommel Regala
Ch. 8 Political Party and Party System.pptxCh. 8 Political Party and Party System.pptx
Ch. 8 Political Party and Party System.pptx
Rommel Regala54 views
Class 9 lesson plans by TARIQ KHAN
Class 9 lesson plansClass 9 lesson plans
Class 9 lesson plans
TARIQ KHAN51 views
Structure and Functions of Cell.pdf by Nithya Murugan
Structure and Functions of Cell.pdfStructure and Functions of Cell.pdf
Structure and Functions of Cell.pdf
Nithya Murugan719 views
The basics - information, data, technology and systems.pdf by JonathanCovena1
The basics - information, data, technology and systems.pdfThe basics - information, data, technology and systems.pdf
The basics - information, data, technology and systems.pdf
JonathanCovena1146 views
S1_SD_Resources Walkthrough.pptx by LAZAROAREVALO1
S1_SD_Resources Walkthrough.pptxS1_SD_Resources Walkthrough.pptx
S1_SD_Resources Walkthrough.pptx
LAZAROAREVALO164 views
Relationship of psychology with other subjects. by palswagata2003
Relationship of psychology with other subjects.Relationship of psychology with other subjects.
Relationship of psychology with other subjects.
palswagata200352 views
Psychology KS5 by WestHatch
Psychology KS5Psychology KS5
Psychology KS5
WestHatch119 views
Solar System and Galaxies.pptx by DrHafizKosar
Solar System and Galaxies.pptxSolar System and Galaxies.pptx
Solar System and Galaxies.pptx
DrHafizKosar106 views
Use of Probiotics in Aquaculture.pptx by AKSHAY MANDAL
Use of Probiotics in Aquaculture.pptxUse of Probiotics in Aquaculture.pptx
Use of Probiotics in Aquaculture.pptx
AKSHAY MANDAL119 views
11.28.23 Social Capital and Social Exclusion.pptx by mary850239
11.28.23 Social Capital and Social Exclusion.pptx11.28.23 Social Capital and Social Exclusion.pptx
11.28.23 Social Capital and Social Exclusion.pptx
mary850239312 views
Create a Structure in VBNet.pptx by Breach_P
Create a Structure in VBNet.pptxCreate a Structure in VBNet.pptx
Create a Structure in VBNet.pptx
Breach_P78 views

Slides for a talk on search-based testing for Event-B models